mathematics and non-standard analysis. Frege, Gottlob (1893). Grundgesetze der Arithmetik (in German). Vol. 1. Jena: Hermann Pohle. Partial translation: Montgomery...
22 KB (2,776 words) - 16:37, 11 June 2024
just as Frege was preparing the second volume of his Grundgesetze der Arithmetik. Frege responded to Russell very quickly; his letter dated 22 June 1902...
31 KB (4,600 words) - 20:26, 24 July 2024
Bernays. "Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik". Archiv für mathematische Logik und Grundlagenforschung. 16 (3–4): 119–132...
12 KB (1,046 words) - 02:55, 26 May 2024
Arithmetic (redirect from Arithmetik)
Carey 2013, pp. 26–27 Taylor 2012, p. 8 Bagaria 2023, § 3. The Theory of Transfinite Ordinals and Cardinals Cunningham 2016, pp. 83–84, 108 Hamilton & Landin...
165 KB (16,366 words) - 19:38, 22 August 2024
arithmetic. PRA's proof theoretic ordinal is ωω, where ω is the smallest transfinite ordinal. PRA is sometimes called Skolem arithmetic, although that has...
9 KB (1,316 words) - 12:53, 21 February 2024
Press. ISBN 978-0-691-18706-8. Frege, Gottlob (1884). Die Grundlagen der Arithmetik: Eine logisch mathematische Untersuchung [The Foundations of Arithmetic]...
7 KB (769 words) - 12:23, 30 November 2023
infinite sets and developed by Gottlob Frege in his Grundgesetze der Arithmetik. Naive set theory may refer to several very distinct notions. It may refer...
34 KB (4,715 words) - 04:23, 9 June 2024
meeting with him in Cambridge to discuss Frege's book Grundgesetze der Arithmetik, parts of which Jourdain had prepared a translation. He also worked on...
5 KB (510 words) - 20:23, 27 June 2024
1746-8361.1958.tb01464.x. Grassmann, Hermann Günther (1861). Lehrbuch der Arithmetik für höhere Lehranstalten. Verlag von Theod. Chr. Fr. Enslin. Gray, Jeremy...
48 KB (6,428 words) - 14:06, 15 August 2024
Frege's axioms – specifically Basic Law V – in the "Grundgesetze der Arithmetik." Quine's system New Foundations (NF) uses a different solution. Rosser (1942)...
6 KB (880 words) - 06:32, 23 May 2024
der Mathematik. Königsberg, 1797, 1805, 1806 Bd. Kurzer Lehrbegriff der Arithmetik, Geometrie, Trigonometrie und Landmesskunst. Bd. Kurzer Lehrbegriff der...
11 KB (1,240 words) - 22:45, 11 July 2024
Bauer-Mengelberg in van Heijenoort 1976. Frege, Gottlob (1884), Die Grundlagen der Arithmetik: eine logisch-mathematische Untersuchung über den Begriff der Zahl. Breslau:...
68 KB (8,331 words) - 12:56, 25 July 2024
monograph via the web. Frege, Gottlob (1893). "144". Grundgesetze der Arithmetik (PDF). Jena: Verlag Hermann Pohle. Kanamori, Akihiro (2007). Set Theory...
25 KB (3,802 words) - 11:59, 30 July 2024