Levin Hornischer
Assistant professor
MCMP, LMU Munich
Ludwigstr. 31 (room 123)
80539 Munich
Germany
Welcome to my website! I’m an assistant professor at the Munich Center for Mathematical Philosophy (MCMP) at LMU Munich.
My research and teaching is mostly on the mathematical and philosophical foundations of artificial intelligence.
I’m also interested in related disciplines such as theoretical computer science, dynamical systems theory, mathematical logic, philosophical logic, philosophy of language, and epistemology.
Before coming to Munich, I was a postdoc at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. There, I also obtained my PhD with a dissertation on Dynamical Systems via Domains, supervised by Michiel van Lambalgen (Amsterdam) and Franz Berto (St Andrews). The project was funded by my NWO grant on Foundations of Analogical Thinking.
news
| Oct 15, 2025 | I’m honored to have received a shared second prize in the Kurt Gödel Award 2025 for my essay with the title “A Stability Interpretation of Gödel”. |
|---|---|
| Oct 11, 2025 | New prerint ‘Universal Analog Computation: Fraïssé limits of dynamical systems’. |
| Sep 12, 2025 | My paper ‘Robustness and Trustworthiness in AI: A No-Go Result From Formal Epistemology’ got accepted at Synthese. More details here soon. |
| May 21, 2025 | New preprint with Hannes Leitgeb on Explaining Neural Networks with Reasons. |
| Mar 05, 2025 | Shawn Standefer (National Taiwan University) and I have been awarded funding from the NTU-LMU Joint Seed Funding for the project “Synonomy in AI”. The project is about bridging Large Language Models and Formal Semantics, focusing on the concept of synonymy. Very much looking forward to it! |
latest posts
| Sep 01, 2024 | How Random Is the Random Graph? |
|---|---|
| May 31, 2024 | The No-Free-Lunch Theorem and Sheaf-Contextuality |
| May 18, 2024 | Welcome! |