Eine 1968 eingereichte Doktorarbeit an der Stanford University unter der Betreuung von Dana Scott markierte den Beginn einer Forschungskarriere, die die Anwendung der Modelltheorie auf die Algebra und die Zahlentheorie neu definierte. Angus Macintyre, ein britischer Mathematiker, erzielte grundlegende Ergebnisse in der geometrischen Stabilitätstheorie und der p-adischen Körperanalysis, die jahrzehntelange mathematische Forschungen prägten.
Akademische Positionen
Seine Karriere umfasste eine langjährige Tätigkeit an der Yale University von 1973 bis 1985. Anschließend war er von 1985 bis 1999 Professor für Mathematische Logik am Merton College der University of Oxford. Danach hatte er Positionen an der University of Edinburgh und der Queen Mary University of London inne. Zudem war er der erste wissenschaftliche Direktor des International Centre for Mathematical Sciences in Edinburgh.
Modelltheorie und algebraische Grundlagen
1971 klassifizierte Macintyre aleph-eins-kategorische Theorien von Gruppen und Körpern und schuf damit einen Rahmen für die geometrische Stabilitätstheorie. Bis 1976 bewies er einen Quantoreneliminationssatz für p-adische Körper. Diese Arbeit ermöglichte Entwicklungen in der semialgebraischen und subanalytischen Geometrie, die Jan Denef später anwandte, um die Rationalität p-adischer Poincaré-Reihen zu beweisen. Seine Forschung dehnte sich ferner auf Differenzenkörper, Frobenius-Automorphismen und Schnitttheorie aus, wobei er modelltheoretische Methoden mit den Standardvermutungen über algebraische Zyklen verknüpfte.
Exponentiation und O-Minimalität
Zusammenarbeiten mit Alex Wilkie, Lou van den Dries und David Marker ermöglichten es Macintyre, komplexe Probleme der transzendenten Zahlentheorie anzugehen. Mit Wilkie bewies er die Entscheidbarkeit reeller Exponentialkörper unter der Bedingung der Schanuellschen Vermutung. Neben van den Dries und Marker untersuchte er die Modelltheorie des reellen Körpers mit eingeschränkten analytischen Funktionen, womit er ein Fundament für Studien zur O-Minimalität und diophantischen Geometrie schuf. Seine Arbeit berührt auch die VC-Dimension mit Anwendungen in der theoretischen Informatik und in neuronalen Netzen.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Jüngste Beiträge und berufliche Anerkennung
Macintyre hat sich kontinuierlich mit der theoretischen Struktur von Zahlkörpern beschäftigt. In Zusammenarbeit mit Jamshid Derakhshan entwickelte er eine Modelltheorie für den Adelenring und erweiterte damit die grundlegenden Arbeiten von Solomon Feferman und Robert Vaught. Im Jahr 2023 lösten Derakhshan und Macintyre ein 1968 von James Ax aufgeworfenes Entscheidungsproblem bezüglich der Theorie endlicher Körper positiv. Macintyre ist Fellow der Royal Society und der Royal Society of Edinburgh. Er erhielt 2003 den Pólya-Preis und war von 2009 bis 2011 Präsident der London Mathematical Society.
Kurzbiografie
- Geboren: 1941 - Staatsbürgerschaft: Vereinigtes Königreich - Doktorvater: Dana Scott - Gödel-Lecturer: 1993 - Fellow der Royal Society: Gewählt 1993 - Pólya-Preis: 2003 - LMS-Präsident: 2009–2011
Häufig gestellte Fragen
### Was ist Macintyres Hauptarbeitsgebiet?
Er ist ein Mathematiker und Logiker, der sich auf Modelltheorie und deren Anwendungen in Algebra, algebraischer Geometrie und Zahlentheorie spezialisiert hat.
### Welches bedeutende mathematische Problem löste er im Jahr 2023?
Gemeinsam mit Jamshid Derakhshan bewies er die Entscheidbarkeit der Klasse aller Z/mZ und löste damit eine Vermutung von James Ax aus dem Jahr 1968.
