Skip to main content
SpringerLink
Log in

Gödel and Computability

  • Conference paper
Progress in Artificial Intelligence (EPIA 2007)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4874))

Included in the following conference series:

Abstract

We discuss the influence of Gödel and his results on the surfacing of the rigorous notion of computability afforded by Turing. We also address the debate about the limits of Artificial Intelligence spurned by Roger Penrose, on the basis of Gödel’s theorems, and the views of Gödel himself. We conclude by touching upon the use of logic as a tool with which to approach the description of mind.

Translation of an invited article for a special issue of the “Bulletin of the Portuguese Mathematical Society” dedicated to Kurt Gödel, to appear end of 2006 on the occasion of the 100th anniversary of his birth.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving Logic Programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 50–61. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  2. Casti, J.L., DePauli, W.: Gödel – A life of Logic. Basic Books, New York (2000)

    Google Scholar 

  3. Davis, M.: Is mathematical insight algorithmic? Behavioral and Brain Sciences 13(4), 659–660 (1990)

    Google Scholar 

  4. Davis, M.: How subtle is Gödel’s theorem. More on Roger Penrose. Behavioral and Brain Sciences 16, 611–612 (1993)

    Article  Google Scholar 

  5. Davis, M.: The Universal Computer: The Road from Leibniz to Turing. W.W. Norton & Co. (2000)

    Google Scholar 

  6. Dennett, D.C.: Sweet Dreams – philosophical obstacles to a science of consciousness. MIT Press, Cambridge (2005)

    Google Scholar 

  7. Glymour, C.: Thinking things through. MIT Press, Cambridge (1992)

    MATH  Google Scholar 

  8. Hodges, A.: Alan Turing – the enigma. Simon and Schuster (1983)

    Google Scholar 

  9. LaForte, G., Hayes, P.J., Ford, K M.: Why Gödel’s theorem cannot refute computationalism. Artificial Intelligence 104, 265–286 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  10. Lopes, G., Pereira, L.M.: Prospective Programming with ACORDA. In: Empirically Successful Computerized Reasoning (ESCoR 2006) workshop, at The 3rd International Joint Conference on Automated Reasoning (IJCAR 2006), Seattle, USA (2006)

    Google Scholar 

  11. Lucas, J.R.: Minds, Machines, and Gödel: A Retrospect. In: Millican, P., Clark, A. (eds.) Machines and Thought, vol. 1, pp. 103–124. Oxford University Press, Oxford (1996)

    Google Scholar 

  12. McDermott, D.: Mind and Mechanism. MIT Press, Cambridge (2001)

    MATH  Google Scholar 

  13. Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs (1967)

    MATH  Google Scholar 

  14. Nagel, E., Newman, J.R.: Gödel’s Proof. New York University Press (2001)

    Google Scholar 

  15. Nagel, E., Newman, J.R., Gödel, K., Girard, J.-Y.: Le Théorème de Gödel.Éditions du Seuil (1989)

    Google Scholar 

  16. Penrose, R.: Shadows of the Mind: a search for the missing science of consciousness. Oxford University Press, Oxford (1994)

    Google Scholar 

  17. Pereira, L.M.: Philosophical Incidence of Logical Programming. In: Gabbay, D., et al. (eds.) Handbook of the Logic of Argument and Inference. Studies in Logic and Practical Reasoning series, vol. 1, pp. 425–448. Elsevier Science, Amsterdam (2002)

    Google Scholar 

  18. Pereira, L.M., Pinto, A.M.: Revised Stable Models – a semantics for logic programs. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol. 3808, pp. 29–42. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  19. Turing, A., Girard, J.-Y.: La Machine de Turing. Éditions du Seuil (1995)

    Google Scholar 

  20. Wang, H.: From Mathematics to Philosophy. Routledge (1973)

    Google Scholar 

  21. Wang, H.: Reflections on Kurt Gödel. MIT Press, Cambridge (1987)

    MATH  Google Scholar 

  22. Webb, J.C.: Mechanism, Mentalism and Meta-mathematics. Reidel, Dordrechtz (1980)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centro de Inteligência Artificial – CENTRIA, Universidade Nova de Lisboa, Portugal

    Luís Moniz Pereira

Authors
  1. Luís Moniz Pereira
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

José Neves Manuel Filipe Santos José Manuel Machado

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pereira, L.M. (2007). Gödel and Computability. In: Neves, J., Santos, M.F., Machado, J.M. (eds) Progress in Artificial Intelligence. EPIA 2007. Lecture Notes in Computer Science(), vol 4874. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77002-2_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-77002-2_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-77000-8

  • Online ISBN: 978-3-540-77002-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation