4 ms·
This contradicts Murphy’s theorem, that if something can go bad it will go bad with asymptotic probability one.
by credit_guy 3y ago
This contradicts Murphy’s theorem, that if something can go bad it will go bad with asymptotic probability one.
- falcor84 3y agoWell, if the program is operating a business-critical function, then having it halt is bad.
- zeroonetwothree 3y agoI would say it’s consistent since something going bad can often mean halting
- klyrs 3y agoNo, Murphy says that despite having a vanishingly small probability, somebody will toss an undecidable problem into your non-halting oracle.