BibTeX
CSL-JSON
MLA
Harvard
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
arXiv
1405.6317v2
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links