dxu comments on New forum for MIRI research: Intelligent Agent Foundations Forum - Less Wrong

36 Post author: orthonormal 20 March 2015 12:35AM

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

Article Navigation

Comments (43)
Tags: research fai corrigibility decision_theory udt tdt logic math iaff miri

Comments (43)

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

Comment author: dxu 19 March 2015 10:47:44PM 6 points [-]

How about

Examples of subjects that are off-topic (and which moderators might close down) include [...] anything that cannot (yet) be usefully formalized or modeled mathematically, unless you are talking specifically about how to formalize said area.

Powered by Reddit Powered by Reddit