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 ChurchTuring Thesis, several results obtained in the formal setting of Epistemic Arithmetic (EA) reveal the relation among different pro...
