Re: [sl4] Alan Turing's results are profound

From: Stuart Armstrong (dragondreaming@googlemail.com)
Date: Wed Oct 14 2009 - 03:59:23 MDT


Still waiting for the proof of your statement.

2009/10/14 John K Clark <johnkclark@fastmail.fm>:

> First make a list of all possible binary computer programs to run on the
> abstract computer that is now called a Universal Turing Machine. Yes, he

> until it produces the nth bit and then "not" it. Now we have a computer
> program producing a number that no computer program can produce.



This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:01:05 MDT