Papers

- Beccuti F. (2018) "La disgiunzione di Gödel",
*Analytical and Philosophical Explanations*XVIII (accepted, to appear shortly). - Beccuti F. (2018) "La finitezza del mondo rispetto al tempo nella Critica della Ragion Pura",
*RIFAJ*IX, University of Milan (accepted, to appear) - Beccuti F. (201?) "Mechanism cornered: a note on the Gödelian argument"(under review).

Talks

- (2018) "Intuition and higher mathematical cognition" at the Mathematical Cognition and Learning Society Conference, University of Oxford (Chair: Aaron Sloman).
- (2017) "The philosophical consequences of Gödel's incompleteness theorems", seminar at the University of Udine (Chair: Furio Honsell).

Work in progress

- Learning mathematics through cognitive conflicts.
- Cognitive knowledge of mathematical axioms and its relation to Turing's notion of intuition.
- Stretching the triangle. This note was inspired to me by Aaron Sloman's work on deforming triangles and its relation to open problems in artificial intelligence.

Theses

- "Intersection types and the inhabitation problem", University of Oxford (Supervision: Luke Ong).
- "La coerenza relativa dell'assioma di scelta", University of Turin (Supervision: Alessandro Andretta).