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

From: Stuart Armstrong (
Date: Wed Oct 14 2009 - 03:59:23 MDT

Still waiting for the proof of your statement.

2009/10/14 John K Clark <>:

> 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