mathematics and non-standard analysis. Frege, Gottlob (1893). Grundgesetze der Arithmetik (in German). Vol. 1. Jena: Hermann Pohle. Partial translation: Montgomery...
22 KB (2,790 words) - 22:14, 14 September 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) - 22:35, 6 October 2024
was done by a direct proof of the unprovability of the principle of transfinite induction, used in his 1936 proof of consistency, within Peano arithmetic...
12 KB (1,038 words) - 07:53, 1 November 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) - 16:27, 20 October 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
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) - 11:25, 21 September 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) - 10:51, 21 October 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) - 20:24, 9 September 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
monograph via the web. Frege, Gottlob (1893). "144". Grundgesetze der Arithmetik (PDF). Jena: Verlag Hermann Pohle. Kanamori, Akihiro (2007). Set Theory...
25 KB (3,798 words) - 19:44, 25 October 2024