4 ms·
Many interesting statements aren't a property of the code alone. They're a property of the code when it's run in a particular environment. If you want the proof
by skybrian 1y ago
Many interesting statements aren't a property of the code alone. They're a property of the code when it's run in a particular environment. If you want the proof to be portable then it should only make assumptions that are true in any environment.
- dapperdrake 1y agoNo assumption holds for all environments. Posh example: Axiom of choice.
- naasking 1y agoThere are definitely some assumptions that hold for all environments. For instance, "all resources are finite".