Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel’s Impact on Logic, Mathematics, and Computer Science

@article{Dawson2006ShakenFO,
  title={Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt G\&\#246;del\&\#146;s Impact on Logic, Mathematics, and Computer Science},
  author={J. Dawson},
  journal={21st Annual IEEE Symposium on Logic in Computer Science (LICS'06)},
  year={2006},
  pages={339-341}
}
  • J. Dawson
  • Published 2006
  • Computer Science, Mathematics
  • 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06)
The publication of Godel's incompleteness theorems has frequently been portrayed as a devastating event, from which mathematics has not yet recovered. Yet those same theorems have also been hailed as proving that the powers of the human mind surpass those of any computer. Both those views, however, are caricatures. Godel's impact on modern logic has been profound, but the incompleteness theorems did not cause widespread upset at the time of their publication, and subsequent mathematical work… Expand
1 Citations
The Mathematical Universe
Abstract I explore physics implications of the External Reality Hypothesis (ERH) that there exists an external physical reality completely independent of us humans. I argue that with a sufficientlyExpand

References

SHOWING 1-10 OF 10 REFERENCES
Logical dilemmas - the life and work of Kurt Gödel
TLDR
Kurt Goedel's seminal achievements that changed the perception and foundations of mathematics are explained in the context of his life from the turn of the century Austria to the Institute for Advanced Study in Princeton. Expand
John W. Dawson, Jr . Logical Dilemmas. The Life and Work of Kurt Gödel . Wellesley, Mass.: A.K. Peters 1997
The book which grew out of those experiences reflects his expertise, and gives a diligent account of many aspects of Godel’s life. Yet the reader should be aware that by far the most exciting ofExpand
Mechanism, Mentalism, and Metamathematics. An Essay on Finitism.
I / Mechanism: Some Historical Notes.- II / Mind, Number, and the Infinite.- III / the Mental, the Finite, and the Formal.- IV / Effectiveness Mechanized.- Concluding Summary.- Index of Names.- IndexExpand
Collected Works (5 vols,), ed
  • 2003
Collected Works (5 vols,), ed. Solomon Feferman et al
  • Collected Works (5 vols,), ed. Solomon Feferman et al
  • 1986
An Essay on Finitism. D. Reidel
  • An Essay on Finitism. D. Reidel
  • 1980
Grundzüge der theoretishcen Logik
  • Grundzüge der theoretishcen Logik
  • 1928