Suchergebnisse
Suchergebnisse:
Jean Louis Maxime van Heijenoort (* 23. Juli 1912 in Creil; † 29. März 1986 in Mexiko-Stadt) war ein französischer mathematischer Logiker, bekannt für Arbeiten in der Geschichte der Logik, und Trotzkist. Von 1932 bis 1939 war Heijenoort persönlicher Sekretär von Leo Trotzki .
Jean Louis Maxime van Heijenoort / v æ n ˈ h aɪ. ə n ɔːr t / (French: [van ɛjɛnɔʁt]; July 23, 1912 – March 29, 1986) was a historian of mathematical logic. He was also a personal secretary to Leon Trotsky from 1932 to 1939, and an American Trotskyist until 1947.
Jean van Heijenoort. One day in the summer of 1945, a man of 33 enrolled at New York University to study for an advanced degree in mathematics. Although older by far than the average graduate student, he worked hard over the next four years under the demanding supervision of J.J. Stoker and earned a doctor's degree with a thesis entitled "On ...
31. Juli 2012 · Abstract. Van Heijenoort’s account of the historical development of modern logic was composed in 1974 and first published in 1992 with an introduction by his former student. What follows is a new edition with a revised and expanded introduction and additional notes.
- Irving H. Anellis
- ianellis@iupui.edu
- 2012
30. Mai 2012 · I use van Heijenoort’s published writings and manuscript materials to provide a comprehensive overview of his conception of modern logic as a first-order functional calculus and of the historical developments which led to this conception of mathematical logic, its defining characteristics, and in particular to provide an integral account, from h...
- Irving H. Anellis
- ianellis@iupui.edu
- 2012
1. Jan. 1987 · JEAN VAN HEIJENOORT (1912 - 1986) Jean van Heijenoort was killed in tragic circumstances on March 29, 1986 during a brief visit to Mexico City. To most readers of this volume he was best known as a logician, philosopher, and editor and historian of mathematical logic.
26. Juli 2012 · Abstract. Jean van Heijenoort was best known for his editorial work in the history of mathematical logic. I survey his contributions to model-theoretic proof theory, and in particular to the falsifiability tree method. This work of van Heijenoort’s is not widely known, and much of it remains unpublished.
