Kurt Gödel: Diferenzas entre revisións
Contido eliminado Contido engadido
mSen resumo de edición |
ligazón |
||
Liña 1:
{{sen referencias}}
[[Ficheiro:1925 kurt gödel.png|miniatura|Gödel na súa época de estudante.]]
'''Kurt Gödel''', nado en [[Brünn]] o [[28 de abril]] de [[1906]] e falecido en [[Princeton, Nova Jersey|Princeton]], [[Estados Unidos de América|EUA]], o [[14 de xaneiro]] de [[1978]], foi un matemático [[Austria-Hungría|austrohúngaro]]. O seu traballo máis famoso é o [[Teorema da incompletitude de Gödel|Teorema da Incompletitude]], que afirma que calquera [[sistema axiomático]] suficiente para incluír a aritmética dos [[números enteiros]] non pode ser simultaneamente completo e consistente.
Isto significa que se o sistema é autoconsistente, entón existirán proposicións que non poderán ser nin probadas nin negadas por este sistema axiomático. E se o sistema fose completo, entón non se poderá validar a si mesmo, pois sería inconsistente.
|