Subject: RE: hput arXiv.tar.gz -> 0902.4682.tar.gz (0902.4682, 1227kb)

From: [email-masked]
Date: Thu, 26 Feb 2009 14:48:09 -0500

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 title and abstract will appear in the next mailing exactly as below.
(Except possibly for the NUMBER which IS NOT OFFICIAL until the next mailing
of abstracts [20:00 US Eastern time (EDT/EST) Sun - Thu] -- it cannot be used
to cross-list to other archives [e.g., from cs to math or physics] until after
that time.) To correct any problems, you MUST replace NOW. 
Replacements on the same day (until the 16:00 US Eastern time deadline Mon-Fri)
do not generate a revised date line, so do not hesitate to replace submission
until everything is perfect (including removal of any extraneous files).

------------------------------------------------------------------------------
\\
arXiv:0902.4682
From: Claus-Peter Wirth <[email-masked]>
Date: Thu, 26 Feb 2009 19:48:01 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: 9207 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 cannot
check off on all of the items below, then you should replace your submission.
(Note: *do not* resubmit, instead *replace*)

  ___ The Title/Author fields above are correct.
     ___ The abstract is 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 files including any figures were included.
  ___ This paper has not been submitted to any other arXiv.org e-print archives.
  ___ The full text of the paper itself is available directly from the archive.
  ___ The submission can be retrieved uncorrupted (TRY IT).

Submitters who repeatedly leave errors uncorrected may lose submission
privilege to the archives. (Replace using the current tentative paper number
unless notified otherwise.)

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 you need to replace this paper, then use the `replace' facility at
http://arxiv.org/replace. Your entry will not officially appear in the 
listings until the next mailing goes out (and thus cannot yet be accessed 
via the search or the daily listings), and your paper number may be changed
until that time, so it is necessary to wait a day before cross-listing, etc.

DO NOT UNDER ANY CIRCUMSTANCES MAKE A DUPLICATE SUBMISSION OF THIS PAPER.
A resubmission is treated as a separate submission, and given a new number,
which will have to be removed by hand (and could result in loss of future
submission privileges). Instead use the replace facility (see 
http://arxiv.org/help/replace).

DO NOT UNDER ANY CIRCUMSTANCES MAKE A DUPLICATE SUBMISSION TO LIST THIS 
PAPER TO ANOTHER ARCHIVE within the arXiv system, since the system needs 
to know that it is one submission and not multiple. Instead use the 
cross-list facility (see http://arXiv.org/help/cross) to generate a 
cross-listing for it.

***NOTES***
1) 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.)

2) Common sense suggests that `replaced' papers are not immediately
 re-requested 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 you later need to replace the submission, it would be 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.