Filters








13 Hits in 4.0 sec

A refutation of Penrose's Gödelian case against artificial intelligence

Selmer Bringsjord, Hong Xiao
2000 Journal of experimental and theoretical artificial intelligence (Print)  
In falling prey to the errors we uncover, Penrose's new Gödelian case is unmasked as the same confused refrain J.R. Lucas initiated 35 years ago.  ...  elaborate and more fastidious Gödelian case, expressed in Chapters 2 and 3 of his Shadows of the Mind.  ...  The upshot of all this is that from this point on we view Penrose's Gödelian case as an argument exclusively against A, for it's just a brute fact that he will do no damage to B M 2 .  ... 
doi:10.1080/09528130050111455 fatcat:cm5wmkjpznh5rjmjn7iz2uwv44

Betting your life on an algorithm

Daniel C. Dennett
1990 Behavioral and Brain Sciences  
The importance of Penrose's book for cognitive science therefore depends entirely on his refutation of the computational view of mind. Yet one might question some of his arguments against it.  ...  science and modern physics, some well-worn arguments against the possibility of artificial intelligence, and some vague thoughts on quantum mechanics and consciousness.  ...  My argument against the scientific explanation of consciousness can be also applied against algorithmic explanation.  ... 
doi:10.1017/s0140525x00080742 fatcat:oksxbigvojgmfnrkc73qgp3qmq

Physics of brain-mind interaction

John C. Eccles
1990 Behavioral and Brain Sciences  
Penrose has produced an accessible, Information-packed compilation over a wide-ranging selection of difficult topics. One  ...  Penrose's book consists of lucid tutorials on computer science and modern physics, some well-worn arguments against the possibility of artificial intelligence, and some vague thoughts on quantum mechanics  ...  Artificial intelligence is the science concerned with understanding intelligent behaviour and how it can be created in the artificial.  ... 
doi:10.1017/s0140525x00080778 fatcat:hsnvygzhgnckdk3wqswlr3b63y

Analysis of Penrose's Second Argument Formalised in DTK System

Antonella Corradini, Sergio Galvan
2021 Logic and Logical Philosophy  
This article aims to examine Koellner's reconstruction of Penrose's second argument – a reconstruction that uses the DTK system to deal with Gödel's disjunction issues.  ...  More precisely, the argument does not reach a result that shows there is no formalism capable of deriving all the true arithmetic propositions known to man.  ...  Antonella Corradini likes to thank the Alexander von Humboldt Foundation for financing the research project "Inquiry on natural and artificial intelligence" carried out at the University of Konstanz from  ... 
doi:10.12775/llp.2021.019 fatcat:ilwsw6k355afpivjajbuxscdyy

Hayek, Gödel, and the case for methodological dualism

Ludwig M.P. van den Hauwe
2011 Journal of Economic Methodology  
Vela Velupillai as well as an anonymous reviewer for useful advice and comments on a previous version of this paper. L.M.P. van den Hauwe 402  ...  Such a Gödelian argument against mechanism was considered, if only in order to refute it, already by Turing ([1950 Turing ([ ] 1990 ) who, proposing the imitation game, concluded that '[w]e too often  ...  For a detailed criticism of Penrose's thesis, see also Shapiro (1998 Shapiro ( , 2003 . 24.  ... 
doi:10.1080/1350178x.2011.628045 fatcat:n45g2gmba5av7ae3vtzrb2vr7q

Three fundamental misconceptions of Artificial Intelligence

Pei Wang
2007 Journal of experimental and theoretical artificial intelligence (Print)  
In the discussions on the limitation of Artificial Intelligence (AI), there are three major misconceptions, which identify an AI system with an axiomatic system, a Turing machine, and a system with a model-theoretic  ...  Finally, an intelligent system, NARS, is introduced as an example, which is neither an axiomatic system, nor a Turing machine in its problem-solving process, and does not use a model-theoretic semantics  ...  Introduction The research of Artificial Intelligence (AI) began half a century ago with the realization that the recently invented computer not only could carry out numerical calculation, but also could  ... 
doi:10.1080/09528130601143109 fatcat:mdrddeqckfedjhtmdbgrlvn5ry

Gödel, Nagel, Minds, and Machines

Solomon Feferman
2009 Journal of Philosophy  
In conclusion, that will lead us to a new way of looking at how the mind may work in deriving mathematics which straddles the mechanist and anti-mechanist viewpoints.  ...  Some fifty years ago (1957 to be exact), Ernest Nagel and Kurt Gödel became involved in a contentious exchange about the possible inclusion of Gödel's original work on incompleteness in the book, Gödel's  ...  be substitutes for a living mathematical intelligence.  ... 
doi:10.5840/jphil2009106417 fatcat:buir5daepvg7hp6ur5vn5laxyq

Gödel, Nagel, Minds, and Machines [chapter]

Solomon Feferman
2017 Outstanding Contributions to Logic  
In conclusion, that will lead us to a new way of looking at how the mind may work in deriving mathematics which straddles the mechanist and anti-mechanist viewpoints.  ...  Some fifty years ago (1957 to be exact), Ernest Nagel and Kurt Gödel became involved in a contentious exchange about the possible inclusion of Gödel's original work on incompleteness in the book, Gödel's  ...  be substitutes for a living mathematical intelligence.  ... 
doi:10.1007/978-3-319-63334-3_17 fatcat:wyhoix4dobcrnbfiyfucuos7iy

The Ghost in the Quantum Turing Machine [article]

Scott Aaronson
2013 arXiv   pre-print
I focus relatively narrowly on a notion that I call "Knightian freedom": a certain kind of in-principle physical unpredictability that goes beyond probabilistic unpredictability.  ...  In honor of Alan Turing's hundredth birthday, I unwisely set out some thoughts about one of Turing's obsessions throughout his life, the question of physics and free will.  ...  It goes without saying that none of the people mentioned necessarily endorse anything I say here (indeed, some of them definitely don't!).  ... 
arXiv:1306.0159v2 fatcat:bhn6y7jtfnex3jr46gh3twkl4i

An Interview with John Randolph Lucas

Barbara Giolito, John Lucas
unpublished
no matter how good it is as a specimen of Artificial Intelligence.  ...  , Artificial Intelligence and Scientific Method, Oxford, 1996, pp. 151ff.  ...  Cole, Democritus and the Sources of Greek Anthropology, Ann Arbor, 1967, pp. 97-103, " the Kulturgeschichte of Laws III has been analyzed, correctly I believe, as a conflation of two different points of  ... 
fatcat:3hb554d2n5aujgio7gfjfs353m

The Ghost in the Quantum Turing Machine [chapter]

Scott Aaronson, S. Barry Cooper, Andrew Hodges
The Once and Future Turing  
I focus relatively narrowly on a notion that I call "Knightian freedom": a certain kind of in-principle physical unpredictability that goes beyond probabilistic unpredictability.  ...  In honor of Alan Turing's hundredth birthday, I unwisely set out some thoughts about one of Turing's obsessions throughout his life, the question of physics and free will.  ...  It goes without saying that none of the people mentioned necessarily endorse anything I say here (indeed, some of them definitely don't!).  ... 
doi:10.1017/cbo9780511863196.018 fatcat:d6votjezqbazzngjqm5j3euh6e

A compatibilist computational theory of mind

Marcus Erik Vestberg
2017
of interaction with the world and not as a set of secluded processes in the brain.  ...  To this end I propose a Compatibilist Computational Theory of Mind.  ...  the resurgence of artificial intelligence research.  ... 
doi:10.24384/6qjc-mn63 fatcat:jmlyzy3q4nfohnx2ce7z6ajjeu

Zagadnienia Filozoficzne w Nauce XLVII Copernicus Center for Interdisciplinary Studies Ośrodek Badań Interdyscyplinarnych Kraków 2010 Redaguje zespół: Skład i łamanie: Zagadnienia Filozoficzne w Nauce XLVII (2010) SPIS TREŚCI ARTYKUŁY Diana CISZEWSKA PIĘKNO JAKO PRZYKŁAD POZAEMPIRYCZNEGO KRYTERIUM WYBORU TEORII NAUKOWEJ

Michał Heller, Robert Janusz, Zbigniew Liana, Janusz Mączka, Alicja Michalik, Adam Olszewski, Tadeusz Pabjan, Paweł Polak, Włodzimierz Skoczny, Stanisław Wszołek, Józef Życiński, Adres Redakcji (+7 others)
2010 Z. Hajduk, Nauka a wartości. Aksjologia nauki   unpublished
Pabjan, Beauty as a Value in a Scientific Theory, Łogos i Ethos", 20 (2006), s. 66.  ...  Aktualne są też pytania o związki między kategorią piękna i użyteczności, o to, jak rozumieć twierdzenie, że teoria jest piękna, a dowód, np. w matematyce-ele-gancki" 2.  ...  In the context of these models, the importance of the Gödel incompleteness theorems for the philosophy of mind and artificial intelligence is debated.  ... 
fatcat:n7ziby3bhnaulb4ild473vf3su