So8res comments on Tiling Agents for Self-Modifying AI (OPFAI #2) - Less Wrong

55 Post author: Eliezer_Yudkowsky 06 June 2013 08:24PM

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

Tags: math godel lob opfai

Comments (260)

Sort By: Best

Show:

You are viewing a single comment's thread.

Comment author: So8res 06 June 2013 03:47:13PM * 5 points [-]

Page 14, Remarks. Typo:

Remarks. Although T_0 is slightly more powerful than T_1 in the sense that T_0 can prove certain exact theorems which T_0 cannot...

This should be "T_0 can prove certain exact theorems which T_1 cannot".