Jean Louis Maxime van Heijenoort (/væn ˈhaɪ.ənɔːrt/ van HY-ə-nort, French: [ʒɑ̃ lwi maksim van‿ɛjɛnɔʁt], Dutch: [vɑn ˈɦɛiənoːrt]; July 23, 1912 – March...
12 KB (1,308 words) - 11:22, 10 September 2024
elementary propositions" reprinted with commentary by Jean van Heijenoort in Jean van Heijenoort, editor 1967 From Frege to Gödel: A Source Book of Mathematical...
37 KB (3,608 words) - 16:00, 12 December 2024
Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, ed. Jean van Heijenoort, Cambridge, Massachusetts: Harvard University Press, 1967, pp. 113–117...
9 KB (1,237 words) - 11:32, 5 December 2024
historian of mathematics and biographer, known for her biographies of Jean van Heijenoort and (with her husband, logician Solomon Feferman) of Alfred Tarski...
9 KB (904 words) - 22:03, 13 August 2023
translation by Jean van Heijenoort appears in the collection From Frege to Gödel: A Source Book in Mathematical Logic (van Heijenoort 1967). A review...
11 KB (1,354 words) - 17:17, 16 October 2023
suggestion of this notion to Russell and more concretely to Ramsey. Jean van Heijenoort 1967, third printing 1976, From Frege to Gödel: A Source Book in...
13 KB (1,759 words) - 06:43, 21 March 2024
van Heijenoort 1967:267) Post 1921 in van Heijenoort 1967:267) van Heijenoort's commentary before Post 1921 in van Heijenoort:264–265 van Heijenoort:264...
82 KB (11,580 words) - 00:27, 21 December 2024
its completion." (This letter and Frege's reply are translated in Jean van Heijenoort 1967.) Frege's proposed remedy was subsequently shown to imply that...
47 KB (5,288 words) - 09:07, 22 November 2024
choice function." Hilbert (1925), “On the Infinite”, excerpted in Jean van Heijenoort, From Frege to Gödel, p. 382. From nCatLab. This article incorporates...
5 KB (717 words) - 14:23, 17 December 2024
II, Solomon Feferman et al., eds. Oxford University Press, 1993. van Heijenoort, Jean, ed. (1976) [1967]. From Frege to Gödel: A Source Book in Mathematical...
69 KB (8,343 words) - 20:55, 5 December 2024