Only Two Letters: The Correspondence between Herbrand and Gödel
From MaRDI portal
Publication:3370619
DOI10.2178/bsl/1120231628zbMath1089.03005MaRDI QIDQ3370619
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
computability theory; Gödel; incompleteness theorems; Hilbert's Program; general recursive function; Herbrand
01A60: History of mathematics in the 20th century
01A70: Biographies, obituaries, personalia, bibliographies
03-03: History of mathematical logic and foundations
Related Items
Cites Work