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?
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.
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.
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.
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.