From: Matt Mahoney (matmahoney@yahoo.com)
Date: Fri Jan 25 2008 - 11:09:09 MST
--- Vladimir Nesov <robotact@gmail.com> wrote:
> On Jan 25, 2008 6:20 PM, Matt Mahoney <matmahoney@yahoo.com> wrote:
> >
> > What I mean is, if we lived in a universe where certain things worked
> > perfectly, including our model of it, then that universe would not be
> Turing
> > computable. It is hard to imagine such a universe because we don't live
> in
> > one. The fact that we can't imagine it (because a perfect model is
> > impossible) is evidence that the universe is Turing computable.
>
> It's easy to imagine such universe, as a mathematical model. Point is
> that even if you do live in such universe, you can't be sure of it.
> Its inhabitants can't know that rules won't change at some future
> point, they can only know that they haven't changed for all history of
> observation.
They could know if their thought process was based on mathematical proof,
unlike the way we think.
-- Matt Mahoney, matmahoney@yahoo.com
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:01:01 MDT