Re: Can you find anything wrong with this solution to the Halting Problem?

From: Peter Olcott (olcott_at_att.net)
Date: 07/16/04 

Date: Fri, 16 Jul 2004 00:05:22 GMT

> Suppose I build a simulator for you platform, including
> simulated protected memory and a simulated screen. The
> simulator takes a string encoding any (P, I) and simulates,
> step-for-step, program P running on input I. My simulator still
> can't see your actual screen, nor read your protected memory, so
> it doesn't violate the assumptions on:
>
> http://home.att.net/~olcott/halts.html
>
>
> What it can do is run the same programs as your platform, and
> they behave the same way for the same input. Programs cannot
> tell if they are running on the simulator. Furthermore, my
> simulator outputs whatever program P writes to the simulated
> screen.
>
> My question: Do you agree that writing this simulator is
> possible?

It seems possible.
It also seems like a much more convoluted way to
merely derive another way that does not solve the
original problem.

I guess there is one sure fire way for my own program
to see if any of its security has been violated. If it ever
can't determine whether or not a program halts, then it
would know that its security has been breached.

It looks like the only way to actually refute my idea
is to find a way that my security can be bypassed
that can not possibly be later corrected using another
form of security, or by disabling the bypassing mechanism.

This seems to be the only possible door to proving me
wrong.

Relevant Pages

  • Embedded web server on small processors
    ... I am interested in embedded Internet applications and am experimenting ... Presently I am extending the platform to include the AT91SAM7x128 where ... The platform includes a simulator which enables Ethereal recordings to ...
    (comp.arch.embedded)
  • Re: Williams F1 Simulator
    ... enclosed cabin in the opposite direction of travel. ... but i'm thinking it would have to be a hefty sized platform.. ... I saw a photo in Autocar of a driving simulator, I think at Toyota, which is basically a big metal bubble sat in what looks like an aircraft hanger, on a massive 2D traverse. ... This is pretty much the only way you can simulate continuous cornering/braking g forces in a way that can adapt to continually changing driving conditions, but I have no idea what kind of g's it can pull or how long for. ...
    (rec.autos.sport.f1)
  • Re: Williams F1 Simulator
    ... A simulator that could give a sustained 4-5g decelleration under ... Yeah. ... enclosed cabin in the opposite direction of travel. ... but i'm thinking it would have to be a hefty sized platform.. ...
    (rec.autos.sport.f1)
  • Re: Can you find anything wrong with this solution to the Halting Problem?
    ... "Peter Olcott" ... > original halting Problem has always been very simple. ... Suppose I build a simulator for you platform, ... simulated protected memory and a simulated screen. ...
    (sci.logic)