@book{R43,
  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.},
  Author =	 {Wirth, Claus-Peter and Siekmann, J{\"o}rg and
                  Benzm{\"u}ller, Christoph and Autexier, Serge},
  Keywords =	 {own, Jacques Herbrand, History of Logic},
  Note =	 {arXiv:0902.4682},
  Publisher =	 {SEKI Publications (ISSN 1437-4447)},
  Title =	 {Lectures on {Jacques Herbrand} as a Logician},
  OPTurl =		 {http://arxiv.org/abs/0902.4682},
  doi =		 {10.48550/ARXIV.0902.4682},
  Year =	 2009,
}

{"_id":"rkLocJCNKTefMcFu5","bibbaseid":"wirth-siekmann-benzmller-autexier-lecturesonjacquesherbrandasalogician-2009","author_short":["Wirth, C.","Siekmann, J.","Benzmüller, C.","Autexier, S."],"bibdata":{"bibtype":"book","type":"book","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.","author":[{"propositions":[],"lastnames":["Wirth"],"firstnames":["Claus-Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Siekmann"],"firstnames":["Jörg"],"suffixes":[]},{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Autexier"],"firstnames":["Serge"],"suffixes":[]}],"keywords":"own, Jacques Herbrand, History of Logic","note":"arXiv:0902.4682","publisher":"SEKI Publications (ISSN 1437-4447)","title":"Lectures on Jacques Herbrand as a Logician","opturl":"http://arxiv.org/abs/0902.4682","doi":"10.48550/ARXIV.0902.4682","year":"2009","bibtex":"@book{R43,\n Abstract =\t {We give some lectures on the work on formal logic of\n Jacques Herbrand, and sketch his life and his\n influence on automated theorem proving. The intended\n audience ranges from students interested in logic\n over historians to logicians. Besides the well-known\n correction of Herbrand's False Lemma by Goedel and\n Dreben, we also present the hardly known unpublished\n correction of Heijenoort and its consequences on\n Herbrand's Modus Ponens Elimination. Besides\n Herbrand's Fundamental Theorem and its relation to\n the Loewenheim-Skolem-Theorem, we carefully\n investigate Herbrand's notion of intuitionism in\n connection with his notion of falsehood in an\n infinite domain. We sketch Herbrand's two proofs of\n the consistency of arithmetic and his notion of a\n recursive function, and last but not least, present\n the correct original text of his unification\n algorithm with a new translation.},\n Author =\t {Wirth, Claus-Peter and Siekmann, J{\\\"o}rg and\n Benzm{\\\"u}ller, Christoph and Autexier, Serge},\n Keywords =\t {own, Jacques Herbrand, History of Logic},\n Note =\t {arXiv:0902.4682},\n Publisher =\t {SEKI Publications (ISSN 1437-4447)},\n Title =\t {Lectures on {Jacques Herbrand} as a Logician},\n OPTurl =\t\t {http://arxiv.org/abs/0902.4682},\n doi =\t\t {10.48550/ARXIV.0902.4682},\n Year =\t 2009,\n}\n\n","author_short":["Wirth, C.","Siekmann, J.","Benzmüller, C.","Autexier, S."],"key":"R43","id":"R43","bibbaseid":"wirth-siekmann-benzmller-autexier-lecturesonjacquesherbrandasalogician-2009","role":"author","urls":{},"keyword":["own","Jacques Herbrand","History of Logic"],"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","jacques herbrand","history of logic"],"search_terms":["lectures","jacques","herbrand","logician","wirth","siekmann","benzmüller","autexier"],"title":"Lectures on Jacques Herbrand as a Logician","year":2009}