Kurt Gödel

http://pt.dbpedia.org/resource/Kurt_Gödel an entity of type: Thing

Kurt Friedrich Gödel (Brünn, Áustria-Hungria, 28 de abril de 1906 — Princeton, Estados Unidos, 14 de janeiro de 1978) foi um matemático austríaco, naturalizado norte-americano.O trabalho mais conhecido de Gödel é seu teorema da incompletude, no qual afirma que qualquer sistema axiomático suficiente para incluir a aritmética dos números inteiros não pode ser simultaneamente completo e consistente.
Kurt Gödel 
Kurt Gödel signature.svg 
Prova da consistência da hipótese do continuum com os axiomas de Zermelo-Fraenkel 
xsd:integer 1925 
Kurt Gödel, ca. 1926 
Princeton, Nova Jérsei, Estados Unidos 
Brünn, Morávia, Áustria-Hungria 
Kurt Gödel 
xsd:integer 1929 
Kurt Gödel,ca.1926 
Kurt Friedrich Gödel (Brünn, Áustria-Hungria, 28 de abril de 1906 — Princeton, Estados Unidos, 14 de janeiro de 1978) foi um matemático austríaco, naturalizado norte-americano. O trabalho mais conhecido de Gödel é seu teorema da incompletude, no qual afirma que qualquer sistema axiomático suficiente para incluir a aritmética dos números inteiros não pode ser simultaneamente completo e consistente. Isto significa que se o sistema é auto-consistente, então existirão proposições que não poderão ser nem comprovadas nem negadas por este sistema axiomático. E se o sistema for completo, então ele não poderá validar a si mesmo — seria inconsistente. 
xsd:nonNegativeInteger 168 
Kurt Gödel 
xsd:integer 1110 
xsd:nonNegativeInteger 17023 
xsd:integer 43773037 

data from the linked data cloud