2 ms·
Given his behavior, I wouldn't believe anything from that guy unless it came with a formalized proof.
by pfdietz 2y ago
Given his behavior, I wouldn't believe anything from that guy unless it came with a formalized proof.
- staunton 2y agoIf you mistrust authors and can't actually rule out someone trying to cheat, checking a formaized proof beyond a reasonable doubt is still a lot of work and needs a huge amount of domain-specific knowledge. An author trying to cheat would try to make everything chaotic and hard to read, as well as hiding subtle flaws in theorem statements.