Seki Publications (Issn 1437-4447) (2009)

Authors
Christoph Benzmueller
Freie Universität Berlin
Abstract
We give some lectures on the work on formal logic of Jacques Herbrand, and sketch his life and his influence on automated theorem proving. The intended audience ranges from students interested in logic over historians to logicians. Besides the well-known correction of Herbrand’s False Lemma by Goedel and Dreben, we also present the hardly known unpublished correction of Heijenoort and its consequences on Herbrand’s Modus Ponens Elimination. Besides Herbrand’s Fundamental Theorem and its relation to the Loewenheim-Skolem-Theorem, we carefully investigate Herbrand’s notion of intuitionism in connection with his notion of falsehood in an infinite domain. We sketch Herbrand’s two proofs of the consistency of arithmetic and his notion of a recursive function, and last but not least, present the correct original text of his unification algorithm with a new translation.
Keywords own   Jacques Herbrand   History of Logic
Categories No categories specified
(categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,548
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Hermann WEYL.[author unknown] - 1957 - Revue Philosophique de la France Et de l'Etranger 147:133-133.
Jacques Herbrand.[author unknown] - 1932 - Revue de Métaphysique et de Morale 39 (2):16-16.
Jean Nicod.[author unknown] - 1924 - Revue de Métaphysique et de Morale 31 (3):15-16.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Jacques Herbrand.Jacques Dubucs & Paul Égré - 2006 - In Michel Bitbol & Jean Gayon (eds.), Revue de Métaphysique et de Morale. Presses Universitaires de France. pp. 301--322.
Herbrand Consistency of Some Arithmetical Theories.Saeed Salehi - 2012 - Journal of Symbolic Logic 77 (3):807-827.
Only Two Letters: The Correspondence Between Herbrand and Gödel.Wilfried Sieg - 2005 - Bulletin of Symbolic Logic 11 (2):172-184.
On Herbrand Consistency in Weak Arithmetic.Zofia Adamowicz & Paweł Zbierski - 2001 - Archive for Mathematical Logic 40 (6):399-413.
On the Practical Value of Herbrand Disjunctions.Uwe Petermann - 2000 - Logic and Logical Philosophy 8:153.
Describing Proofs by Short Tautologies.Stefan Hetzl - 2009 - Annals of Pure and Applied Logic 159 (1-2):129-145.

Analytics

Added to PP index
2017-12-04

Total views
18 ( #540,951 of 2,348,443 )

Recent downloads (6 months)
1 ( #511,012 of 2,348,443 )

How can I increase my downloads?

Downloads

My notes