Talk:Undecidable

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
WikiProject iconDisambiguation
WikiProject iconThis disambiguation page is within the scope of WikiProject Disambiguation, an attempt to structure and organize all disambiguation pages on Wikipedia. If you wish to help, you can edit the page attached to this talk page, or visit the project page, where you can join the project or contribute to the discussion.

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]