cousin_it comments on Open thread, Aug. 03 - Aug. 09, 2015 - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (177)
Yeah, it's UDT in a logic setting. I've posted about a similar idea on the MIRI research forum here.