3 ms·

So your nitpick is just that you'd describe the mistake differently? Ok. The consequences are exactly the same. Once you express what the humans actually thoug

So your nitpick is just that you'd describe the mistake differently? Ok. The consequences are exactly the same. Once you express what the humans actually thought they were getting the proof engine says "No".

pritambaral 3y ago
> Once you express what the humans actually thought ... >> I'm not arguing that mathematical proofs are infallible to modeling inaccuracies, or that ...