Herbrand's fundamental theorem in the eyes of Jean van Heijenoort

DOI10.1007/s11787-012-0056-7zbMath1267.03054arXiv1405.6317MaRDI QIDQ1942097

Claus-Peter Wirth

Publication date: 15 March 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.6317

zbMATH Keywords

Herbrand's fundamental theorem; van Heijenoort

Mathematics Subject Classification ID

01A60: History of mathematics in the 20th century

03F07: Structure of proofs

03-03: History of mathematical logic and foundations

Related Items

A series of revisions of David Poole's specificity, Jean van Heijenoort's contributions to proof theory and its history

Cites Work

• Hilbert's epsilon as an operator of indefinite committed choice
• Linear unification
• Herbrand Award acceptance speech
• The rise of modern logic: from Leibniz to Frege
• Modular elliptic curves and Fermat's Last Theorem
• Ring-theoretic properties of certain Hecke algebras
• Logic as calculus and logic as language
• Proceedings of the Boston colloquium for the philosophy of science 1964/1966. In memory of Norwood Russell Hanson
• An Efficient Unification Algorithm
• Descente Infinie + Deduction
• Computer-assisted human-oriented inductive theorem proving by descente infinie--a manifesto
• False lemmas in Herbrand
• Automated Deduction – CADE-20
• Grundlagen der Mathematik I
• A supplement to Herbrand
• Mathematical Knowledge Management
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item