[laichzeit0]

Is the claim by Penrose not that humans can possibly intuit theorems which are true but unprovable (Gödel's first incompleteness theorem) e.g. the Riemann Hypothesis, and thus how could an algorithmic process ever achieve such intuition?

Perhaps this is a Turing test for consciousness. "I can't prove this, but I've been thinking about these theorems [inserts true but unprovable list of theorems] and I think they're true".

[eli_gottlieb]

>Is the claim by Penrose not that humans can possibly intuit theorems which are true but unprovable (Gödel's first incompleteness theorem) e.g. the Riemann Hypothesis, and thus how could an algorithmic process ever achieve such intuition?

A "true but unprovable" Goedel statement is true in standard models of arithmetic but untrue in certain nonstandard models. The "incompleteness" is syntactic, not semantic. The real and complex numbers, AFAIK, only have one model, up to isomorphism.

And sometimes statements are difficult to prove because they're actually independent of the foundational system. Or because a counterexample exists somewhere.

"This problem is unresolved, therefore it's a Goedel Statement within our current foundational system" is extraordinarily unlikely. For one thing, that would imply that we could figure out the axiom we're missing and pass to the stronger system capable of resolving the conjecture straightaway, or that starting from some stronger foundation like homotopy type theory would resolve the conjecture right-away. Most unresolved conjectures are not unresolved for lack of proof-theoretic strength in our foundations.

[dllthomas]

Humans also intuit a whole lot of theorems (loosely speaking) which are false. There is nothing prohibiting an algorithmic process from generating statements which are variously (and, from the POV of the algorithm, indistinguishably) true but unprovable, true and provable, and false.

[SomeStupidPoint]

How do you actually execute the test though?

A test requires that you be able to produce an artifact which is witness to the results -- what could you produce as the result of the test to distinguish between a true, but unprovable theorem and a nearly true theorem with a single (very, very, VERY) large counter-example?