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
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
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
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
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
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
biographical writings on figures such as Kurt Gödel, Alfred Tarski, and Jean van Heijenoort) and as a vocal proponent of the philosophy of mathematics known...
15 KB (1,340 words) - 16:03, 25 November 2024
Answering Trotsky's request, the French mathematician and Trotskyist Jean Van Heijenoort, together with his fellow activist Pierre Frank, unsuccessfully called...
314 KB (35,106 words) - 08:25, 16 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
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