Re: Have you all gone crazy? Was: On being web-friendly and why info must die

[Óscar Fuentes]

Yuri Khan <address@hidden> writes:

> On Sat, Dec 20, 2014 at 2:26 AM, Phillip Lord
> <address@hidden> wrote:
>
>> Sadly this requires proof checkers that can distinguish between "will
>> terminate" and "will terminate within the known life-time of the
>> universe". That's a research problem I fear.
>
> Actually “will terminate in <predefined finite time interval>” is a
> decidable property while “will terminate” is not.

This is true if and only if you don't live in this universe.

There is plenty of people who fits the bill, with Computer Scientists at
the front row.