Analysis of Penrose's second argument formalised in DTK system (Q6484827): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 14:31, 28 November 2024
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
