From: e-prints@arxiv.org Date: 1. Juli 2011 02:08:22 GMT+02:00 To: wirth@logic.at Subject: arXiv Replacement -> 0902.4682 in cs.LO from wirth@logic.at Reply-To: www-admin@arxiv.org Your replacement of 0902.4682 by submission submit/0275195 has been published and is available at: http://arxiv.org/abs/0902.4682 The paper password for this article is: phrwt Please share this with your co-authors. They may use it to claim ownership. Abstract will appear in today's mailing as: ------------------------------------------------------------------------------ \\ arXiv:0902.4682 From: Claus-Peter Wirth Date: Thu, 26 Feb 2009 19:59:17 GMT   (1227kb) Date (revised v2): Fri, 27 Feb 2009 18:29:54 GMT   (1227kb) Date (revised v3): Tue, 12 May 2009 19:09:43 GMT   (1242kb) Date (revised v4): Thu, 30 Jun 2011 18:43:12 GMT   (2061kb) Title: Lectures on Jacques Herbrand as a Logician Authors: Claus-Peter Wirth, Joerg Siekmann, Christoph Benzmueller, Serge  Autexier Categories: cs.LO cs.AI Comments: ii + 72 pages Report-no: SEKI Report SR-2009-01 License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/ \\  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. \\ Contains: 00README.XXX: 31 bytes HerbrandPhotoII.eps: 848304 bytes HerbrandPhotoIII.eps: 1731005 bytes KnowingUfoVisitors.eps: 1149579 bytes LoewenheimSkolemHerbrand-FinalBridge.eps: 1395359 bytes amsfonts.sty: 7992 bytes amssymb.sty: 15232 bytes article.cls: 19939 bytes body.tex: 259776 bytes color.cfg: 853 bytes dfki.eps: 67500 bytes dvips.def: 4987 bytes fixedindex.tex: 12598 bytes fontenc.sty: 4408 bytes graphics.cfg: 1437 bytes graphics.sty: 13694 bytes graphicx.sty: 7881 bytes headerforformulas.tex: 24793 bytes headerhot.tex: 41129 bytes headernamesrest.tex: 146302 bytes headersugarterms.tex: 1322 bytes herbrand.eps: 60548 bytes herbrandbibliography.tex: 15925 bytes ifthen.sty: 4727 bytes ju.eps: 124675 bytes keyval.sty: 2265 bytes leibniz.eps: 300218 bytes macros.sty: 2961 bytes makeidx.sty: 1776 bytes named.bst: 23521 bytes named.sty: 3096 bytes omsptm.fd: 576 bytes pdf.ilg: 448 bytes pdf.ind: 12594 bytes pdf.tex: 175 bytes pdf.toc: 2931 bytes pstricks.con: 1543 bytes pstricks.sty: 5186 bytes pstricks.tex: 80593 bytes quotation.tex: 33388 bytes references.tex: 71731 bytes rotating.sty: 5606 bytes seki-deckblatt-4.tex: 9210 bytes seki-robbi.eps: 53021 bytes size12.clo: 8753 bytes specialfonts.tex: 19007 bytes t1enc.def: 9067 bytes t1pcr.fd: 798 bytes t1phv.fd: 1488 bytes t1ptm.fd: 774 bytes times.sty: 883 bytes trig.sty: 3152 bytes uds.eps: 411408 bytes umsa.fd: 2743 bytes umsb.fd: 2743 bytes url.sty: 21092 bytes xcolor.sty: 40164 bytes