army1987 comments on By Which It May Be Judged - LessWrong

35 Post author: Eliezer_Yudkowsky 10 December 2012 04:26AM

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

Comments (934)

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

Comment author: [deleted] 28 December 2012 12:05:56PM 1 point [-]

another big redefining project happened in the early 20th century

ZFC set theory? Peano arithmetics?