News for hackers. Stuff that matters.

hkjeldsen

> .. but have a hard time believing that can be done via computers.

> I don’t think anyone here disputes the logical possibility

> Much of the skepticism isn't about whether this can be done in theory

The math tells us it cannot be done with computers. Read Penrose.

There is a fundamental reason. Read Penrose on Gödel.