Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining release_5drkeurl3bhf3ki725ssbhoaji

by Claus-Peter Wirth

Released as a article .

2014  

Abstract

Using Heijenoort's unpublished generalized rules of quantification, we discuss the proof of Herbrand's Fundamental Theorem in the form of Heijenoort's correction of Herbrand's "False Lemma" and present a didactic example. Although we are mainly concerned with the inner structure of Herbrand's Fundamental Theorem and the questions of its quality and its depth, we also discuss the outer questions of its historical context and why Bernays called it "the central theorem of predicate logic" and considered the form of its expression to be "concise and felicitous".
In text/plain format

Archived Files and Locations

application/pdf  650.7 kB
file_i4rfab2lcnetvltvftsixeuwmu
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2014-08-14
Version   v2
Language   en ?
arXiv  1405.6317v2
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 2b3e183c-da32-41f9-af3d-ef915e1e0727
API URL: JSON