Peterdjones comments on Second-Order Logic: The Controversy - LessWrong

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)

Sort By: Best

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

Comment author: Peterdjones 05 January 2013 02:13:34PM 3 points [-]

Utlrafrinitists tend no to specfify the highest number, to prevent people adding one to it.

Comment author: Larks 05 January 2013 09:31:31PM 2 points [-]

Hence "may not"