Rozhodnutelnost je matematický pojem z oblasti matematické logiky. Vyjadřuje, zda existuje konečný algoritmus, který pro každou formuli určí, zda je v dané teorii dokazatelná nebo není. Teorie, pro niž takový algoritmus existuje, se nazývá rozhodnutelná, v opačném případě pak nerozhodnutelná. Problematika rozhodnutelnosti úzce souvisí s Gödelovými větami o neúplnosti.
Property | Value |
prop-cs:isbn
| |
prop-cs:jméno
| |
prop-cs:místo
| |
prop-cs:odkazNaAutora
| |
prop-cs:příjmení
| |
prop-cs:rok
| |
prop-cs:titul
|
- Logika, neúplnost, složitost a nutnost
|
prop-cs:vydavatel
| |
prop-cs:wikiPageUsesTemplate
| |
dbpedia-owl:abstract
|
- Rozhodnutelnost je matematický pojem z oblasti matematické logiky. Vyjadřuje, zda existuje konečný algoritmus, který pro každou formuli určí, zda je v dané teorii dokazatelná nebo není. Teorie, pro niž takový algoritmus existuje, se nazývá rozhodnutelná, v opačném případě pak nerozhodnutelná. Problematika rozhodnutelnosti úzce souvisí s Gödelovými větami o neúplnosti.
|
dbpedia-owl:wikiPageID
| |
dbpedia-owl:wikiPageLength
| |
dbpedia-owl:wikiPageOutDegree
| |
dbpedia-owl:wikiPageRevisionID
| |
dbpedia-owl:wikiPageWikiLink
| |
dbpedia-owl:wikiPageWikiLinkText
|
- nerozhodnutelná
- nerozhodnutelný problém
- rozhodnutelnost
- nerozhodnutelné
- Rozhodnutelnost
- rozhodnutelná
- rozhodnutelné
- rozhodnutelný
- algoritmicky nerozhodnutelný
|
dcterms:subject
| |
rdfs:comment
|
- Rozhodnutelnost je matematický pojem z oblasti matematické logiky. Vyjadřuje, zda existuje konečný algoritmus, který pro každou formuli určí, zda je v dané teorii dokazatelná nebo není. Teorie, pro niž takový algoritmus existuje, se nazývá rozhodnutelná, v opačném případě pak nerozhodnutelná. Problematika rozhodnutelnosti úzce souvisí s Gödelovými větami o neúplnosti.
|
rdfs:label
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbpedia-owl:wikiPageRedirects
of | |
is dbpedia-owl:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |