4 ms·
What does a standard programming language being unsound even imply? It’s not being used for theorem proving, so how is it of consequence?
by carnitine 4y ago
What does a standard programming language being unsound even imply? It’s not being used for theorem proving, so how is it of consequence?
- fabianhjr 4y agoThat it can produce contradictory results, if you have contradictions then at least one must be in error which means that following the language construction rules can produce erroneous results.
- UncleMeat 4y agoYou could imagine a semantics that produces different results depending on the order of inference rules.