Jean van Heijenoort’s Contributions to Proof Theory and Its History

@article{Anellis2012JeanVH,
  title={Jean van Heijenoort’s Contributions to Proof Theory and Its History},
  author={I. Anellis},
  journal={Logica Universalis},
  year={2012},
  volume={6},
  pages={411-458}
}
  • I. Anellis
  • Published 2012
  • Philosophy, Computer Science
  • Logica Universalis
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. 
5 Citations

Topics from this paper

Jean van Heijenoort’s Conception of Modern Logic, in Historical Perspective
  • I. Anellis
  • Philosophy, Computer Science
  • Logica Universalis
  • 2012
  • 1
Historical Development of Modern Logic
  • 15
Guest Editor’s Introduction: JvH100
  • I. Anellis
  • Philosophy, Computer Science
  • Logica Universalis
  • 2012

References

SHOWING 1-10 OF 84 REFERENCES
HERBRAND’s Fundamental Theorem in the Eyes of JEAN VAN HEIJENOORT
  • 8
Herbrand-Style Consistency Proofs
  • 13
On Herbrand's Theorem
  • S. Buss
  • Mathematics, Computer Science
  • LCC
  • 1994
  • 78
  • PDF
Kreisel’s “unwinding” program
  • 25
  • PDF
Mathematical Significance of Consistency Proofs
  • G. Kreisel
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1958
  • 100
Jean van Heijenoort (1912-1986)
  • 4
A Supplement to Herbrand
  • 19
...
1
2
3
4
5
...