Talk:Computability

proposal
Based on a discussion at talk:recursion theory, I'd like to expand this into a top-level overview of models of computation, algorithms, etc. &mdash; Carl (CBM · talk) 11:00, 14 August 2009 (UTC)


 * The reorganization is underway. Centralized discussion is at Talk:Recursion theory. &mdash; Carl (CBM · talk) 14:55, 22 August 2009 (UTC)

revisions
I have started the process of moving the focus of this article from automata to computability in general. I changed the lede and the first couple sections; over time I will work through the rest of it. Please feel free to help, and to improve anything I have written. &mdash; Carl (CBM · talk) 15:18, 22 August 2009 (UTC)

Fiefdom fights
I've moved this out of the lead, and rewrote it, but frankly these fiefdom fights don't really belong in an introductory article. It should be mentioned at computability theory if at all. There's some discussion on this with references at the (old) page on Talk:Recursion_theory. Pcap ping  17:05, 22 August 2009 (UTC)
 * Thanks CBM for removing it altogether, and adding this instead to the lead, which is what an uninvolved reader should be let know. Pcap ping  17:15, 22 August 2009 (UTC)

The redirect "Computable"
I don't think "Computable" should redirect here - I think it would be better to have a disambiguation page, with links to computable set, computable real, computable function, etc. --Jordan Mitchell Barrett (talk) 11:53, 30 April 2021 (UTC)