On 10/11/2010 12:33 PM, Warp wrote:
>>>     There are some programs that if you can prove if they will halt or not,
>>> you will receive 1 million dollars.
>
>> "Entropy exists, therefore this program will halt due to heat death of
>> universe, if not sooner."
>
>> $1 mil, please.
>
>> XD
>
>    The halting problem is a problem of mathematics, not physics.

Maybe Tim's a strict finitist, in which case your objection would be 
rejected on philosophical grounds?  Too bad that this stance would also 
keep him from using a reduction to the halting problem as a valid way to 
rephrase a conjecture, so no $1M all the same.

Post a reply to this message