Main
- Posts
- Comments
Discussion
- Posts
- Comments

orthonormal comments on An Introduction to Löb's Theorem in MIRI Research - Less Wrong

16 Post author: orthonormal 23 March 2015 10:22PM

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

Article Navigation

CC Licenced

Tags: math decision_theory udt

Comments (27)

Sort By: Top

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

Comment author: orthonormal 26 March 2015 06:36:48PM 4 points [-]

Thanks! I'll try and work that into the introduction.