Talk:Undecidable

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)[reply]

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)[reply]