RichardKennaway comments on Open Thread: August 2009 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (188)
The gold standard of what is a proof and what is not was achieved with the first-order predicate calculus a century ago and has not changed since. Leibniz' dream has been realised in this area. However, no-one troubles to explicitly use the perfect language of mathematical proof and nothing else, except when the act of doing so is the point. It is enough to be able to speak it, and thereafter to use its idioms to the extent necessary to clearly communicate one's ideas.
On the other hand, what proofs or theorems mathematicians find important or interesting will always be changing.