Penrose's new argument

DOI10.1023/A:1017595530503zbMath0989.03010MaRDI QIDQ5935793

No author found.

Publication date: 26 June 2001

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

formal systemGödel's first incompleteness theoremhuman mathematical reasoning

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (2)

Remarks on Penrose's ``new argument ⋮ Mechanism, truth, and Penrose's new argument

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Incompleteness, Mechanism, and Optimism

This page was built for publication: Penrose's new argument