Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q11030584> ?p ?o }
Showing triples 1 to 73 of
73
with 100 triples per page.
- Q11030584 subject Q7020589.
- Q11030584 subject Q7035970.
- Q11030584 subject Q7240160.
- Q11030584 subject Q8596994.
- Q11030584 subject Q8622256.
- Q11030584 abstract "In mathematics and computer science, the Entscheidungsproblem (pronounced [ɛntˈʃaɪ̯dʊŋspʁoˌbleːm], German for 'decision problem') is a challenge posed by David Hilbert in 1928. The Entscheidungsproblem asks for an algorithm that takes as input a statement of a first-order logic (possibly with a finite number of axioms beyond the usual axioms of first-order logic) and answers "Yes" or "No" according to whether the statement is universally valid, i.e., valid in every structure satisfying the axioms. By the completeness theorem of first-order logic, a statement is universally valid if and only if it can be deduced from the axioms, so the Entscheidungsproblem can also be viewed as asking for an algorithm to decide whether a given statement is provable from the axioms using the rules of logic.In 1936, Alonzo Church and Alan Turing published independent papers showing that a general solution to the Entscheidungsproblem is impossible, assuming that the intuitive notion of "effectively calculable" is captured by the functions computable by a Turing machine (or equivalently, by those expressible in the lambda calculus). This assumption is now known as the Church–Turing thesis.".
- Q11030584 wikiPageExternalLink 12.
- Q11030584 wikiPageExternalLink 230.
- Q11030584 wikiPageExternalLink tp2-ie.asp.
- Q11030584 wikiPageWikiLink Q1143357.
- Q11030584 wikiPageWikiLink Q1148456.
- Q11030584 wikiPageWikiLink Q1197709.
- Q11030584 wikiPageWikiLink Q1239172.
- Q11030584 wikiPageWikiLink Q12479.
- Q11030584 wikiPageWikiLink Q134164.
- Q11030584 wikiPageWikiLink Q13424667.
- Q11030584 wikiPageWikiLink Q1451046.
- Q11030584 wikiPageWikiLink Q163310.
- Q11030584 wikiPageWikiLink Q1645643.
- Q11030584 wikiPageWikiLink Q16705451.
- Q11030584 wikiPageWikiLink Q173326.
- Q11030584 wikiPageWikiLink Q17736.
- Q11030584 wikiPageWikiLink Q1810244.
- Q11030584 wikiPageWikiLink Q183372.
- Q11030584 wikiPageWikiLink Q185521.
- Q11030584 wikiPageWikiLink Q188.
- Q11030584 wikiPageWikiLink Q192161.
- Q11030584 wikiPageWikiLink Q200787.
- Q11030584 wikiPageWikiLink Q2030088.
- Q11030584 wikiPageWikiLink Q2067766.
- Q11030584 wikiPageWikiLink Q2068227.
- Q11030584 wikiPageWikiLink Q211586.
- Q11030584 wikiPageWikiLink Q21198.
- Q11030584 wikiPageWikiLink Q21199.
- Q11030584 wikiPageWikiLink Q242028.
- Q11030584 wikiPageWikiLink Q2651576.
- Q11030584 wikiPageWikiLink Q309157.
- Q11030584 wikiPageWikiLink Q335148.
- Q11030584 wikiPageWikiLink Q33760.
- Q11030584 wikiPageWikiLink Q395.
- Q11030584 wikiPageWikiLink Q4055684.
- Q11030584 wikiPageWikiLink Q41390.
- Q11030584 wikiPageWikiLink Q41585.
- Q11030584 wikiPageWikiLink Q431667.
- Q11030584 wikiPageWikiLink Q450154.
- Q11030584 wikiPageWikiLink Q472676.
- Q11030584 wikiPageWikiLink Q5199280.
- Q11030584 wikiPageWikiLink Q5347270.
- Q11030584 wikiPageWikiLink Q61037.
- Q11030584 wikiPageWikiLink Q622849.
- Q11030584 wikiPageWikiLink Q7020589.
- Q11030584 wikiPageWikiLink Q7035970.
- Q11030584 wikiPageWikiLink Q707119.
- Q11030584 wikiPageWikiLink Q7240160.
- Q11030584 wikiPageWikiLink Q7251.
- Q11030584 wikiPageWikiLink Q7345768.
- Q11030584 wikiPageWikiLink Q8017123.
- Q11030584 wikiPageWikiLink Q818895.
- Q11030584 wikiPageWikiLink Q8366.
- Q11030584 wikiPageWikiLink Q842755.
- Q11030584 wikiPageWikiLink Q8596994.
- Q11030584 wikiPageWikiLink Q8622256.
- Q11030584 wikiPageWikiLink Q865760.
- Q11030584 wikiPageWikiLink Q875276.
- Q11030584 wikiPageWikiLink Q902052.
- Q11030584 wikiPageWikiLink Q9047.
- Q11030584 wikiPageWikiLink Q905896.
- Q11030584 wikiPageWikiLink Q9143.
- Q11030584 wikiPageWikiLink Q92741.
- Q11030584 wikiPageWikiLink Q956059.
- Q11030584 wikiPageWikiLink Q986147.
- Q11030584 comment "In mathematics and computer science, the Entscheidungsproblem (pronounced [ɛntˈʃaɪ̯dʊŋspʁoˌbleːm], German for 'decision problem') is a challenge posed by David Hilbert in 1928.".
- Q11030584 label "Entscheidungsproblem".