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.
Property | Value |
prop-cs:isbn
| |
prop-cs:jméno
| |
prop-cs:místo
| |
prop-cs:početStran
| |
prop-cs:příjmení
| |
prop-cs:rok
| |
prop-cs:titul
|
- Navěky nerozhodnuto : úvod do logiky a zábavný průvodce ke Gödelovým objevům
|
prop-cs:vydavatel
| |
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
| |
dbpedia-owl:wikiPageLength
| |
dbpedia-owl:wikiPageOutDegree
| |
dbpedia-owl:wikiPageRevisionID
| |
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 | |