Re: [sl4] Complete drivel on this list: was: I am a Singularitian who does not believe in the Singularity.

From: Robin Lee Powell (
Date: Tue Oct 13 2009 - 03:15:23 MDT

On Tue, Oct 13, 2009 at 01:37:53AM -0700, Robin Lee Powell wrote:
> On Tue, Oct 13, 2009 at 01:32:10AM -0700, John K Clark wrote:
> > On Tue, 13 Oct 20 "J. Andrew Rogers" <>
> > said:
> >
> > > The undecidability of the Halting Problem is predicated on
> > > infinite memory.
> >
> > Yes, so if you have limitations even with infinite memory you sure
> > as hell are going to have limitations with a real computer with
> > finite memory.
> ...
> You don't actually know anything about formalized computation, do
> you?
> The halting problem occurs *BECAUSE THE MEMORY IS INFINITE*.
> Jesus. You're not even trying to listen, are you?

To expand on this:

The halting problem *is*, in fact, decidable for finite computers,
says that paper.

The ACM is not in the habit of publishing things that haven't been
*very* thoroughly reviewed.

I don't have an ACM account these days, so I'll have to leave it to
others to personally review it should they wish.


John: the problem you're talking about simply doesn't exist in real
computers. Sorry.


They say:  "The first AIs will be built by the military as weapons."
And I'm  thinking:  "Does it even occur to you to try for something
other  than  the default  outcome?"  See ***

This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:01:04 MDT