4 ms·
I suppose they mean what's commonly accepted as true and can be referred to as truths. No one can read all the proofs, so they have to trust others who have. Th
by karmakurtisaani 4y ago
I suppose they mean what's commonly accepted as true and can be referred to as truths. No one can read all the proofs, so they have to trust others who have. There was that one example where a mathematician "proved" something terribly complicated using his own methods and terminology developed over several years. The truth value of that kind of proof is very much a social construct.
- Agingcoder 4y agoYes, mochizuki and the abc conjecture. It was an interesting conundrum : he was a really good mathematician, not a crank so his funky proof couldn't be dismissed. However, people were wary of approaching the proof since it was risky career wise (it takes time, etc). You end up with a weird situation where something is probably true, but you won't know that until a trusted group of mathematicians have read it and said so.