| ▲ | fn-mote 2 hours ago | |
To clarify: “Sound” != proof of soundness in the same way that the Riemann Hypothesis being true is not the same as RH being proven. | ||
| ▲ | srean 2 hours ago | parent [-] | |
Not a bad analogy. Damn good. | ||
| ▲ | fn-mote 2 hours ago | |
To clarify: “Sound” != proof of soundness in the same way that the Riemann Hypothesis being true is not the same as RH being proven. | ||
| ▲ | srean 2 hours ago | parent [-] | |
Not a bad analogy. Damn good. | ||