Kurt Gödel (28. dubna 1906, Brno, Rakousko-Uhersko – 14. ledna 1978, Princeton, USA) byl matematik rakouského původu, který se stal jedním z nejvýznamnějších logiků všech dob. Významné jsou i jeho příspěvky ve fyzice a ve filozofii matematiky.V roce 1930 publikoval větu o úplnosti predikátové logiky prvního řádu a v roce 1931 zásadní objev – dvě věty o neúplnosti axiomatických formálních systémů s aritmetikou.

PropertyValue
prop-cs:jméno
  • Kurt Gödel
prop-cs:místoNarození
prop-cs:místoÚmrtí
prop-cs:obrázek
  • 1925 (xsd:integer)
prop-cs:popisek
  • Kurt Gödel
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Kurt Gödel (28. dubna 1906, Brno, Rakousko-Uhersko – 14. ledna 1978, Princeton, USA) byl matematik rakouského původu, který se stal jedním z nejvýznamnějších logiků všech dob. Významné jsou i jeho příspěvky ve fyzice a ve filozofii matematiky.V roce 1930 publikoval větu o úplnosti predikátové logiky prvního řádu a v roce 1931 zásadní objev – dvě věty o neúplnosti axiomatických formálních systémů s aritmetikou. Prostřednictvím těchto vět ukázal, že není možné navrhnout soubor axiomů, které by byly dostačující pro zodpovězení každé otázky, kterou lze klást a formulovat uvnitř formálního systému s aritmetikou. Tyto věty ukončily více než padesátileté úsilí logiků a matematiků úplně formalizovat matematiku, ale ovlivnily i vědecké a filosofické myšlení druhé poloviny 20. a počátku 21. století.
dbpedia-owl:birthPlace
dbpedia-owl:deathPlace
dbpedia-owl:thumbnail
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 26908 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 11713 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 85 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 16379456 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Gödelovým
  • Kurt Gödel
  • K.Gödel
  • Kurta Gödela
  • Gödelem
  • Kurtem Gödelem
  • Kurtu Gödelovi
dcterms:subject
rdf:type
rdfs:comment
  • Kurt Gödel (28. dubna 1906, Brno, Rakousko-Uhersko – 14. ledna 1978, Princeton, USA) byl matematik rakouského původu, který se stal jedním z nejvýznamnějších logiků všech dob. Významné jsou i jeho příspěvky ve fyzice a ve filozofii matematiky.V roce 1930 publikoval větu o úplnosti predikátové logiky prvního řádu a v roce 1931 zásadní objev – dvě věty o neúplnosti axiomatických formálních systémů s aritmetikou.
rdfs:label
  • Kurt Gödel
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • Kurt Gödel
is prop-cs:ovlivnil of
is prop-cs:vlivy of
is dbpedia-owl:influencedBy of
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of