From no-reply@arXiv.org Thu Feb 26 21:00:05 2009 Received: from zhuangzi.site (localhost [127.0.0.1]) by zhuangzi.site (8.13.8/8.13.8/SuSE Linux 0.8) with ESMTP id n1QK03wU029927 for ; Thu, 26 Feb 2009 21:00:05 +0100 Envelope-to: wirth@logic.at Received: from mail.logic.at [128.130.175.3] by zhuangzi.site with POP3 (fetchmail-6.3.5) for (single-drop); Thu, 26 Feb 2009 21:00:05 +0100 (CET) Received: from mx.logic.tuwien.ac.at ([128.130.175.19]) by gamma.logic.tuwien.ac.at with esmtp (Exim 4.63) (envelope-from ) id 1LcmOF-0005Bi-V6 for wirth@logic.at; Thu, 26 Feb 2009 20:59:27 +0100 Received: from dspam by mx.logic.tuwien.ac.at with spam-scanned (Exim 4.63) (envelope-from ) id 1LcmOF-0006ax-UQ for wirth@logic.at; Thu, 26 Feb 2009 20:59:27 +0100 Received: from adminapp.mail.cornell.edu ([132.236.56.29]) by mx.logic.tuwien.ac.at with esmtp (Exim 4.63) (envelope-from ) id 1LcmOF-0006as-GI for wirth@logic.at; Thu, 26 Feb 2009 20:59:27 +0100 Received: from arxiv.org (arxiv1.library.cornell.edu [128.84.158.114]) by adminapp.mail.cornell.edu (8.13.6/8.12.6) with ESMTP id n1QJxPtX023853 for ; Thu, 26 Feb 2009 14:59:25 -0500 (EST) Received: from arxiv1.library.cornell.edu (localhost.localdomain [127.0.0.1]) by arxiv.org (8.13.1/8.13.1) with ESMTP id n1QJxPp4025060 for ; Thu, 26 Feb 2009 14:59:25 -0500 Received: (from e-prints@localhost) by arxiv1.library.cornell.edu (8.13.1/8.13.1/Submit) id n1QJxPvZ025059 for wirth@logic.at; Thu, 26 Feb 2009 14:59:25 -0500 Date: Thu, 26 Feb 2009 14:59:25 -0500 Message-Id: <200902261959.n1QJxPvZ025059@arxiv1.library.cornell.edu> X-Authentication-Warning: arxiv1.library.cornell.edu: e-prints set sender to no-reply@arXiv.org using -f Precedence: bulk X-Supported-By: U.S. National Science Foundation, Agreement 0132355 (7/01-6/04) From: no-reply@arXiv.org To: wirth@logic.at Subject: RE: hrep 0902.4682 arXiv.tar.gz -> 0902.4682.tar.gz (0902.4682, 1227kb) Reply-To: cs@arXiv.org X-FILTER-DSPAM: by mx.logic.tuwien.ac.at X-DSPAM-Result: Spam X-DSPAM-Processed: Thu Feb 26 20:59:27 2009 X-DSPAM-Confidence: 0.4613 X-DSPAM-Improbability: 1 in 87 chance of being ham X-DSPAM-Probability: 0.9900 X-DSPAM-Factors: 15, to+edit, 0.99000, From*reply, 0.99000, listings, 0.99000, archives, 0.01000, Christoph, 0.01000, upper, 0.01000, unlikely, 0.01000, unlikely+that, 0.01000, anonymous, 0.99000, connection+with, 0.99000, bytes, 0.01000, pride, 0.99000, pages), 0.01000, in+connection, 0.99000, Subject*>, 0.99000 To verify abstract and postscript, use http://arXiv.org/abs/0902.4682 Article-id: 0902.4682, Article password: phrwt (access still password restricted) Abstract will appear in mailing scheduled to begin at 20:00 Thursday US Eastern time (i.e., Fri 27 Feb 09 01:00:00 GMT). Your replacement has been received and used to replace your earlier submission. Attached below is an exact copy of the permanent abstract file of your paper. Please note that if your originally put abstract has already appeared in a daily mailing, then ONLY the Title/Author/Comments/Report-no/Journal-ref fields will be used to indicate your replacement in the next mailing. ------------------------------------------------------------------------------ \\ arXiv:0902.4682 From: Claus-Peter Wirth Date: Thu, 26 Feb 2009 19:59:17 GMT (1227kb) 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 + 70 pages Report-no: SEKI Report SR-2009-01 Journal-ref: Dov M. Gabbay & John Woods (eds.). 2009. Handbook of the History of Logic, Vol 5: Logic from Russell to Godel 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 KnowingUfoVisitors.eps: 1149579 bytes (looks big) %%Creator: jpeg2ps V1.9 by Thomas Merz LoewenheimSkolemHerbrand-FinalBridge.eps: 1395359 bytes (looks big) %%Creator: (ImageMagick) amsfonts.sty: 7992 bytes amssymb.sty: 15232 bytes article.cls: 19939 bytes body.tex: 257896 bytes color.cfg: 853 bytes dfki.eps: 102037 bytes dvips.def: 4987 bytes fontenc.sty: 4408 bytes graphics.cfg: 1437 bytes graphics.sty: 13694 bytes graphicx.sty: 7881 bytes headerforformulas.tex: 24663 bytes headerhot.tex: 39288 bytes headernamesrest.tex: 122369 bytes headersugarterms.tex: 1322 bytes herbrand.eps: 60548 bytes herbrandbibliography.tex: 14474 bytes ifthen.sty: 4727 bytes iu.eps: 847239 bytes (looks big) %%Creator: (ImageMagick) ju.eps: 124675 bytes keyval.sty: 2265 bytes leibniz.eps: 300218 bytes (looks big) %%Creator: (ImageMagick) macros.sty: 2961 bytes makeidx.sty: 1776 bytes named.bst: 23521 bytes named.sty: 3096 bytes pdf.ilg: 448 bytes pdf.ind: 12594 bytes pdf.tex: 175 bytes pdf.toc: 2583 bytes pstricks.con: 1543 bytes pstricks.sty: 5186 bytes pstricks.tex: 80593 bytes quotation.tex: 31107 bytes references.tex: 69184 bytes rotating.sty: 5606 bytes seki-deckblatt-3.tex: 9217 bytes seki-robbi.eps: 53021 bytes size12.clo: 8753 bytes specialfonts.tex: 18295 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 (looks big) %%Creator: (ImageMagick) umsa.fd: 2743 bytes umsb.fd: 2743 bytes url.sty: 21092 bytes xcolor.sty: 40164 bytes Stored as: 0902.4682.tar.gz (1227kb) Warnings: Author 1: Claus-Peter Wirth Author 2: Joerg Siekmann Author 3: Christoph Benzmueller Author 4: Serge Autexier -> Number of authors = 4 arXiv.tar: unpacked 55 files from tar file REMOVED pdf.aux due to name conflict PS files: 0902.4682.ps.gz (1241kb) ------------------------------------------------------------------------------ Successful submission to the archives can be a significant source of pride and accomplishment. It entails many serious responsibilities: if you can't check off on all items below, then you need to replace again. ___ The Title/Author fields above are correct. ___ The abstract remains complete, correct, and wrapped correctly. ___ Capitalization in title correct (we automatically lower case titles with excessive use of upper case, but we get some acronyms incorrect -- replace with uppercase letters only where they should be). ___ The authors are listed in `Firstname Lastname' order. ___ any anonymous ftp or http pointers to additional files are given in standard url format (e.g. ftp://myhost.domain/path/filename.ext or http://mywwwhost.domain/path/filename.html) ___ Periods are separated by a space from the end of any URL's ___ Any Journal-ref is a complete bibliographic reference to an already published version (includes volume and page number info in the case of a print journal). ___ All comments about why the paper was replaced are in the Comments: field (i.e. not parenthetically after the Title:, or only in the abstract), and you retained ALL earlier relevant Comments (e.g. number of pages) ___ You have included all the files, e.g. figures (the entire previous submission has been overwritten). ___ The submission can still be retrieved uncorrupted (TRY IT). Submitters who repeatedly leave errors uncorrected may lose submission privilege to the archives. If your abstract is improperly wrapped, note that abstract linefill stops at whitespace indentation (e.g. a blank line or a line indented with space(s) denotes a new paragraph,and won't be wrapped). For further hints, keep reading or see http://arXiv.org/help/ . Guidelines for a proper title and abstract preparation are given at http://arXiv.org/help/prep . If you have not already read this, please read it now to ensure that you have followed the guidelines. It is an abuse of valuable archive admin time to edit abstracts by hand. If this is a replacement on the same day as original submittal, it will not generate a "replaced" listing in the daily title/abstract distribution (if replaced before the daily deadline of 16:00 US Eastern time [EDT/EST] Monday through Friday). Otherwise, a copy of the original day's submission has been archived; and more generally each version in the full revision history will remain available. ***NOTES*** 1) Common sense suggests that `replaced' papers are not immediately rerequested so if your intent is to communicate correct research it is in your interest to submit a final version in the first place, i.e. *avoid premature submissions*. If your replaced submission constitutes a new version, it is helpful to indicate in the Comments: field (i.e. below Authors: ) how serious is the revision (e.g. v2: major conceptual changes, v3: minor grammatical changes, etc.), and include as a commented header in the revised version of the paper a guide to the changes for posterity. *** Make sure that these changes are in the Comments: field (i.e. after the Authors: ) and that your Abstract still appears *** 2) Avoid excessive cross-listings: cross-listings of a paper on archive-x to archive-y are intended for subjects of *direct* interest to subscribers of archive-y. Those subscribers of archive-y who have peripheral or direct interest in the subjects of archive-x are already subscribed to archive-x and neither need nor desire multiple receipt of the same abstract. (In particular, it is exceedingly unlikely that you could decide what is of direct interest to readers of archive-y if you yourself are not an active reader of archive-y.)