cousin_it comments on Timeless Decision Theory: Problems I Can't Solve
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You'll need to login or register to do that
(Don't worry, it only takes a few seconds)
Create a new account
All it takes is a username and password
Comments (81)
Here's a comment that took me way too long to formulate:
Eliezer, if such reasoning from symmetry is allowed, then we sure don't need your "TDT" to solve the PD!
TDT allows you to use whatever you can prove mathematically. If you can prove that two computations have the same output because their global structures are isomorphic, it doesn't matter if the internal structure is twisty or involves regresses you haven't yet resolved. However, you need a license to use that sort of mathematical reasoning in the first place, which is provided by TDT but not CDT.