It occurred to me when I was reading the original post, but I was inspired to post it here mostly as a me-too to your line:
We can’t even do formal mathematics without significant and ineradicable risk in the final proof
That is, reinforcing that everything has some “ineradicable risk”.
It occurred to me when I was reading the original post, but I was inspired to post it here mostly as a me-too to your line:
That is, reinforcing that everything has some “ineradicable risk”.