From: Christian Szegedy (szegedy@t-online.de)
Date: Sat Oct 09 2004 - 03:50:11 MDT
Ben wrote:
> Premise 1) FOR EACH computer, THERE EXISTS some problem which that computer
> can't solve
> Premise 2) NOT [ FOR EACH human, THERE EXISTS some problem which that human
> can't solve ]
> Conclusion) Therefore, humans are not computers
...
> The problem is that his premise 2 is false
No, these are not his arguments. They go by:
1) Assume that you are a TM.
2) Then here is a specific input I, on which you must fail.
3) Hey, but you can clearly produce the correct output
on I! => Contradiction!
Premise 2 never entered the picture.
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:49 MDT