Stanford Üniversitesinde Dana Scott'ın danışmanlığında 1968 yılında tamamlanan bir doktora tezi, model teorisinin cebir ve sayı teorisine uygulanmasını yeniden tanımlayan bir araştırma kariyerinin başlangıcı oldu. İngiliz bir matematikçi olan Angus Macintyre; geometrik kararlılık teorisinde ve p-sel cisim analizinde, sonraki onlarca yıllık matematiksel araştırmayı etkileyen temel sonuçlar ortaya koydu.
Akademik Görevler
Kariyeri, 1973'ten 1985'e kadar Yale Üniversitesinde uzun süreli bir dönemi kapsadı. Ardından 1985 ile 1999 yılları arasında Oxford Üniversitesi Merton College'da Matematiksel Mantık Profesörü olarak görev yaptı. Bunu takiben Edinburgh Üniversitesi ve Queen Mary University of London'da pozisyonlar üstlendi. Ayrıca Edinburgh'daki Uluslararası Matematiksel Bilimler Merkezi'nin ilk Bilimsel Direktörü olarak görev yaptı.
Model Teorisi ve Cebirsel Temeller
1971'de Macintyre, grup ve cisimlerin alef-bir kategorik teorilerini sınıflandırarak geometrik kararlılık teorisi için bir çerçeve sağladı. 1976 yılına gelindiğinde, p-sel cisimler için bir niceleyici eliminasyonu teoremini kanıtladı. Bu çalışma, Jan Denef'in daha sonra p-sel Poincaré serilerinin rasyonelliğini kanıtlamak için uyguladığı yarı-cebirsel ve yarı-analitik geometrideki gelişmeleri mümkün kıldı. Araştırmaları ayrıca fark cisimlerine, Frobenius otomorfizmlerine ve kesişim teorisine kadar genişleyerek model teorik yöntemleri cebirsel döngüler üzerindeki standart varsayımlarla bağladı.
Üstel Fonksiyonlar ve O-Minimallik
Alex Wilkie, Lou van den Dries ve David Marker ile yapılan iş birlikleri, Macintyre'ın aşkın sayı teorisindeki karmaşık problemleri ele almasını sağladı. Wilkie ile birlikte, Schanuel varsayımına bağlı olarak reel üstel cisimlerin karar verilebilirliğini kanıtladı. Van den Dries ve Marker ile birlikte, sınırlı analitik fonksiyonlara sahip reel cismin model teorisini inceleyerek o-minimallik ve Diyofant geometrisi çalışmaları için bir temel oluşturdu. Çalışmaları ayrıca teorik bilgisayar bilimlerinde ve yapay sinir ağlarında uygulamalar üreten VC-boyutuna da uzanmaktadır.
Son Katkıları ve Mesleki Tanınırlık
Macintyre, sayı cisimlerinin teorik yapısıyla sürekli olarak ilgilenmiştir. Jamshid Derakhshan ile iş birliği yaparak adele halkası için bir model teorisi geliştirdi ve Solomon Feferman ile Robert Vaught'un temel çalışmalarını genişletti. 2023 yılında Derakhshan ve Macintyre, James Ax tarafından sonlu cisimler teorisi üzerine 1968 yılında ortaya atılan bir karar problem السود olumlu bir şekilde çözdü. Macintyre, Royal Society ve Edinburgh Royal Society üyesidir. 2003 yılında Pólya Ödülü'nü aldı ve 2009'dan 2011'e kadar Londra Matematik Derneği'nin başkanlığını yürüttü.
Hızlı Bilgiler
- Doğum: 1941 - Vatandaşlık: Birleşik Krallık - Doktora Danışmanlığı: Dana Scott - Gödel Konuşmacısı: 1993 - Royal Society Üyesi: 1993'te seçildi - Pólya Ödülü: 2003 - LMS Başkanı: 2009–2011
Okuyucuların sorduğu sorular
### Macintyre'ın temel uzmanlık alanı nedir?
Model teorisi ve bunun cebire, cebirsel geometriye ve sayı teorisine uygulanması konusunda uzmanlaşmış bir matematikçi ve mantıkçıdır.
### 2023 yılında hangi büyük matematiksel problemi çözdü?
Jamshid Derakhshan ile çalışarak tüm Z/mZ sınıfının karar verilebilirliğini kanıtladı ve James Ax'in 1968 tarihli bir varsayımını çözüme kavuşturdu.
