Article ID: CBB001214119

Jean van Heijenoort's Contributions to Proof Theory and Its History (2012)

unapi

Anellisa, Irving H. (Author)


Logica Universalis
Volume: 6
Pages: 411--458


Publication Date: 2012
Edition Details: Part of a special issue, “Perspectives on the History and Philosophy of Modern Logic: Van Heijenoort Centenary”
Language: English

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. A complete list of van Heijenoort's unpublished writings on tableaux methods and related work in proof theory is appended.

...More
Included in

Article Anellis, Irving (2012) Guest Editor's Introduction: JvH100. Logica Universalis (p. 249). unapi

Citation URI
https://data.isiscb.org/isis/citation/CBB001214119/

Similar Citations

Article Anellis, Irving; (2012)
Editor's Introduction to Jean van Heijenoort, Historical Development of Modern Logic (/isis/citation/CBB001214116/)

Article Anellis, Irving; (2012)
Guest Editor's Introduction: JvH100 (/isis/citation/CBB001214112/)

Article Feferman, Anita Burdman; (2012)
Jean van Heijenoort: Kaleidoscope (/isis/citation/CBB001214114/)

Article Dawson, John W., Jr.; (2012)
Jean van Heijenoort and the Gödel Editorial Project (/isis/citation/CBB001214115/)

Article Feferman, Solomon; (2012)
On Rereading van Heijenoort's Selected Essays (/isis/citation/CBB001214123/)

Article de Rouilhan, Philippe; (2012)
In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort (/isis/citation/CBB001214124/)

Article Babbitt, Donald; Goodstein, Judith; (2011)
Federigo Enriques's Quest to Prove the “Completeness Theorem” (/isis/citation/CBB001211747/)

Article Centrone, Stefania; (2012)
Strenge Beweise und das Verbot der metábasis eis állo génos (/isis/citation/CBB001210991/)

Book John P. Burgess; (2015)
Rigor and Structure (/isis/citation/CBB621282384/)

Article Dick, Stephanie; (2011)
AfterMath: The Work of Proof in the Age of Human--Machine Collaboration (/isis/citation/CBB001220009/)

Article Abeles, Francine F.; (2012)
Toward A Visual Proof System: Lewis Carroll's Method of Trees (/isis/citation/CBB001214122/)

Chapter von Plato, Jan; (2009)
Proof Theory of Classical and Intuitionistic Logic (/isis/citation/CBB001210351/)

Article Anellis, Irving; (2012)
Jean van Heijenoort's Conception of Modern Logic, in Historical Perspective (/isis/citation/CBB001214118/)

Article Anellis, Irving; (2012)
Scholarly Publications of Jean van Heijenoort Compiled by Irving H. Anellis (/isis/citation/CBB001214113/)

Article van Heijenoort, Jean; (2012)
Historical Development of Modern Logic (/isis/citation/CBB001214117/)

Chapter Antonino Drago; (2017)
A program of research for discovering an alternative formulation of quantum mechanics (/isis/citation/CBB592719607/)

Book John A. Goldsmith; Bernard Laks; (2019)
Battle in the Mind Fields (/isis/citation/CBB777839551/)

Book Gabriele Lolli; (2016)
Tavoli, sedie, boccali di birra: David Hilbert e la matematica del Novecento (/isis/citation/CBB100106060/)

Authors & Contributors
Anellisa, Irving H.
Loner, David
Laks, Bernard
Goldsmith, John A.
Van Heijenoort, Jean
Rouilhan, Philippe de
Concepts
Logic
Mathematics
Proof
Philosophy
Discipline formation
Biographies
Time Periods
20th century
19th century
20th century, early
Medieval
21st century
20th century, late
Places
United States
Germany
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment