Lectures on Jacques Herbrand as a Logician Export

@article{citeulike:4873688, 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.}, archivePrefix = {arXiv}, author = {Wirth, Claus-Peter and Siekmann, Joerg and Benzmueller, Christoph and Autexier, Serge}, citeulike-article-id = {4873688}, citeulike-linkout-0 = {http://arxiv.org/abs/0902.4682}, citeulike-linkout-1 = {http://arxiv.org/pdf/0902.4682}, day = {12}, eprint = {0902.4682}, keywords = {history, logic, theory}, month = {May}, posted-at = {2009-06-16 21:16:10}, priority = {2}, title = {Lectures on Jacques Herbrand as a Logician}, url = {http://arxiv.org/abs/0902.4682}, year = {2009} }

TY - JOUR ID - citeulike:4873688 L3 - citeulike-article-id:4873688 N2 - 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. TI - Lectures on Jacques Herbrand as a Logician KW - history KW - logic KW - theory AU - Wirth, Claus-Peter AU - Siekmann, Joerg AU - Benzmueller, Christoph AU - Autexier, Serge PY - 2009/May/12/ UR - http://arxiv.org/abs/0902.4682 ER -