# Penrose–Lucas argument

> Claim that human mathematicians are not describable as formal proof systems

**Wikidata**: [Q60740314](https://www.wikidata.org/wiki/Q60740314)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Penrose–Lucas_argument)  
**Source**: https://4ort.xyz/entity/penrose-lucas-argument


## References

1. [Source](https://cir.nii.ac.jp/crid/1571417124641300608)
2. [Source](https://direct.mit.edu/books/edited-volume/3387/chapter-abstract/112221/Turing-versus-Godel-on-Computability-and-the-Mind?redirectedFrom=PDF)
3. Computing Machinery and Intelligence
4. [Source](https://www.researchgate.net/publication/226972401_Alan_Turing_and_the_Mathematical_Objection)
5. Minds, Machines and Gödel
6. The Emperor's New Mind
7. Shadows of the Mind