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.

PropertyValue
prop-cs:isbn
  • 80 (xsd:integer)
prop-cs:jméno
  • Vítězslav
prop-cs:místo
  • Praha
prop-cs:odkazNaAutora
  • Vítězslav Švejdar
prop-cs:příjmení
  • Švejdar
prop-cs:rok
  • 2002 (xsd:integer)
prop-cs:titul
  • Logika, neúplnost, složitost a nutnost
prop-cs:vydavatel
  • Academia
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
  • 196336 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 3924 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 42 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 14919433 (xsd:integer)
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
  • Rozhodnutelnost
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of