RobinZ comments on Open Thread June 2010, Part 4 - 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 (325)
I see no contradiction between these interpretations. :P
If they're never absolutely true (your interpretation), how can they ever be absolutely true (my interpretation)?
I said mathematical proofs aren't absolute because mathematical proofs and refutations are subject to philosophical, linguistic debate - argument about whether the proof fits the concept being played with, argument which can result in (for example) proof-constructed definitions. During this process, one might say that the original proof or refutation is correct, but no longer appropriate, or that the original proof is incorrect. Neither statement implies different behavior.