Thumbnail
Access Restriction
Open

Author Feferman, Solomon
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword English Translation ♦ Gottlob Et ♦ Two-way Stretch ♦ Reference Data ♦ Dana Scott ♦ Dialectica Interpretation ♦ Finite Type ♦ Extensive Footnote ♦ Apparent Satisfaction ♦ Certain Aspect ♦ Paul Bernays ♦ Quantifier-free Theory ♦ New Series ♦ Th Birthday ♦ Brno Aug ♦ Proof Sheet ♦ Much Help ♦ Computational Logic ♦ Number Theory ♦ Proof Theory
Description In Computational Logic and Proof Theory (G. Gottlob et al eds.), Lecture Notes In Computer Science 713
number theory in a quantifier-free theory of functionals of finite type; this subsequently came to be known as Gödel’s functional or Dialectica interpretation. The article itself was written in German for an issue of that journal in honor of Paul Bernays ’ 70 th birthday. In 1965, Bernays told Gödel of a plan to publish an English translation by Leo F. Boron of his 1958 paper, again in Dialectica. However, Gödel was dissatisfied with certain aspects of the original, and set out to revise the translation. A year after doing so to his apparent satisfaction, Gödel changed his mind and decided instead to add a new series of extensive footnotes by way of improvement and amplification. The result was sent to the printer in 1970 after much help and encouragement by Bernays and Dana Scott, but when the proof sheets were returned, ∗ The published version of this article has appeared in Computational Logic and Proof Theory (Proc. 3 d Kurt Gödel Colloquium, Brno Aug. 1993), G. Gottlob et at. eds., LNCS 713 (1993), 23–40. (Use for reference data only, since the published version was mercilessly mangled by editorial
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 1993-01-01