Gödelovy věty o neúplnosti jsou dvě důležité matematické věty, které mají zcela výsadní postavení v celé moderní matematické logice. Důležitou roli však hrají v celé matematice, zejména pak v teorii modelů, aritmetice a v teorii množin. Dokázal je roku 1931 rakouský logik Kurt Gödel.Gödelovy věty jsou velmi významné i z hlediska filosofie matematiky, stanovují totiž hranice axiomatické metody v matematice.

PropertyValue
prop-cs:isbn
  • 80 (xsd:integer)
prop-cs:jméno
  • Raymond M.
prop-cs:místo
  • Praha
prop-cs:početStran
  • 308 (xsd:integer)
prop-cs:příjmení
  • Smullyan
prop-cs:rok
  • 2003 (xsd:integer)
prop-cs:titul
  • Navěky nerozhodnuto : úvod do logiky a zábavný průvodce ke Gödelovým objevům
prop-cs:vydavatel
  • Academia
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Gödelovy věty o neúplnosti jsou dvě důležité matematické věty, které mají zcela výsadní postavení v celé moderní matematické logice. Důležitou roli však hrají v celé matematice, zejména pak v teorii modelů, aritmetice a v teorii množin. Dokázal je roku 1931 rakouský logik Kurt Gödel.Gödelovy věty jsou velmi významné i z hlediska filosofie matematiky, stanovují totiž hranice axiomatické metody v matematice. Plyne z nich například neproveditelnost takzvaného Hilbertova programu, který si kladl za cíl vytvořit bezespornou, úplnou teorii, s efektivně zadatelnou množinou axiomů, v níž by bylo možné interpretovat aritmetiku přirozených čísel.
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 67865 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 9244 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 76 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 13365501 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Gödelovy věty o neúplnosti
  • Gödelovy věty o neúplnosti
  • Gödelovým větám o neúplnosti
  • Gödelova věta
  • Gödelových vět o neúplnosti
  • Gödelova věta o neúplnosti
  • dva teorémy o neúplnosti
  • dvě věty o neúplnosti axiomatických formálních systémů s aritmetikou
  • Gödelových vět o neúplnosti
  • Goedelovým větám o neúplnosti
  • jedním chytrým důkazem
  • Gödelovy věty o neúplnosti#První Gödelova věta o neúplnosti
  • Gödelovy věty o neúplnosti#Rosserova věta
  • Gödelovými větami o neúplnosti
  • věty o neúplnosti
  • Gödelova teorému
  • větami o neúplnosti
dcterms:subject
rdfs:comment
  • Gödelovy věty o neúplnosti jsou dvě důležité matematické věty, které mají zcela výsadní postavení v celé moderní matematické logice. Důležitou roli však hrají v celé matematice, zejména pak v teorii modelů, aritmetice a v teorii množin. Dokázal je roku 1931 rakouský logik Kurt Gödel.Gödelovy věty jsou velmi významné i z hlediska filosofie matematiky, stanovují totiž hranice axiomatické metody v matematice.
rdfs:label
  • Gödelovy věty o neúplnosti
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of