From: Matt Mahoney (matmahoney@yahoo.com)
Date: Sat Jan 26 2008 - 17:42:07 MST
--- Nick Tarleton <nickptar@gmail.com> wrote:
> On Jan 25, 2008 9:17 PM, Matt Mahoney <matmahoney@yahoo.com> wrote:
> > I am having the same frustration. I am trying to describe universes that
> > could not arise from an enumeration of Turing machines (such as ours).
> One
> > possibility is a universe that allows more powerful machines, such as
> > computers or intelligences with real-valued registers or real-valued
> address
> > spaces. In some of these universes, it would be possible for an
> intelligence
> > to model its environment exactly. There would be no reason for these
> > intelligences to think in terms of probability.
>
> Vladimir's point (I think) is that, like us, they would still be
> subject to the problem of induction; they could not know with
> deductive certainty that the laws that they observed in the past would
> continue to hold.
I think I understand that, but my point is that they are not like us, because
the mathematics of thought and computation would not be based on Turing
machines. If you had an exact model of the universe, you would not need to
make observations.
-- Matt Mahoney, matmahoney@yahoo.com
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:01:01 MDT