Michael Reitmeir

'AI' in Mathematics

Mon, 01 Jan 0001 00:00:00 +0000

A lot is happening in the world of mathematics. The future of the field seems more uncertain than ever. At a time like this, I think it is of great importance to stay informed and have healthy and thorough discussions among the mathematical community about what we think all of this means for us and where we think things should go from here. This is especially true given the enormity of the companies involved, their clear disregard for the research ethics of our community, and the misinformation and obfuscation introduced by both their humans and their machines. If the situation was hopeless, their propaganda would be unnecessary.

Curriculum Vitae

Mon, 01 Jan 0001 00:00:00 +0000

since October 2025: PhD student at University of Bonn under the supervision of Prof. Dr. Philipp Hieronymi
2023 – 2025: Master’s Mathematics, University of Bonn
- Thesis: Axiomatizations and Decidability of the Group of Integers with Predicates for Powers, supervised by Prof. Dr. Philipp Hieronymi
2020 – 2023: Bachelor’s Mathematics, University of Innsbruck
- Thesis: Universal Embedding Theorems in Combinatorial Game Theory, supervised by Univ-Prof. Dr. Tim Netzer

Talks

Mon, 01 Jan 0001 00:00:00 +0000

Axiomatizations of Presburger Arithmetic With Powers, Research Seminar in Model Theory, Universität Wien, 27. May 2026
Axiomatizing the Universal Theory of Presburger With Powers, GeSAMT – Gemeinsames Seminar Algebra und Modelltheorie, Bonn, 1. Nov 2025

Where else you might have met me #

Trimester Program: Definability, decidability, and computability, Hausdorff Research Institute for Mathematics, Bonn, 1. Sep – 12. Dec 2025; including:
- Introductory School “Definability, Decidability, and Computability”, 15. – 19. Sep
- Workshop “Definability in Number Theory and Arithmetic Geometry”, 20. – 24. Oct
- Conference “Definability and Computability”, 8. – 12. Dec
Algebraic methods in dynamics and particle physics, Max Planck Institute for Software Systems, Saarbrücken, 15. – 17. Oct 2025