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.
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.