Pillars of Enduring Strength

Laura Crosilla is a Researcher at the Department of Philosophy, University of Florence. She was previously a senior researcher and Marie Sklodowska-Curie fellow at IFIKK, University of Oslo. She has held positions in Mathematics and Philosophy at the University of Birmingham, LMU Munich, the University of Florence and the University of Leeds. She has a PhD in Mathematical Logic and a PhD in Philosophy. Her research is mainly in Philosophy of Mathematics, Logic and Philosophy of Logic.Øystein Linnebo is a Professor of Philosophy at the University of Oslo. He was previously a Professor in the Department of Philosophy at Birkbeck College and a Lecturer and then Reader in Philosophy at the University of Bristol. He obtained a PhD from the Department of Philosophy at Harvard University in 2002 and an MA in Mathematics at the University of Oslo in 1996. His main research interests are in the philosophy of logic and mathematics, metaphysics, and the philosophy of science.MichaelRathjen is a Professor of Mathematics at the University of Leeds. He received his Ph.D. in 1988 and Habilitation in 1992 from the University of Münster. After teaching at the Ohio State University in Columbus (1991-1993), he became a Heisenberg Fellow of the German Science Foundation. In 1996, he joined the Mathematics Department of the University of Leeds. From 2002 to 2006, he was a Professor of Mathematics at the Ohio State University. His research interests include proof theory (especially ordinal analysis of impredicative theories), explicit mathematics, type theory, higher type computability, constructive and intuitionistic set theories, alternative set theories, and the philosophy of mathematics.