How reliable math proofs are is pretty tangential to my argument above - I don't actually have any attachment there not being any fudging modern math proofs - notice I said "fraud might be" made impossible in these fields.
That said, a tool like coq will deal with any inaccuracies as things good forward. Some portion of math has supposedly been verified with it.
But, of course, I haven't run the program, just read about it. So still - no dog in that particular race.
That said, a tool like coq will deal with any inaccuracies as things good forward. Some portion of math has supposedly been verified with it.
But, of course, I haven't run the program, just read about it. So still - no dog in that particular race.
https://en.wikipedia.org/wiki/Coq