The G ödelian Arguments represent the effort done to interpret G ödel's Incompleteness Theorems in order to show that minds cannot be explained in purely mechanist terms. With the purpose of proving the limits of mechanistic theses and investigate aspects of the Church- Turing Thesis, several results obtained in the formal setting of Epistemic Arithmetic (EA) reveal the relation among different properties of knowledge of machines, including self-awareness of knowledge and factivity of knowledge. We discuss the main principles behind the Gödelian Arguments and extend the results obtained in EA. In particular, we define a machine that, in a specific case, knows its own code and the factivity of its own knowledge, thus providing new insights for the analysis of the G ödelian Arguments.

Do the Self-Knowing Machines Dream of Knowing Their Factivity?

ALDINI, ALESSANDRO;FANO, VINCENZO;GRAZIANI, PIERLUIGI
2015-01-01

Abstract

The G ödelian Arguments represent the effort done to interpret G ödel's Incompleteness Theorems in order to show that minds cannot be explained in purely mechanist terms. With the purpose of proving the limits of mechanistic theses and investigate aspects of the Church- Turing Thesis, several results obtained in the formal setting of Epistemic Arithmetic (EA) reveal the relation among different properties of knowledge of machines, including self-awareness of knowledge and factivity of knowledge. We discuss the main principles behind the Gödelian Arguments and extend the results obtained in EA. In particular, we define a machine that, in a specific case, knows its own code and the factivity of its own knowledge, thus providing new insights for the analysis of the G ödelian Arguments.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11576/2628549
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact