[Home]History of Turing machine/Talk

HomePage | Recent Changes | Preferences

Revision 3 . . November 9, 2001 3:57 am by AxelBoldt
Revision 2 . . August 18, 2001 11:49 pm by Anatoly Vorobey [Rice's Theorem]
  

Difference (from prior major revision) (no other diffs)

Changed: 4c4,8
Sure, it's Rice's Theorem. --AV
Sure, it's Rice's Theorem. --AV


Two things are missing from the article but I don't have time right now:
* The functions that Turing machines define are only partial because TM's need not halt.
* Link to recursive functions, recursive and recursively enumerable languages. --AxelBoldt

HomePage | Recent Changes | Preferences
Search: