Switch to: References

Add citations

You must login to add citations.
  1. Gödel’s Disjunctive Argument†.Wesley Wrigley - 2022 - Philosophia Mathematica 30 (3):306-342.
    Gödel argued that the incompleteness theorems entail that the mind is not a machine, or that certain arithmetical propositions are absolutely undecidable. His view was that the mind is not a machine, and that no arithmetical propositions are absolutely undecidable. I argue that his position presupposes that the idealized mathematician has an ability which I call the recursive-ordinal recognition ability. I show that we have this ability if, and only if, there are no absolutely undecidable arithmetical propositions. I argue that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Gödel's incompleteness theorems and computer science.Roman Murawski - 1997 - Foundations of Science 2 (1):123-135.
    In the paper some applications of Gödel's incompleteness theorems to discussions of problems of computer science are presented. In particular the problem of relations between the mind and machine (arguments by J.J.C. Smart and J.R. Lucas) is discussed. Next Gödel's opinion on this issue is studied. Finally some interpretations of Gödel's incompleteness theorems from the point of view of the information theory are presented.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Minds vs Machines.Karim Gherab - 2022 - Human Review. International Humanities Review / Revista Internacional de Humanidades 11 (2):185-195.
    This paper presents, from a historical and logical-philosophical perspective, the Gödelian arguments of two Oxford scholars, John Lucas and Roger Penrose. Both have been based on Gödel's Theorem to refute mechanism, computationalism and the possibility of creating an AI capable of simulating or duplicating the human mind. In the conclusions, the growing application of empirical methods in mathematics is mentioned and a possible path that would support Lucas and Penrose's arguments is speculated.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Menschen, maschinen und gödels theorem.Rosemarie Rheinwald - 1991 - Erkenntnis 34 (1):1 - 21.
    Mechanism is the thesis that men can be considered as machines, that there is no essential difference between minds and machines.John Lucas has argued that it is a consequence of Gödel's theorem that mechanism is false. Men cannot be considered as machines, because the intellectual capacities of men are superior to that of any machine. Lucas claims that we can do something that no machine can do-namely to produce as true the Gödel-formula of any given machine. But no machine can (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•