> .. 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…
There is a fundamental reason. Read Penrose on Gödel.
> .. 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…
There is a fundamental reason. Read Penrose on Gödel.