Warning: Some posts on this platform may contain adult material intended for mature audiences only. Viewer discretion is advised. By clicking ‘Continue’, you confirm that you are 18 years or older and consent to viewing explicit content.
Adding “mathematically/algorithmically” in front of the word “prove” as if it were always implicitly there, and suggesting that it’s the only way we should be using the word “prove” seems pretty darned pedantic to me.
Adding “mathematically/algorithmically” in front of the word “prove” as if it were always implicitly there, and suggesting that it’s the only way we should be using the word “prove” seems pretty darned pedantic to me.
We’re describing the behavior of software. It must be implicitly included. Software cannot do anything that isn’t algorithmic.