6 ms·
Which means that the first two assumptions are wrong, leading us to conclude that there exist minimal perfect programs for every specification.
by anonymous 13y ago
Which means that the first two assumptions are wrong, leading us to conclude that there exist minimal perfect programs for every specification.
- Falling3 13y agoNo. If we negative dorfsmay's premises, it still does not lead to your conclusion.
- dmoney 13y agoThere's a bug in this zero-byte program: the other program might not leave its memory in a correctly runnable state when it shuts down.
- dorfsmay 13y agoQ.E.D.!!!
- nathan_long 13y agoThe issue is whether "any program out there" is taken to mean "any existing" or "any possible". It may be true that no programs actually exist that couldn't be shorter or more correct (though I doubt it), but one would reach a minimum length and bugginess eventually.