User contributions for Chris-martin

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)

9 August 2020

17 March 2017

31 January 2017

6 January 2017

14 March 2010

21 February 2009

22 December 2008

15 December 2008

9 December 2008

  • 02:1702:17, 9 December 2008 diff hist +559 N File:Rice reduction.svg{{Information |Description={{en|1=A Turing machine which solves the halting problem, built using a Turing machine which decides any nontrivial property about the language of a Turing machine. Used to illustrate the reduction which generates a contradicti

5 December 2008

4 December 2008

30 November 2008

29 November 2008

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)