|
If you are seeing this message, you may be experiencing temporary network problems. Please wait a few minutes and refresh the page. If the problem persists, you may wish to report it to your local Network Manager.
It is also possible that your web browser is not configured or not able to display style sheets. In this case, although the visual presentation will be degraded, the site should continue to be functional. We recommend using the latest version of Microsoft or Mozilla web browser to help minimise these problems.
Wiley InterScience | ||||||||
  DialecticaVolume 62 Issue 2, Pages 179 - 203 Special Issue: Special Issue: Gödel's dialectica Interpretation Published Online: 28 Jun 2008 Journal compilation © 2009 Editorial Board of dialectica
Abstract | References | Full Text: HTML, PDF (Size: 138K) | Related Articles | Citation Tracking  Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program* Copyright Journal compilation © 2008 Editorial Board of dialectica ABSTRACTThis is a survey of Gödel's perennial preoccupations with the limits of finitism, its relations to constructivity, and the significance of his incompleteness theorems for Hilbert's program, using his published and unpublished articles and lectures as well as the correspondence between Bernays and Gödel on these matters. There is also an important subtext, namely the shadow of Hilbert that loomed over Gödel from the beginning to the end. | 
| |||||||
