Talk:Undecidable

Latest comment: 18 years ago by Trovatore in topic dab

dab

edit

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