Tyrrell_McAllister comments on Formalization is a rationality technique - Less Wrong

5 Post author: Johnicholas 06 March 2009 08:22PM

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

Comments (21)

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

Comment author: Tyrrell_McAllister 09 March 2009 07:01:03PM 2 points [-]

Good examples of this include the efforts of posters on the newsgroup sci.math to make sense of arguments by math cranks who believe that they've proved the denumerability of the reals or what have you.