whpearson comments on Re-formalizing PD - Less Wrong

28 Post author: cousin_it 28 April 2009 12:10PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (57)

You are viewing a single comment's thread. Show more comments above.

Comment author: whpearson 29 April 2009 10:18:47AM *  0 points [-]

The difficulty would be to make sure nothing could interact with the atoms/physical constituents of the prefix in a way that distorts the prefix. Prefixes of programs have the benefit they go first, and in the serial nature of most programs, things that go first have complete control.

So it is a question of isolating the prefix. I'm going to read this paper on isolation and physics, before making any comments on the subject.

Comment author: cousin_it 29 April 2009 10:57:52AM 0 points [-]

I read the paper, and it seemed to me to be useless. We want a physically inviolable guarantee of isolation.

Comment author: whpearson 29 April 2009 11:57:07AM *  0 points [-]

It gave some ideas. It suggests we might start with specifying time limits, e.g. specifying a system will be effectively isolated for a certain time, by scanning a region of space around that system.