Talk:Undecidable
From Wikipedia, the free encyclopedia
| WikiProject Disambiguation | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||
[edit] dab
Undecidable means not decidable, decidable has a disambiguation page, so we might want to redirect undecidable to decidable to give it the same disambiguation variants), rather than to decision problem. Anyway, I don't see a reason to make decidable and undecidable asymmetric in terms of dismbiguation. Could perhaps someone help in these rearrangements, I don't feel experencied enough to perform them.--Imz 22:06, 6 October 2005 (UTC)
- So one asymmetry is that "undecidable" is sometimes used to mean "independent"; that's why I've turned this into a (separate) disambig page. "Decidable" to mean "not independent" is rarer. --Trovatore 18:24, 2 January 2006 (UTC)
