Undecidable
Undecidable Undecidable has more than one meaning: In mathematical logic: A decision problem is undecidable if there is no algorithm that decides it. "Undecidable" is sometimes used as a synonym of ...
http://en.wikipedia.org/wiki/Undecidable - 0k - Cached - Similar pages

Talk:Undecidable
Talk:Undecidable Undecidable means not decidable, decidable has a disambiguation ... page, so we might want to redirect undecidable to decidable to give it the same ... see a reason to make decidable and undecidable asymmetric in terms of dismbiguation. Could perhaps ... 2005 (UTC) So one asymmetry is that "undecidable" is sometimes used to mean "independent"; ...
http://en.wikipedia.org/wiki/Talk:Undecidable - 1k - Cached - Similar pages

List of undecidable problems
List of undecidable problems In computability theory, an undecidable problem is a problem whose language is ... see decidability. This is a list of undecidable problems. Problems related to abstract machines the ... non-trivial properties of computer programs are undecidable. Determining if a context-free grammar generates ...
http://en.wikipedia.org/wiki/List_of_undecidable_problems - 2k - Cached - Similar pages

List of statements undecidable in ZFC
List of statements undecidable in ZFC The following is a list of mathematical statements that are undecidable in ZFC (the Zermelo-Fraenkel axioms plus ... was the first statement shown to be undecidable in ZFC. The axiom V=L (that ... the negation of the continuum hypothesis is undecidable in ZFC. The existence of large cardinal ...
http://en.wikipedia.org/wiki/List_of_statements_undecidable_in_ZFC - 6k - Cached - Similar pages

Talk:List of statements undecidable in ZFC
Talk:List of statements undecidable in ZFC Remarks on assumptions used to ...
http://en.wikipedia.org/wiki/Talk:List_of_statements_undecidable_in_ZFC - 2k - Cached - Similar pages

Gödel's incompleteness theorems
... VI in his 1931 paper "On Formally Undecidable Propositions in Principia Mathematica and Related Systems ... others believe that neither did. Examples of undecidable statements It should be noted that there ... are two distinct senses of the word "undecidable" in use. The first of these is ... Such a problem is said to be undecidable if there is no recursive function that ... is that if a decision problem is undecidable (in the recursion theoretical sense) then ...
http://en.wikipedia.org/wiki/Gödel's_incompleteness_theorems - 70k - Cached - Similar pages

Halting problem
... We say that the halting problem is undecidable over Turing machines. ([1] with respect to ... of the first problems to be proved undecidable. (Turing's proof went to press in ... method of proving a problem to be undecidable is with the technique of reduction. To ... it could be used to decide an undecidable problem (by transforming instances of the undecidable problem into instances of the new ...
http://en.wikipedia.org/wiki/Halting_problem - 59k - Cached - Similar pages

Theorem of the incompletud of Gödel   (translated from Spanish)
... no of them did it. Examples of undecidable affirmations The existence of an undecidable affirmation within a formal system is not ... Cohen it has given concrete examples of undecidable affirmations: as much election axiom like hipótesis of the continuous one is undecidable in the standard axiomatización of teoría of ... stop when introducing to him data) is undecidable. Later this result became general in ...
http://es.wikipedia.org/wiki/Teorema_de_la_incompletud_de_Gödel - 40k - Cached (Spanish) - Wikipedia (Spanish) - Similar pages

Theorems of incompletezza of Gödel   (translated from Italian)
... of Hilbert. Examples of enunciate to you undecidable The existence of undecidable enunciating to the inside of a formal ... examples are found of enunciate to you undecidable (enunciate to you that they cannot be ... ipotesi of the continuous one they are undecidable in the traditional assiomatizzazione of teoria of ... is arrested executing a sure program is undecidable. This result subsequently was generalized in ...
http://it.wikipedia.org/wiki/Teoremi_di_incompletezza_di_Gödel - 54k - Cached (Italian) - Wikipedia (Italian) - Similar pages

Turing's proof
... proof was first) that some questions are "undecidable": they have neither YES nor NO answers ... U is provable in K [Principia Mathematica]..." (Undecidable p. 145). Turing preceded this proof with ... incorrect as given" (Davis's commentary in Undecidable, p. 115) . Turing himself published "A correction ... P. Bernays for pointing out these errors" (Undecidable, p. 152). Specifically, in its original form ... Bernays' corrections may be found in The Undecidable, pp. 152-154; the original is ...
http://en.wikipedia.org/wiki/Turing's_proof - 84k - Cached - Similar pages