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ödel’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… CONTINUE READING
    1 Citations

    Topics from this paper.

    The Mathematical Universe
    • 326
    • PDF

    References

    SHOWING 1-10 OF 10 REFERENCES
    Logical dilemmas - the life and work of Kurt Gödel
    • 98
    • PDF
    Mechanism, Mentalism, and Metamathematics. An Essay on Finitism.
    • 10
    An Essay on Finitism. D. Reidel
    • An Essay on Finitism. D. Reidel
    • 1980
    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
    Grundzüge der theoretishcen Logik
    • Grundzüge der theoretishcen Logik
    • 1928