But the "undecidable" stuff needs a lot more care.    From Wordnik.com.  [Conservapedia - Recent changes [en]] Reference

Recall my point about decidable/undecidable issues.    From Wordnik.com.  [An Ill Wind in Tortuca - The Panda's Thumb] Reference

But what do you mean by scientifically undecidable?.    From Wordnik.com.  [Bunny and a Book] Reference

Consistency means that there is nothing undecidable.    From Wordnik.com.  [Please Tell Me What “God” Means] Reference

We can say "reality has some undecidable propositions.".    From Wordnik.com.  [What Logic is and isn't...] Reference

Victorianizes aeration inquisition accomplishment undecidable.    From Wordnik.com.  [The Volokh Conspiracy » IN DEFENSE OF INTERNMENT, Part 4 (Or, “The Robinson Rebuttal”):] Reference

There is no such things that are “undecidable” in principle.    From Wordnik.com.  [Please Tell Me What “God” Means] Reference

I guess Steve would manage to make his theorems on PLSR undecidable.    From Wordnik.com.  [von Storch et al 2004 in IPCC AR4 « Climate Audit] Reference

My point is that the issue is formally and substantively undecidable.    From Wordnik.com.  [Reply to my critics] Reference

This relentless injustice is why the ordeal of the undecidable is never past.    From Wordnik.com.  [Jacques Derrida] Reference

Viewed as a first-order theory, sentences in Quantum Mechanics are undecidable.    From Wordnik.com.  [Theories of Everything and Godel's theorem] Reference

The undecidable, for Derrida, is not mere oscillation between two significations.    From Wordnik.com.  [Jacques Derrida] Reference

Paul Cohen did indeed show that the theorem is undecidable by standard set theory.    From Wordnik.com.  [An Infinity of Points] Reference

If something seems to be undecidable in system M, use a larger system that contains M.    From Wordnik.com.  [Please Tell Me What “God” Means] Reference

The other primitive man may or may not be dangerous; this is undecidable; the metaphor.    From Wordnik.com.  [Professing Literature: John Guillory's Misreading of Paul de Man] Reference

Thus, the middle Wittgenstein rejects undecidable mathematical propositions on two grounds.    From Wordnik.com.  [Wittgenstein's Philosophy of Mathematics] Reference

Perhaps the question was even formally undecidable (say from the usual axioms of mathematics).    From Wordnik.com.  [Wolfram Blog : The Prize Is Won; The Simplest Universal Turing Machine Is Proved] Reference

And some are like the undecidable propositions in a consistently developed mathematical system.    From Wordnik.com.  [The Angels and Us] Reference

This is where the decidable/undecidable dichotomy I mentioned before comes back into the picture.    From Wordnik.com.  [An Ill Wind in Tortuca - The Panda's Thumb] Reference

The clash between Blakean and Wordsworthian perspectives in "Twelfth Morning," then, is not undecidable.    From Wordnik.com.  [Elizabeth Bishop and the Wordsworth of _Lyrical Ballads_: Sentimentalism, Straw Men, and Misprision] Reference

A calculus may be undecidable in which case one needs to determine which decidable fragment to implement.    From Wordnik.com.  [Automated Reasoning] Reference

Insofar as the difference is undecidable, it destabilizes the original decision that instituted the hierarchy.    From Wordnik.com.  [Jacques Derrida] Reference

It transpires that the theory of arithmetic (technically, Peano arithmetic) is both incomplete and undecidable.    From Wordnik.com.  [Theories of Everything and Godel's theorem] Reference

He argues that true sentences undecidable in Peano Arithmetic can only be proved by means of higher-order concepts.    From Wordnik.com.  [Philosophy of Mathematics] Reference

However, undecidable statements which are free from self-reference have been found in various branches of mathematics.    From Wordnik.com.  [Theories of Everything and Godel's theorem] Reference

Wittgenstein's second reason for rejecting an undecidable mathematical proposition is that it is a contradiction-in-terms.    From Wordnik.com.  [Wittgenstein's Philosophy of Mathematics] Reference

Even in the most perfectly constructed mathematical system, some propositions will be found undecidable as to their truth or falsity.    From Wordnik.com.  [The Angels and Us] Reference

The set of sentences of GL with propositional quantifiers that is arithmetically valid turns out to be undecidable (Shavrukov (1997)).    From Wordnik.com.  [Provability Logic] Reference

The problem for anyone applying the scientific method to issues like this is that all undecidable propositions are logically equivalent.    From Wordnik.com.  [too-rye-aye] Reference

Without an independent method to measure intelligence and knowledge of arbitrary entities, your statement is scientifically undecidable.    From Wordnik.com.  [Bunny and a Book] Reference

We can show that we can use mathematics to show that all mathematical systems include either undecidable propositions or inconsistencies.    From Wordnik.com.  [Fisking Geisler and McDowell...] Reference

Finsler 1926 applies Richard's paradox in order to produce metamathematical results, in particular ˜formally undecidable propositions™.    From Wordnik.com.  [Paradoxes and Contemporary Logic] Reference

We think that the point is undecidable, and we have previously adduced testi - mony from latest antiquity in support of this conclu - sion.    From Wordnik.com.  [INFINITY] Reference

Most problems in automatic verification are either undecidable, or intractable.    From Wordnik.com.  [Slashdot] Reference

It is troubling because it is undecidable, neither fact nor fiction, not alive or dead.    From Wordnik.com.  [openDemocracy] Reference

It seems to me that essentially all of the material about "Famous undecidable statements" is wrong.    From Wordnik.com.  [Conservapedia - Recent changes [en]] Reference

The golem is troubling because it is undecidable, as is Life-Writing, whether its memoir, biography etc.    From Wordnik.com.  [openDemocracy] Reference

"undecidable" is certainly not the same thing as "not provable within ZF", and choice is independent of ZF, not undecidable.    From Wordnik.com.  [Conservapedia - Recent changes [en]] Reference