June 2005 Only two letters: The correspondence between Herbrand and Gödel
Wilfried Sieg
Bull. Symbolic Logic 11(2): 172-184 (June 2005). DOI: 10.2178/bsl/1120231628


Two young logicians, whose work had a dramatic impact on the direction of logic, exchanged two letters in early 1931. Jacques Herbrand initiated the correspondence on 7 April and Kurt Gödel responded on 25 July, just two days before Herbrand died in a mountaineering accident at La Bérarde (Isère). Herbrand's letter played a significant role in the development of computability theory. Gödel asserted in his 1934 Princeton Lectures and on later occasions that it suggested to him a crucial part of the definition of a general recursive function. Understanding this role in detail is of great interest as the notion is absolutely central. The full text of the letter had not been available until recently, and its content (as reported by Gödel) was not in accord with Herbrand's contemporaneous published work. Together, the letters reflect broader intellectual currents of the time: they are intimately linked to the discussion of the incompleteness theorems and their potential impact on Hilbert's Program.


Download Citation

Wilfried Sieg. "Only two letters: The correspondence between Herbrand and Gödel." Bull. Symbolic Logic 11 (2) 172 - 184, June 2005. https://doi.org/10.2178/bsl/1120231628


Published: June 2005
First available in Project Euclid: 1 July 2005

zbMATH: 1208.03008
MathSciNet: MR2132113
Digital Object Identifier: 10.2178/bsl/1120231628

Rights: Copyright © 2005 Association for Symbolic Logic


This article is only available to subscribers.
It is not available for individual sale.

Vol.11 • No. 2 • June 2005
Back to Top