Comment on Formalization is a rationality technique

Mon, 09 Mar 2009 19:01:03 GMT

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.

Discuss