Only Two Letters: The Correspondence between Herbrand and Gödel

DOI10.2178/BSL/1120231628zbMath1089.03005OpenAlexW2040659235MaRDI QIDQ3370619

Wilfried Sieg

Publication date: 8 February 2006

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://figshare.com/articles/journal_contribution/Only_Two_Letters_The_Correspondence_Between_Herbrand_and_G_del/6492395

zbMATH Keywords

computability theoryGödelincompleteness theoremsHilbert's Programgeneral recursive functionHerbrand

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Related Items (4)

Jean van Heijenoort and the Gödel editorial project ⋮ Conceptual Confluence in 1936: Post and Turing ⋮ Theses for Computation and Recursion on Concrete and Abstract Structures ⋮ Bernays and Set Theory

Cites Work

• Unnamed Item
• Some facts about Kurt Gödel
• Step by Recursive Step: Church's Analysis of Effective Calculability

This page was built for publication: Only Two Letters: The Correspondence between Herbrand and Gödel