Intelligent Agent Foundations Forumsign up / log in
Relating Modal Polymorphism to PA with soundness
link by Siddharth Bhaskar 846 days ago | Abram Demski, Nate Soares, Patrick LaVictoire and Scott Garrabrant like this | 2 comments


by Siddharth Bhaskar 838 days ago | Patrick LaVictoire likes this | link

I would like to expand this paper to include how the theory MP + > n handles the procrastination paradox and similar Lobian tests. Are the results of these tests known for theories PA + n?

reply

by Patrick LaVictoire 827 days ago | link

I may be misinterpreting the question, but the Lobstacle doesn’t apply to an agent using PA+N+1 building an agent that will use PA+N, and you can’t make the procrastination paradox with that finite descending chain of formal systems. Is that what you meant?

reply



NEW LINKS

NEW POSTS

NEW DISCUSSION POSTS

RECENT COMMENTS

Indeed there is some kind of
by Vadim Kosoy on Catastrophe Mitigation Using DRL | 0 likes

Very nice. I wonder whether
by Vadim Kosoy on Hyperreal Brouwer | 0 likes

Freezing the reward seems
by Vadim Kosoy on Resolving human inconsistency in a simple model | 0 likes

Unfortunately, it's not just
by Vadim Kosoy on Catastrophe Mitigation Using DRL | 0 likes

>We can solve the problem in
by Wei Dai on The Happy Dance Problem | 1 like

Maybe it's just my browser,
by Gordon Worley III on Catastrophe Mitigation Using DRL | 2 likes

At present, I think the main
by Abram Demski on Looking for Recommendations RE UDT vs. bounded com... | 0 likes

In the first round I'm
by Paul Christiano on Funding opportunity for AI alignment research | 0 likes

Fine with it being shared
by Paul Christiano on Funding opportunity for AI alignment research | 0 likes

I think the point I was
by Abram Demski on Predictable Exploration | 0 likes

(also x-posted from
by Sören Mindermann on The Three Levels of Goodhart's Curse | 0 likes

(x-posted from Arbital ==>
by Sören Mindermann on The Three Levels of Goodhart's Curse | 0 likes

>If the other players can see
by Stuart Armstrong on Predictable Exploration | 0 likes

Thinking about this more, I
by Abram Demski on Predictable Exploration | 0 likes

> So I wound up with
by Abram Demski on Predictable Exploration | 0 likes

RSS

Privacy & Terms