= 27d567bc2d48d9f40e9ccc20ea370b15)
John_Maxwell_IV comments on Formalization is a rationality technique - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (21)
Really? Maybe I'm just naive. Could you give me an example of an argument and its formalization?
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.