It is not the case that Gödel argued that human mathematical intuition allows recognition of truths no formal system can prove, suggesting minds exceed Turing-machine capacities.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.