On 05-Sep-01, Marchal wrote:
> Even if we are "more than" a universal computing machine, it is easy
> to explain there is a sense in which we are *at least* universal
> computing machines (even the kind which can know that(°)), and that is
> enough for making the world possibly very complex.
We are certainly *less* than universal turing machines - since a
universal turing machine requires infinite storage to work with.
There is no more common error than to assume that, because prolonged
accurate mathematical calculations have been made, the application of
result to some fact of nature is absolutely certain.
--- Alfred North Whitehead