Archive of Author | Carolin Antos & Balthasar Grabmayr

Articles with Carolin Antos & Balthasar Grabmayr


AI could transform mathematics, but humans will still need to be in the loop

Carolin Antos has been assistant professor for Theoretical Philosophy at the University of Konstanz since 2018. She works at the interface of philosophy, mathematics and logic, having studied all three at the Universities of Erlangen, Frankfurt am Main, Venice and Vienna.
She received her doctorate in mathematical logic at the Kurt-Gödel-Research Center (University of Vienna) in 2015. After coming to Konstanz with a Marie-Curie Grant, she has been a member of the Institute for Advanced Studies at the University of Konstanz.
She received a Freigeist-Fellowship of the VolkswagenFoundation in 2018 and has since been leading her own research group at the Department of Philosophy. Her work is in philosophy of mathematics, philosophy of science and epistemology.

Balthasar Grabmayr is a Junior Professor of Philosophy at Tübingen University. Before that he was an Azrieli International Postdoctoral Fellow in the Department of Philosophy at the University of Haifa and concurrently held a postdoctoral position at the Blavatnik School of Computer Science at Tel Aviv University. He received his PhD in Philosophy from Humboldt University of Berlin. His research mostly focuses on logic and the philosophies of logic, mathematics and computation.