logoalt Hacker News

icepushyesterday at 4:01 PM0 repliesview on HN

This is proven. It's known as the halting problem and is the central pillar of computational complexity theory. The proof was invented by Alan Turing and is online.