The Algebra Group at TU Wien
The Algebra Group is the Forschungsbereich 1 (research unit 1, FB1) of the Institute of Discrete Mathematics and Geometry, established in 2004.
Our research interests lie in Universal Algebra and applications to Constraint Satisfaction Problems.
On this site you can find:
- The list of our current and past members.
- The list of our research grants.
We participate in the Algebra Seminar.
FWF Emerging Fields Funding for Michael Pinsker
We are delighted to announce that the project Uncovering the Axioms of Mathematics (UnAxiMa) has been selected for funding by the FWF Emerging Fields programme! The project led by Michael Pinsker jointly with Juan Aguilera (TU Wien), Vera Fischer (University of Vienna), Laura Kovacs (TU Wien), Sandra Müller (TU Wien), and Georg Schiemer (University of Vienna), has been rewarded a total funding volume of €7 million, with €4.7 million allocated to TU Wien, and a duration of five years.
Copyright: Paul Bauer
UnAxiMa integrates mathematics, computer science, and philosophy to explore one of the most fundamental questions in science: What should the rules of mathematics be? This question was first examined over a century ago by the Vienna Circle, a group of leading philosophers and scientists. Their work culminated in Gödel’s Incompleteness Theorems, a landmark achievement in the foundations of mathematics, revealing the existence of questions that cannot be resolved within the established rules of the discipline. Building on this legacy and enriched by contemporary developments such as computation and artificial intelligence, UnAxiMa revisits the phenomenon of incompleteness from a modern perspective, with the aim of uncovering the axioms of mathematics.