|
![](/i/fill.gif) |
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
|
![](/i/fill.gif) |