Pierluigi Graziani

Learn More
A crucial concern of early-modern geometry was that of fixing appropriate norms for deciding whether some objects, procedures, or arguments should or should not be allowed in it. According to Bos, this is the exactness concern. I argue that Descartes' way to respond to this concern was to suggest an appropriate conservative extension of Euclid's plane(More)
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)(More)
  • 1