IDEAS home Printed from https://ideas.repec.org/a/prg/jnlelg/v2014y2014i1id408p1-11.html
   My bibliography  Save this article

Godel on the mathematician's mind and Turing Machine

Author

Listed:
  • Inês Hipólito

Abstract

Godel's incompleteness theorems are categorically among the most philosophically important logico-mathematical discoveries ever made not only to Mathematics an logics, but also to Philosophy. Godel's incompleteness theorems can be applied to demonstrate that the human mind overtakes any mechanism or formal system. Anti-mechanism theses from the incompleteness theorems were presented in Godel's Proof by Nagel and Newman (1958). Subsequently, J. R. Lucas (1961) claimed that Godel's incompleteness theorem "proves that mechanism is false, that is, that minds cannot be explained as machines". Furthermore, given any machine which is consistent and capable of doing simple arithmetic, there is a formula it is incapable of producing as being true ...but which we can see to be true" (1961). Moreover, "if the proof of the falsity of mechanism is valid, it is of the greatest consequence for the whole of philosophy" (1961). More recently, a similar claim has been made by Roger Penrose (1990, 1994) and by Crispin Wright (1994, 1995) in an intuitionist perspective. Generally speaking, all of these support that Godel's theorems imply, without qualifications, that the human mind infinitely surpasses the power of any finite machine. In the light of these thesis, I would like to consider Godel's own perspective on an anti-mechanical thesis. Would Godel support a thesis that the mathematician mind could be a Turing Machine? What did Godel think that his theorem implied about the mathematician mind? I will start this discussion with a short review on Lucas and Penrose's arguments, and subsequently I will explore Godel's own considerations on the disjunction between mathematicians' mind and Turing machines.

Suggested Citation

  • Inês Hipólito, 2014. "Godel on the mathematician's mind and Turing Machine," E-LOGOS, Prague University of Economics and Business, vol. 2014(1), pages 1-11.
  • Handle: RePEc:prg:jnlelg:v:2014:y:2014:i:1:id:408:p:1-11
    DOI: 10.18267/j.e-logos.408
    as

    Download full text from publisher

    File URL: http://elogos.vse.cz/doi/10.18267/j.e-logos.408.html
    Download Restriction: free of charge

    File URL: http://elogos.vse.cz/doi/10.18267/j.e-logos.408.pdf
    Download Restriction: free of charge

    File URL: https://libkey.io/10.18267/j.e-logos.408?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    More about this item

    Keywords

    Godel; Turing machine;

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:prg:jnlelg:v:2014:y:2014:i:1:id:408:p:1-11. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Stanislav Vojir (email available below). General contact details of provider: https://edirc.repec.org/data/uevsecz.html .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.