Eliezer Yudkowsky comments on Tiling Agents for Self-Modifying AI (OPFAI #2)

[Eliezer Yudkowsky]

The paper on probabilistic reflection in logic is non-constructive, but that’s only sec. 4.3 of the Lob paper. Nothing non-constructive about T-n or TK.