Find link

language:

Find link is a tool written by Edward Betts.

searching for Primitive recursive arithmetic 3 found (27 total)

alternate case: primitive recursive arithmetic

William W. Tait (407 words) [view diff] case mismatch in snippet view article find links to article

2307/2026089. JSTOR 2026089. Tait, William W. (June 2012). "Primitive Recursive Arithmetic and its Role in the Foundations of Arithmetic: Historical and

László Kalmár (711 words) [view diff] exact match in snippet view article find links to article

1954 paper of Quine's.) He discovered an alternative form of primitive recursive arithmetic, known as elementary recursive arithmetic, based on primitive

Philosophical views of Bertrand Russell (6,664 words) [view diff] exact match in snippet view article find links to article

neither Principia Mathematica, nor any other consistent system of primitive recursive arithmetic, could, within that system, determine that every proposition