Turing machine/Talk
HomePage
|
Turing machine
|
Recent Changes
|
Preferences
Showing revision 2
I was thinking of adding a link to the general theorem which says that practically no non-trivial question about the behavior of Turing machines can be decided, but I forgot the name of it. Anybody knows? --
AxelBoldt
Sure, it's Rice's Theorem. --
AV