Diferencies ente revisiones de «Teoremas de incompletitud de Gödel»
Contenido eliminado Contenido añadido
m Iguo testu: -"sucesivamente" +"socesivamente" -"sucesion" + "socesión" -"sucesor/a" +"socesor/a" |
m Preferencies llingüístiques |
||
Llinia 54:
Puede parafrasiase el primera teorema diciendo "nunca podrá atopase un sistema axomáticu que sía capaz de demostrar ''toes'' les verdaes matemátiques y nenguna falsedá".
Per otra parte, dende una
La siguiente reformulación del segundu teorema ye inda más esmolecedor pa los fundamentos de les matemátiques:
Llinia 91:
[[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 |fechaacceso=15 de setiembre de 2011 |apellido=Lucas |nome=John R. |idioma=inglés}}</ref>
Esta
Veanse '''Refutaciones a la interpretación de Penrose''' nos ''Enllaces n'Inglés'' de la sección ''Enllaces esternos y referencies''
| |||