3 ms·
This is being downvoted, but I'd like an explanation of what the alternative is. Can someone to explain how this result differs from a claim "I can build a comp
by tgb 11y ago
This is being downvoted, but I'd like an explanation of what the alternative is. Can someone to explain how this result differs from a claim "I can build a computer which turns a light on when a given program terminates, so therefore 'light on-ness' is undecidable".
- lmm 11y agoWhether a light is on or off is contingent. This is more like proving the light would always be on as a fundamental fact of basic physics. Even if it were done by showing that the existence of a computer connected to the light, proving that from first physical principles would be a big achievement.