Diferencies ente revisiones de «Teoremas de incompletitud de Gödel»

Saltar a navegación Saltar a la gueta
m
iguo parámetros de plantía
m (iguo nome de plantía)
m (iguo parámetros de plantía)
Afítese qu'añedir <math>p</math> a los axomes del sistema nun resolvería'l problema: habría otra sentencia de Gödel pa la teoría ampliada.
 
[[Roger Penrose]] afirma qu'esta (presunta) diferencia ente ''lo que puede probase mecánicamente'' y ''lo que los humanos pueden ver como ciertu'' amuesa que la intelixencia humana nun ye mecánica na so naturaleza. Tamién [[John R. Lucas]] ocupóse d'esta cuestión en ''Mentes, Máquines y Gödel''.<ref>{{cita web |url=http://users.ox.ac.uk/~jrlucas/mmg.html |títulu=Minds, Machines and Gödel |fechaaccesofechaaccesu=15 de setiembre de 2011 |apellido=Lucas |nome=John R. |idioma=inglés}}</ref>
 
Esta perspeutiva nun ta llargamente aceptada, porque tal que lo plantega [[Marvin Minsky]], la intelixencia humana ye capaz d'errar y de ''entender'' declaraciones que son en realidá inconsistentes o falses. Sicasí, Minsky informó de que [[Kurt Gödel]] díxo-y a él en persona qu'él creía que los seres humanos tienen una forma intuitiva, non solamente computacional, de llegar a la verdá y por tantu'l so teorema nun llinda lo que puede aportar a sabíu como ciertu polos humanos.
*{{cita llibru|apellíos=Hofstadter|nome=Douglas R.|añu=1989|títulu=[[Gödel, Escher, Bach]]|editorial=Tusquets editores|isbn=84-7223-459-2}}
*{{cita llibru|nome2=Ernest|apellíos2=Nagel|nome3=James Roy|apellíos3=Newman|nome=Douglas R.|apellíos=Hofstadter|títulu=Gödel's Proof|añu=2002|isbn=0-8147-5816-9|idioma=inglés|editorial=NYU Press}}
*{{obra citada|apellíos=Ivorra|nome=Carlos|títulu=Lóxica y teoría de conxuntos|url=http://www.uv.es/ivorra/Llibros/Logica.pdf|fechaaccesofechaaccesu=27 de xunetu de 2011}}.
*{{cita llibru|nome=Guillermo|apellido=Martínez|enllace-autor=Guillermo Martinez (escritor)|editorial=Seix Barral|títulu=Gödel pa toos añu=2009|isbn=978-950-731-605-0}}
* {{cita publicación|nome=B.|apellíos=Rosser|títulu=Extensions of some theorems of Gödel and Church|publicación=Journal of Symbolic Logic|volume=1|añu=1936|páxines=87-91|url=http://www.jstor.org/stable/2269028|númberu=3}}

Menú de navegación