3 ms·
The title seems to suggest that software or computer programs are provable. They are not. Programs or algorithms only guarantee that they can go from one state
by senthil_rajasek 6y ago
The title seems to suggest that software or computer programs are provable. They are not.
Programs or algorithms only guarantee that they can go from one state to another state.
Somehow computer programs have been conflated with relability and proof possibly because of close adjacency to mathematics.