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

DOI10.1007/s11787-012-0056-7zbMath1267.03054arXiv1405.6317OpenAlexW2092259938MaRDI 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 theoremvan Heijenoort

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Structure of proofs (03F07) History of mathematical logic and foundations (03-03)

Related Items (2)

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

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

This page was built for publication: Herbrand's fundamental theorem in the eyes of Jean van Heijenoort