Hacker News new | ask | show | jobs
by Dylan16807 1036 days ago
The kind of ultra-shoddy "construction" you get from "Here is an impossible to build machine that would give us the proof" would still not get you a demonstration. It would still be something we don't have the algorithm for.