Analysis of Penrose's second argument formalised in DTK system (Q6484827)
From MaRDI portal
scientific article; zbMATH DE number 7589385
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analysis of Penrose's second argument formalised in DTK system |
scientific article; zbMATH DE number 7589385 |
Statements
Analysis of Penrose's second argument formalised in DTK system (English)
0 references
21 September 2022
0 references
Penrose's second argument
0 references
Gödel's disjunction
0 references
\textbf{DT} system
0 references
\textbf{DTK} system
0 references
computational model of mind
0 references
