JoshuaZ comments on Second-Order Logic: The Controversy - Less Wrong

24 Post author: Eliezer_Yudkowsky 04 January 2013 07:51PM

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

Comments (188)

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

Comment author: JoshuaZ 24 March 2015 10:56:39AM 0 points [-]

Ok. By that definition, yes these are the same thing. I don't think this is a standard notion of what people mean by infinite loop though.