Entretien avec Prof. Alberto Naibo
C'est avec un grand plaisir que la revue Kínesis annonce la publication de l'entretien ci-dessous avec le jeune philosophe italien Alberto Naibo. Actuellement maître de conférences en Logique à l'Université Paris 1 Panthéon-Sorbonne, Alberto a fait ses études de licence et de master en Philosophie à l'Université de Bologne. Arrivé à Paris en 2008, il a soutenu en 2013 une thèse de doctorat intitulée “Le statut dynamique des axiomes : des preuves aux modèles”, sous la direction de Jean-Baptiste Joinet. En 2014, il a été chercheur post-doctoral à l'IHPST (Institut d'Histoire et de Philosophie des Sciences et des Techniques) – dont il est désormais membre permanent – dans le cadre du projet HYPOTHESES – Hypothetical Reasoning: its Proof-Theoretic Analysis. Il anime actuellement, avec Liesbeth de Mol, Maël Pégny et Shahid Rahman, un séminaire d’histoire et de philosophie de l’informatique, en collaboration entre l’IHPST et l’équipe STL (Savoirs, Textes, Langage) de l’Université Lille.