14 citations · 60 across the 17 of their papers we have counts for
17 papers
A Most Interesting, but Revoked Draft for Hilbert and Bernays' "Grundlagen der Mathematik" that never found its way into any publication, and 2 CV of Gisbert Hasenjaeger
Claus-Peter Wirth
In 1934, in Bernays preface to the 1st edn. of the 1st vol. of Hilbert-Bernays "Grundlagen der Mathematik", a nearly completed draft of the the finally two-volume monograph is ment…
The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating
Claus-Peter Wirth
We investigate the elimination of quantifiers in first-order formulas via Hilbert's epsilon-operator (or -binder), following Bernays' explicit definitions of the existential and th…
Herbrand's Fundamental Theorem - an encyclopedia article
Claus-Peter Wirth
Herbrand's Fundamental Theorem provides a constructive characterization of derivability in first-order predicate logic by means of sentential logic. Sometimes it is simply called "…
The RatioLog Project: Rational Extensions of Logical Reasoning
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg +2
Higher-level cognition includes logical reasoning and the ability of question answering with common sense. The RatioLog project addresses the problem of rational reasoning in deep…
Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining
Claus-Peter Wirth
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 "Fal…
Automation of Mathematical Induction as part of the History of Logic
J Strother Moore, Claus-Peter Wirth
We review the history of the automation of mathematical induction