alt Hacker News"Sound" means free of contradiction with respect to the axioms assumed.
If you can derive a contradiction using his methods of computation I would study that with interest.
By "sound" I do not mean provably sound. I mean I have not seen a proof of unsoundness yet.
Replies
kstrauser • today at 7:22 PM
> "Sound" means free of contradiction with respect to the axioms assumed.
Gödel wept.
To clarify:
“Sound” != proof of soundness in the same way that the Riemann Hypothesis being true is not the same as RH being proven.