Paolo Mancosu

(Ph.D., Stanford University). His interests lie in the philosophy of mathematics and its history, in philosophy of logic, and in mathematical logic. His written work is currently focused upon neologicism, the philosophy of mathematical practice, and mathematical infinity. Among his recent publications are: with S. Galvan and R. Zach, “An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs”, (Oxford University Press, Oxford, 2021)”(“Shoenfield Prize 2022”); with M. Mugnai “Syllogistic Logic and Mathematical Proof”, (Oxford University Press, 2023); “In the KGB’s Crosshairs. New Soviet documents on the Pasternak and Ivinskaya cases” (WriteUP, Rome, 2024); and “The Wilderness of the Infinite. Robert Grosseteste, William of Auvergne and Mathematical Infinity in the Thirteenth century” (OUP, in press).