LESSWRONG
LW

2337
Marc Gotliboym
2010
Message
Dialogue
Subscribe

Posts

Sorted by New

Wikitag Contributions

Comments

Sorted by
Newest
No wikitag contributions to display.
No posts to display.
Embedded Agency (full-text version)
Marc Gotliboym7y30

Concerning the 5 and 10 problem - I'm curious if any works been done trying to resolve this by using a weaker logic? I'm not a logician, but a relevance logic seems worth looking into. At least on the face of it, taking away the principle of explosion is a step towards making the mentioned P, “if the agent outputs 5 the universe outputs 5, and if the agent outputs 10 the universe outputs 0” unprovable.

I'd be interested in any other work on the 5 and 10 problem also.

Reply