ARCHIVADO: 7 de mayo de 2009 La sesión de edición Hilbert/Física/Relatividad con Jwy, Salix, Wvbailey, Pie are round, concluyó con la revisión de un párrafo bajo la categoría "Física" sobre Einstein, Hilbert y el desarrollo de 1915 de las ecuaciones de campo de Relatividad general. - Los pasteles son redondos ( discusión ) 18:51, 7 de mayo de 2009 (UTC)
Si tomamos el sistema axiomático y lo ampliamos agregando un único axioma nuevo, que dice que la proposición lógica es verdadera, entonces el sistema extendido prueba inmediatamente la proposición lógica en cuestión, directamente a partir del nuevo axioma. El sistema ampliado puede haberse vuelto inconsistente, pero en ese caso prueba todas las proposiciones, incluida la que se está cuestionando.
Cuando hacemos esto, se puede formar una nueva oración de Goedel en el sistema extendido, que a su vez no puede probarse dentro del sistema extendido (pero sí es demostrable en una infinidad de otros sistemas aún más extendidos). Y así hasta el infinito.
Creo que la corrección que acabo de hacer en la página es estrictamente correcta, pero me gustaría que un matemático profesional la revise:
Se dice que Hilbert hizo un comentario pronazi en los años 1930. —Comentario anterior sin firmar agregado por 81.139.179.195 ( charla ) 17:04, 3 de julio de 2009 (UTC)
Estoy de acuerdo, que el enlace no funciona directamente. Busque en arxiv.org "Ivan Todorov" y podrá encontrar su artículo sobre Heisenberg. Se trata de un PDF, lo que podría explicar la dificultad. —Comentario anterior sin firmar agregado por 87.82.116.138 ( charla ) 13:59, 9 de julio de 2009 (UTC)