Analysis of Penrose's second argument formalised in DTK system
From MaRDI portal
Publication:6484827
DOI10.12775/LLP.2021.019zbMath1530.03023MaRDI QIDQ6484827
Antonella Corradini, Sergio Galvan
Publication date: 21 September 2022
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
Gödel's disjunction\textbf{DT} system\textbf{DTK} systemcomputational model of mindPenrose's second argument
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)
This page was built for publication: Analysis of Penrose's second argument formalised in DTK system