Open thread, Nov. 3 - Nov. 9, 2014

MrMind

If it's worth saying, but not worth its own post (even in Discussion), then it goes here.

Notes for future OT posters:

1. Please add the 'open_thread' tag.

2. Check if there is an active Open Thread before posting a new one. (Immediately before; refresh the list-of-threads page before posting.)

3. Open Threads should be posted in Discussion, and not Main.

4. Open Threads should start on Monday, and end on Sunday.

If it's worth saying, but not worth its own post (even in Discussion), then it goes here.

Notes for future OT posters:

1. Please add the 'open_thread' tag.

2. Check if there is an active Open Thread before posting a new one. (Immediately before; refresh the list-of-threads page before posting.)

3. Open Threads should be posted in Discussion, and not Main.

4. Open Threads should start on Monday, and end on Sunday.

What is the current status on formalizing timeless decision theory? I am new to LW, and have a mathematics background and would like to work on decision theory (in the spirit of LW). However, all I can find is some old posts (2011) of Eliezer saying that write ups are in process, as well as a 120 page report by Eliezer from MIRI which is mostly discussing TDT in words as well as the related philosophical problems. Is there a formal self contained definition of TDT out there?

Conveniently, So8res just posted a guide discussing this very issue in section 6.

7Artaxerxes12y

Here is a page of all of MIRI's publications, you can click Decision Theory and it will show all of the relevant papers. It might not be quite what you're looking for, but it might help with working out what MIRI are up to and what they have done in the area. There might also be something in the rough workshop writeups. If I were you, once I had exhausted online resources, I would consider contacting MIRI themselves (via email perhaps) if I had any more questions, they're definitely the people to ask.