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

m
iguo parámetros de plantía
m (iguo parámetros 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 |fechaaccesu=15 de setiembre de 2011 |apellidoapellíu=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|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|fechaaccesu=27 de xunetu de 2011}}.
*{{cita llibru|nome=Guillermo|apellidoapellíu=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}}
*{{cita llibru|nome=Raymond|apellíos=Smullyan|títulu=Gödel's Incompleteness Theorems|editorial=[[Oxford University Press]]|añu=1992|isbn=0-19-504672-2|idioma=inglés}}
}} Primer demostración del teorema de completitud.
* {{cita publicación
|apellidoapellíu=Gödel |nome=K. |enllaceautor=Kurt Gödel
|títulu=Die Vollständigkeit der Axiome deas logischen Funktionenkalküls
|idioma=alemán