Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q17163436> ?p ?o }
- Q17163436 subject Q6799333.
- Q17163436 subject Q7020589.
- Q17163436 subject Q8622590.
- Q17163436 subject Q8787518.
- Q17163436 abstract "A proof of impossibility, also known as impossibility theorem, negative proof, or negative result, is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or centuries of work attempting to find a solution. Proofs of impossibility are usually expressible as universal propositions in logic (see universal quantification).One of the most famous proofs of impossibility was the 1882 proof of Ferdinand von Lindemann showing that the ancient problem of squaring the circle cannot be solved, because the number π is transcendental (non-algebraic) and only a subset of the algebraic numbers can be constructed by compass and straightedge. Two other classical problems--trisecting the general angle and doubling the cube—were also proved impossible in the nineteenth century.A problem arising in the sixteenth century was that of creating a general formula using radicals expressing the solution of any polynomial equation of degree 5 or higher. In the 1820s the Abel-Ruffini theorem showed this to be impossible using concepts such as solvable groups from Galois theory, a new subfield of abstract algebra.Among the most important proofs of impossibility of the 20th century were those related to undecidability, which showed that there are problems that cannot be solved in general by any algorithm at all. The most famous is the halting problem.In computational complexity theory, techniques like relativization (see oracle machine) provide "weak" proofs of impossibility excluding certain proof techniques. Other techniques like proofs of completeness for a complexity class provide evidence for the difficulty of problems by showing them to be just as hard to solve as other known problems that have proven intractable.".
- Q17163436 wikiPageExternalLink 12.
- Q17163436 wikiPageExternalLink gdelsproof00nage.
- Q17163436 wikiPageExternalLink text-idx?c=umhistmath;idno=AAT3201.0001.001.
- Q17163436 wikiPageExternalLink 86?rgn=full+text;view=pdf.
- Q17163436 wikiPageWikiLink Q10261.
- Q17163436 wikiPageWikiLink Q1096450.
- Q17163436 wikiPageWikiLink Q11030584.
- Q17163436 wikiPageWikiLink Q1137759.
- Q17163436 wikiPageWikiLink Q11382.
- Q17163436 wikiPageWikiLink Q1143357.
- Q17163436 wikiPageWikiLink Q11455.
- Q17163436 wikiPageWikiLink Q115368.
- Q17163436 wikiPageWikiLink Q11538.
- Q17163436 wikiPageWikiLink Q11615.
- Q17163436 wikiPageWikiLink Q1239172.
- Q17163436 wikiPageWikiLink Q1244890.
- Q17163436 wikiPageWikiLink Q12623.
- Q17163436 wikiPageWikiLink Q126695.
- Q17163436 wikiPageWikiLink Q1273543.
- Q17163436 wikiPageWikiLink Q1321926.
- Q17163436 wikiPageWikiLink Q1456811.
- Q17163436 wikiPageWikiLink Q15846555.
- Q17163436 wikiPageWikiLink Q159943.
- Q17163436 wikiPageWikiLink Q16251580.
- Q17163436 wikiPageWikiLink Q163310.
- Q17163436 wikiPageWikiLink Q163335.
- Q17163436 wikiPageWikiLink Q167.
- Q17163436 wikiPageWikiLink Q168817.
- Q17163436 wikiPageWikiLink Q170147.
- Q17163436 wikiPageWikiLink Q17019301.
- Q17163436 wikiPageWikiLink Q173091.
- Q17163436 wikiPageWikiLink Q1774143.
- Q17163436 wikiPageWikiLink Q178377.
- Q17163436 wikiPageWikiLink Q182985.
- Q17163436 wikiPageWikiLink Q183372.
- Q17163436 wikiPageWikiLink Q1839062.
- Q17163436 wikiPageWikiLink Q184337.
- Q17163436 wikiPageWikiLink Q184433.
- Q17163436 wikiPageWikiLink Q184899.
- Q17163436 wikiPageWikiLink Q1893717.
- Q17163436 wikiPageWikiLink Q193394.
- Q17163436 wikiPageWikiLink Q205084.
- Q17163436 wikiPageWikiLink Q207014.
- Q17163436 wikiPageWikiLink Q2111.
- Q17163436 wikiPageWikiLink Q213673.
- Q17163436 wikiPageWikiLink Q2574032.
- Q17163436 wikiPageWikiLink Q262759.
- Q17163436 wikiPageWikiLink Q268132.
- Q17163436 wikiPageWikiLink Q3044470.
- Q17163436 wikiPageWikiLink Q3262192.
- Q17163436 wikiPageWikiLink Q33387.
- Q17163436 wikiPageWikiLink Q33481.
- Q17163436 wikiPageWikiLink Q33760.
- Q17163436 wikiPageWikiLink Q3502995.
- Q17163436 wikiPageWikiLink Q351366.
- Q17163436 wikiPageWikiLink Q36442.
- Q17163436 wikiPageWikiLink Q372010.
- Q17163436 wikiPageWikiLink Q3806708.
- Q17163436 wikiPageWikiLink Q389813.
- Q17163436 wikiPageWikiLink Q3984020.
- Q17163436 wikiPageWikiLink Q413.
- Q17163436 wikiPageWikiLink Q41390.
- Q17163436 wikiPageWikiLink Q41585.
- Q17163436 wikiPageWikiLink Q428388.
- Q17163436 wikiPageWikiLink Q44746.
- Q17163436 wikiPageWikiLink Q450154.
- Q17163436 wikiPageWikiLink Q50698.
- Q17163436 wikiPageWikiLink Q553870.
- Q17163436 wikiPageWikiLink Q585688.
- Q17163436 wikiPageWikiLink Q596077.
- Q17163436 wikiPageWikiLink Q607728.
- Q17163436 wikiPageWikiLink Q619388.
- Q17163436 wikiPageWikiLink Q622849.
- Q17163436 wikiPageWikiLink Q657482.
- Q17163436 wikiPageWikiLink Q6799333.
- Q17163436 wikiPageWikiLink Q7017.
- Q17163436 wikiPageWikiLink Q7020589.
- Q17163436 wikiPageWikiLink Q7251.
- Q17163436 wikiPageWikiLink Q729471.
- Q17163436 wikiPageWikiLink Q733081.
- Q17163436 wikiPageWikiLink Q75655.
- Q17163436 wikiPageWikiLink Q759832.
- Q17163436 wikiPageWikiLink Q76420.
- Q17163436 wikiPageWikiLink Q77203.
- Q17163436 wikiPageWikiLink Q7854954.
- Q17163436 wikiPageWikiLink Q798572.
- Q17163436 wikiPageWikiLink Q7991.
- Q17163436 wikiPageWikiLink Q8134.
- Q17163436 wikiPageWikiLink Q83491.
- Q17163436 wikiPageWikiLink Q848034.
- Q17163436 wikiPageWikiLink Q8622590.
- Q17163436 wikiPageWikiLink Q8787518.
- Q17163436 wikiPageWikiLink Q905896.
- Q17163436 wikiPageWikiLink Q908207.
- Q17163436 wikiPageWikiLink Q92552.