Tyrrell_McAllister comments on Evidential Decision Theory, Selection Bias, and Reference Classes - Less Wrong

19 Post author: Qiaochu_Yuan 08 July 2013 05:16AM

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

Comments (127)

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

Comment author: Tyrrell_McAllister 09 July 2013 07:34:58PM *  2 points [-]

I wrote a brief mathematical write-up of "bare bones" UDT1 and UDT1.1. The write-up describes the version that Wei Dai gave in his original posts. The write-up doesn't get into more advanced versions that invoke proof-length limits, try to "play chicken with the universe", or otherwise develop how the "mathematical intuition module" is supposed to work.

Without trying to make too much of the analogy, I think that I would describe TDT as "non-naive" CDT, and UDT as "non-naive" EDT.

Comment author: Qiaochu_Yuan 09 July 2013 09:17:42PM 1 point [-]

In this writeup it really seems like all of the content is in how the mathematical intuition module works.

Comment author: Tyrrell_McAllister 09 July 2013 11:34:25PM 0 points [-]

This is not much of an exaggeration. Still, UDT basically solves many toy problems where we get to declare what the output of the MIM is ("Omega tells you that ...").