עבודת דוקטורט משנת 1968 באוניברסיטת סטנפורד, בהנחיית דנה סקוט (Dana Scott), סימנה את תחילתה של קריירה מחקרית שהגדירה מחדש את היישום של תורת המודלים באלגברה ובתורת המספרים. אנגוס מקינטייר, מתמטיקאי בריטי, ביסס תוצאות יסודיות בתורת היציבות הגיאומטרית ובאנליזה של שדות p-אדיים, שהשפיעו על עשורים של מחקר מתמטי לאחר מכן.
מינויים אקדמיים
הקריירה שלו כללה תקופת כהונה ממושכת באוניברסיטת ייל בין השנים 1973 ל-1985. לאחר מכן כיהן כפרופסור ללוגיקה מתמטית במרטון קולג', אוניברסיטת אוקספורד, בין השנים 1985 ל-1999. בהמשך, החזיק במשרות באוניברסיטת אדינבורו ובאוניברסיטת קווין מרי בלונדון. הוא גם שימש כמנהל המדעי הראשון של המרכז הבינלאומי למדעי המתמטיקה באדינבורו.
תורת המודלים ויסודות אלגבריים
בשנת 1971 סיווג מקינטייר תיאוריות קטגוריות אלף-אפס של חבורות ושדות, ובכך סיפק מסגרת לתורת היציבות הגיאומטרית. עד שנת 1976 הוא הוכיח משפט אלימינציית כמתים עבור שדות p-אדיים. עבודה זו אפשרה התפתחויות בגיאומטריה סמי-אלגברית וסוב-אנליטית, שיאן דנף (Jan Denef) יישם מאוחר יותר כדי להוכיח את הרציונליות של סדרות פואנקרה p-אדיות. מחקרו התרחב עוד לשדות הפרש, אוטומורפיזמי פרובניוס ותורת החיתוכים, שם הוא חיבר שיטות מתורת המודלים להשערות הסטנדרטיות על מחזורים אלגבריים.
העלאה בחזקה ו-O-מינימליות
שיתופי פעולה עם אלכס וילקי (Alex Wilkie), לו ואן דן דריס (Lou van den Dries) ודייוויד מרקר (David Marker) אפשרו למקינטייר להתמודד עם בעיות מורכבות בתורת המספרים הטרנסצנדנטיים. יחד עם וילקי, הוא הוכיח את הכריעות של שדות אקספוננציאליים ממשיים, בהתבסס על השערת שאנואל. לצד ואן דן דריס ומרקר, הוא חקר את תורת המודלים של השדה הממשי עם פונקציות אנליטיות מצומצמות, ובכך יצר בסיס למחקרים ב-O-מינימליות ובגיאומטריה דיופנטית. עבודתו נוגעת גם במימד VC, מה שהניב יישומים במדעי המחשב התיאורטיים וברשתות עצביות.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →תרומות אחרונות והכרה מקצועית
מקינטייר עסק בעקביות במבנה התיאורטי של שדות מספרים. בשיתוף פעולה עם ג'אמשד דראקשאן (Jamshid Derakhshan), הוא פיתח תורת מודלים עבור חוג האדלים, בהרחיבו את עבודת היסוד של סולומון פפרמן (Solomon Feferman) ורוברט ווט (Robert Vaught). בשנת 2023 פתרו דראקשאן ומקינטייר בחיוב בעיית הכרעה משנת 1968 שהציג ג'יימס אקס (James Ax) בנוגע לתיאוריה של שדות סופיים. מקינטייר הוא עמית בחברה המלכותית ובחברה המלכותית של אדינבורו. הוא קיבל את פרס פויה (Pólya Prize) בשנת 2003 וכיהן כנשיא האגודה המתמטית של לונדון בין השנים 2009 ל-2011.
עובדות מהירות
- נולד: 1941 - אזרחות: הממלכה המאוחדת - הנחיית דוקטורט: דנה סקוט - מרצה גדל: 1993 - עמית החברה המלכותית: נבחר ב-1993 - פרס פויה: 2003 - נשיא LMS: 2009–2011
שאלות נפוצות של קוראים
### מהו תחום המומחיות העיקרי של מקינטייר?
הוא מתמטיקאי ולוגיקן המתמחה בתורת המודלים וביישומיה באלגברה, גיאומטריה אלגברית ותורת המספרים.
### איזו בעיה מתמטית מרכזית הוא פתר בשנת 2023?
בעבודה עם ג'אמשד דראקשאן, הוא הוכיח את הכריעות של המחלקה של כל ה-Z/mZ, ובכך פתר השערה משנת 1968 של ג'יימס אקס.