Rice's theorem: Revision history

13 August 2014

• curprev 09:0009:00, 13 August 2014‎ en>Cic‎ m 18,928 bytes +326‎ Fixed dashes in "Rice–Myhill–Shapiro"

14 December 2013

• curprev 04:3104:31, 14 December 2013‎ en>Jackee1234‎ m 18,602 bytes +18,602‎ Delete black-box -- since it is undecidable even for white-box behavior (i.e., when you know the languages that specified the computer programs)

14 June 2012

• curprev 02:3502:35, 14 June 2012‎ en>Bender235‎ m 18,758 bytes +18,758‎ →‎An analogue of Rice's theorem for recursive sets: citation cleanup; formatting: 12x whitespace (using Advisor.js)