แองกัส แมคอินไทร์
แองกัส แมคอินไทร์ ในปี 2009
เกิด	แองกัส จอห์น แมคอินไทร์ ปี 1941 (อายุ 84-85 ปี)
อัลมา มัธยฐาน	มหาวิทยาลัยเคมบริดจ์ (ปริญญาตรี) มหาวิทยาลัยสแตนฟอร์ด (ปริญญาเอก)
รางวัล	การบรรยายของเกอเดล (1993) สมาชิกราชสมาคม (พ.ศ. 2536) [ 1 ] รางวัลโพลยา (ปี 2003) สมาชิกของราชสมาคมแห่งเอดินบะระ
เส้นทางอาชีพด้านวิทยาศาสตร์
สถาบันต่างๆ	มหาวิทยาลัยควีนแมรีแห่งลอนดอนมหาวิทยาลัยเอดินบะระมหาวิทยาลัยออกซ์ฟอร์ดมหาวิทยาลัยเยล
วิทยานิพนธ์	การจำแนกคู่ของฟิลด์ปิดจริง  (1968)
อาจารย์ที่ปรึกษาปริญญาเอก	ดาน่า สก็อตต์
นักศึกษาปริญญาเอก	โซอี ชาตซิดาคิส ปีเตอร์ วิงค์เลอร์ อาลี เนซิน เอมิลี่ โกรชอลซ์ ฟรานซิสโก มิราเกลีย
เว็บไซต์	คณิตศาสตร์.qmul .ac .uk /people /amacintyre

แองกัส จอห์น แมคอินไทร์FRS ^{[ 1 ]} FRSE ( เกิดปี 1941) เป็นนักคณิตศาสตร์และนักตรรกศาสตร์ ชาวอังกฤษ ผู้เป็นบุคคลสำคัญในทฤษฎีแบบจำลองตรรกศาสตร์และการประยุกต์ใช้ในพีชคณิตเรขาคณิตเชิงพีชคณิตและทฤษฎีจำนวนเขาเป็นศาสตราจารย์กิตติคุณด้านคณิตศาสตร์ที่มหาวิทยาลัยควีนแมรีแห่งลอนดอน^{[ 2 ]}

หลังจากสำเร็จการศึกษาระดับปริญญาตรีที่มหาวิทยาลัยเคมบริดจ์เขาสำเร็จการศึกษาระดับปริญญาเอกที่มหาวิทยาลัยสแตนฟอร์ดภายใต้การดูแลของดานา สก็อตต์ในปี 1968 ^{[ 3 ]}

ตั้งแต่ปี 1973 ถึง 1985 เขาเป็นศาสตราจารย์ด้านคณิตศาสตร์ที่มหาวิทยาลัยเยลตั้งแต่ปี 1985 ถึง 1999 เขาเป็นศาสตราจารย์ด้านตรรกศาสตร์คณิตศาสตร์ที่วิทยาลัยเมอร์ตันมหาวิทยาลัยออกซ์ฟอร์ดในปี 1999 แมคอินไทร์ย้ายไปที่มหาวิทยาลัยเอดินบะระซึ่งเขาดำรงตำแหน่งศาสตราจารย์ด้านคณิตศาสตร์จนถึงปี 2002 จากนั้นจึงย้ายไปที่วิทยาลัยควีนแมรีมหาวิทยาลัยลอนดอนแมคอินไทร์เป็นผู้อำนวยการด้านวิทยาศาสตร์คนแรกของศูนย์วิทยาศาสตร์คณิตศาสตร์นานาชาติ (ICMS) ในเอดินบะระ

แมคอินไทร์เป็นที่รู้จักจากผลงานสำคัญมากมาย ซึ่งรวมถึงการจำแนกทฤษฎีเชิงหมวดหมู่ของกลุ่มและฟิลด์แบบอะเลฟ-วันในปี 1971 ซึ่งมีอิทธิพลอย่างมากต่อการพัฒนาทฤษฎีเสถียรภาพทางเรขาคณิต ในปี 1976 เขาได้พิสูจน์ผลลัพธ์เกี่ยวกับการกำจัดตัวบ่งปริมาณสำหรับฟิลด์ p-adic ซึ่งเป็นที่มาของทฤษฎีเรขาคณิตกึ่งพีชคณิตและเรขาคณิตย่อยเชิงวิเคราะห์สำหรับฟิลด์ p-adic (ในลักษณะเดียวกับฟิลด์จำนวนจริง) ดังที่Jan DenefและLou van den Driesและคนอื่นๆ ได้แสดงไว้ ทฤษฎีบทการกำจัดตัวบ่งปริมาณนี้ถูกใช้โดยJan Denefในปี 1984 เพื่อพิสูจน์ข้อสันนิษฐานของJean-Pierre Serreเกี่ยวกับความมีเหตุผลของอนุกรม Poincaré p-adic ต่างๆ และต่อมาวิธีการเหล่านี้ได้ถูกนำไปใช้เพื่อพิสูจน์ความมีเหตุผลของฟังก์ชันก่อกำเนิดที่หลากหลายในทฤษฎีกลุ่ม (เช่น การเติบโตของกลุ่มย่อย) และทฤษฎีจำนวนโดยผู้เขียนหลายคน โดยเฉพาะอย่างยิ่งDan SegalและMarcus du Sautoy แมคอินไทร์ทำงานร่วมกับโซอี ชาตซิดาคิสและลู ฟาน เดน ดรีส์ในเรื่องเซตที่กำหนดได้บนฟิลด์จำกัด โดยขยายการประมาณค่าของเซอร์จ์ แลงและอองเดร ไวล์ไปสู่เซตที่กำหนดได้ และทบทวนงานของเจมส์ แอกซ์เกี่ยวกับตรรกะของฟิลด์จำกัดและฟิลด์เสมือนจำกัด เขาเป็นผู้ริเริ่มและพิสูจน์ผลลัพธ์ในทฤษฎีแบบจำลองของฟิลด์ผลต่างและออโตมอร์ฟิซึมของโฟรเบนิอุส ซึ่งเขาได้พิสูจน์การขยายงานของแอกซ์ไปสู่บริบทนี้ (รวมถึงแบบจำลองคู่และความสามารถในการตัดสินใจ) ในขณะเดียวกันเอฮุด ฮรูโชฟสกีได้พิสูจน์ผลลัพธ์เชิงทฤษฎีแบบจำลองเกี่ยวกับออโตมอร์ฟิซึมของโฟรเบนิอุส แมคอินไทร์พัฒนาทฤษฎีแบบจำลองลำดับที่หนึ่งสำหรับทฤษฎีการตัดกันและแสดงให้เห็นถึงความเชื่อมโยงกับข้อสันนิษฐานมาตรฐานของ อเล็กซานเดอร์ โกรเทนดิคเกี่ยวกับวัฏจักรพีชคณิต

แมคอินไทร์ได้พิสูจน์ผลลัพธ์มากมายเกี่ยวกับทฤษฎีแบบจำลองของการยกกำลังจำนวนจริงและจำนวนเชิงซ้อน ร่วมกับอเล็กซ์ วิลกีเขาได้พิสูจน์ความสามารถในการตัดสินของฟิลด์เลขชี้กำลังจำนวนจริง (แก้ปัญหาของอัลเฟรด ทาร์สกี ) โดย อ้างอิงตาม สมมติฐานของชานูเอลจากทฤษฎีจำนวนอดิศัย ร่วมกับลู ฟาน เดน ดรีส์เขาได้ริเริ่มและศึกษาทฤษฎีแบบจำลองของอนุกรมลอการิทึม-เลขชี้กำลังและฟิลด์ฮาร์ดี ร่วมกับเดวิด มาร์เกอร์และลู ฟาน เดน ดรีส์เขาได้พิสูจน์ผลลัพธ์หลายประการเกี่ยวกับทฤษฎีแบบจำลองของฟิลด์จำนวนจริงที่มาพร้อมกับฟังก์ชันวิเคราะห์แบบจำกัด ซึ่งมีการประยุกต์ใช้มากมายกับการยกกำลังและO-minimalityงานของฟาน เดน ดรีส์-แมคอินไทร์-มาร์เกอร์ ได้ถูกนำไปประยุกต์ใช้มากมาย (และเป็นฉากหลังที่เหมาะสมมากสำหรับปัญหาใน) เรขาคณิตไดโอแฟนไทน์บนวาไรตี้ชิมูระ ( อนันด์ พิลเลย์ , เซอร์เก สตาร์เชนโก , โจนาธาน พิลา ) และทฤษฎีการแทน ( วิลฟรีด ชมิดและคาริ วิโลเนน ) แมคอินไทร์ได้พิสูจน์ผลลัพธ์เกี่ยวกับทฤษฎีการยกกำลังเชิงซ้อนของ บอริส ซิลเบอร์ และฟิลด์เสมือนเลขชี้กำลังของซิลเบอร์

Macintyre และ Jamshid Derakhshan ได้พัฒนาทฤษฎีแบบจำลองสำหรับวงแหวนอะเดลของฟิลด์จำนวนโดยพิสูจน์ผลลัพธ์เกี่ยวกับการกำจัดตัวบ่งปริมาณและการวัดได้ของเซตที่กำหนดได้ พวกเขาใช้และต่อยอดงานพื้นฐานของSolomon FefermanและRobert Vaughtเกี่ยวกับทฤษฎีอันดับแรกของผลคูณของโครงสร้างพีชคณิต

วงแหวนอะเดลได้รับการแนะนำโดยClaude Chevalley (คำว่า "อะเดล" เป็นคำย่อของ "additive idele " ^[2]และคิดค้นโดยAndré Weilชื่อเดิมคือเวกเตอร์การประเมินค่า) จุดประสงค์เริ่มต้นของการแนะนำอะเดลคือการทำให้ทฤษฎีฟิลด์คลาส มีความเรียบง่ายและชัดเจนขึ้น ต่อมา ได้มีการนำไปประยุกต์ใช้ในปัญหาต่างๆ มากมายในทฤษฎีจำนวนอย่างรวดเร็ว หลังจาก วิทยานิพนธ์ของ John TateงานของAndré WeilและTsuneo Tamagawaเกี่ยวกับกลุ่มและวาไรตี้อะเดล และงานของRobert Langlandsและคนอื่นๆ ที่เกี่ยวข้องกับโครงการ Langlands

ในปี 2023 Jamshid Derakhshan และ Angus Macintyre ได้แก้ปัญหาของJames Axที่ตั้งไว้ในบทความปี 1968 เกี่ยวกับทฤษฎีพื้นฐานของฟิลด์จำกัดในเรื่องความสามารถในการตัดสินใจของคลาสของ Z/mZ ทั้งหมดได้สำเร็จ โดยวิธีแก้ปัญหาของพวกเขานั้นใช้ทฤษฎีแบบจำลองของ adeles

Macintyre และMarek Karpinskiได้พิสูจน์ผลลัพธ์หลายประการเกี่ยวกับมิติ VC ซึ่งมีการประยุกต์ใช้ในวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีและโครงข่ายประสาทเทียม

เขาได้รับเลือกเป็นสมาชิกราชสมาคมในปี 1993 ^{[ 1 ]}ในปี 2003 เขาได้รับรางวัล Pólyaจากสมาคมคณิตศาสตร์แห่งลอนดอนตั้งแต่ปี 2009 ถึง 2011 เขาดำรงตำแหน่งประธานสมาคมคณิตศาสตร์แห่งลอนดอน (LMS)