claim
John Lucas and Roger Penrose argue that human intellect encompasses truths that no formal or computational system can derive, a position they support by drawing on Gödel’s Second Incompleteness Theorem.

Authors

Sources

Referenced by nodes (1)