Hilbert's "twenty-fourth problem": proof and mathematical simplicity

Research Team

  • Martin Fisher
    Researcher
  • Costanza Larese
  • Caterina Sisti
  • Nicolò Vio
  • Carlo Nicolai (King's College University of London),
  • Marco Pedicini (Università di Roma Tre)
  • Gabriele Pulcini (Universidade Nova de Lisboa)

Conferenze internazionali

“Partial truths in classical logic”.1st SNS Pisa-MCMP-Meeting. Munich Center for Mathematical Philosophy (MCMP), Munich, 27 maggio 2019

“A New Approach to Proof-Theoretic Semantics for Classical Logic”. Conference “Proof-Theoretic Semantics. Assessment and Future Perspectives”. Third Tübingen Conference on Proof-Theoretic Semantics, 28 marzo 2019.

Matematica e Filosofia. Per un nuovo percorso formativo, Università di Salerno, Fisciano 6-8 giugno 2018.

Convegno FilMat (membro del comitato scientifico) Philosophy of mathematics: objects, structures, and logics, Mussumeli, Sicila, 25-27 Maggio 2018.

Summer school

History and philosophy of logic (AILA Summer School, Gargnano, agosto 2019).

“Fractional Semantics for Classical Logic” (con G. Pulcini), The Review of Symbolic Logic, Cambridge University Press, pp. 1-19 2019.

“Abstract Machines, Optimal Reduction, and Streams” (con A. Lai, M. Pedicini), Mathematical Structures in Computer Science, Cambridge University Press, 2019, pp.1-32.

“A New Approach to Proof-Theoretic Semantics for Classical Logic” (con G. Pulcini) in T. Piecha, P. Schroeder-Heister (eds.), Proof-theoretic Semantics. Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019. University of Tübingen, 2019, pp. 253-266.

“What does Arrow’s information paradox say (to philosophers)” (con M. Pedicini) in M. V. d’Alfonso and D. Berkich, On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence, Philosophical Studies Series 134, Springer, pp. 83-94.