เอเดรียน มาเธียส
มาเธียสในลอนดอน กุมภาพันธ์ 2020
เกิด	( 12 กุมภาพันธ์ 1944 )12 กุมภาพันธ์ พ.ศ. 2487
อัลมา มัธยฐาน	วิทยาลัยทรินิตี้ เคมบริดจ์
เส้นทางอาชีพด้านวิทยาศาสตร์
ฟิลด์	คณิตศาสตร์
สถาบันต่างๆ	มหาวิทยาลัยเคมบริดจ์Université de la Réunion
อาจารย์ที่ปรึกษาปริญญาเอก	โรนัลด์ เจนเซ่นจอห์น ฮอร์ตัน คอนเวย์
นักศึกษาปริญญาเอก	อากิฮิโระ คานาโมริโธมัส ฟอร์สเตอร์

เอเดรียน ริชาร์ด เดวิด มาเธียส (เกิด 12 กุมภาพันธ์ 1944) เป็นนักคณิตศาสตร์ชาวอังกฤษที่ทำงานด้านทฤษฎีเซตแนวคิดการบังคับ(Mathias forcing ) ได้รับการตั้งชื่อตามเขา

มาเธียสได้รับการศึกษาที่ชรูว์สเบอรีและวิทยาลัยทรินิตี้ มหาวิทยาลัยเคมบริดจ์โดยเขาเรียนคณิตศาสตร์และสำเร็จการศึกษาในปี 1965 หลังจากสำเร็จการศึกษา เขาได้ย้ายไปอยู่ที่บอนน์ประเทศเยอรมนีเพื่อศึกษาต่อกับโรนัลด์ เจนเซนและได้ไปเยือน มหาวิทยาลัยต่างๆ เช่นยูซีแอลเอ สแตนฟอร์ดมหาวิทยาลัยวิสคอนซินและมหาวิทยาลัยโมนาชในช่วงเวลานั้น

ในปี 1969 เขาได้กลับมาที่เคมบริดจ์ในฐานะนักวิจัยที่ปีเตอร์เฮาส์และได้รับการตอบรับเข้าศึกษาต่อในระดับปริญญาเอกที่มหาวิทยาลัยเคมบริดจ์ในปี 1970 ตั้งแต่ปี 1969 ถึง 1990 มาเธียสเป็นนักวิจัยประจำปีเตอร์เฮาส์ ในช่วงเวลานี้ เขาเป็นบรรณาธิการของวารสารMathematical Proceedings of the Cambridge Philosophical Societyตั้งแต่ปี 1972 ถึง 1974 และใช้เวลาหนึ่งปีการศึกษา (1978/79) ในฐานะผู้ช่วยสอนของเจนเซนที่ไฟรบูร์กและอีกหนึ่งปี (1989/90) ที่MSRIในเบิร์กลีย์หลังจากออกจากปีเตอร์เฮาส์ในปี 1990 มาเธียสได้ดำรงตำแหน่งอาจารย์รับเชิญในวอร์ซอที่สถาบันวิจัยคณิตศาสตร์โอเบอร์โวล์ฟาคที่CRMในบาร์เซโลนาและในโบโกตาก่อนที่จะเป็นศาสตราจารย์ที่มหาวิทยาลัยแห่งเรอูนียง เขาเกษียณจากตำแหน่งศาสตราจารย์ในปี 2012 และได้รับการยอมรับให้สำเร็จการศึกษาระดับปริญญาเอกด้านวิทยาศาสตร์ที่มหาวิทยาลัยเคมบริดจ์ในปี 2015 ^{[ 1 ]}

Mathias เริ่มมีบทบาททางคณิตศาสตร์ไม่นานหลังจาก ที่Paul Cohenนำเสนอการบังคับและ Kanamori ^{[ 2 ]}ยกย่องการสำรวจการบังคับของเขาซึ่งในที่สุดก็ได้รับการตีพิมพ์เป็นภูมิทัศน์เหนือจริงที่มีรูปคน^{[ 3 ]}ว่าเป็น "แหล่งข้อมูลสำคัญ" เกี่ยวกับการบังคับในยุคแรก

บทความHappy families ของเขา [ ^{4 ]}ซึ่งต่อยอดจากวิทยานิพนธ์เคมบริดจ์ปี 1968 ของเขา พิสูจน์คุณสมบัติที่สำคัญของการบังคับซึ่งปัจจุบันรู้จักกันในชื่อ^การบังคับของ Mathias ในบทความเดียวกันนี้ เขาแสดงให้เห็นว่าไม่มี ตระกูลเกือบแยกกันสูงสุด (อนันต์) ใดที่สามารถวิเคราะห์ได้

นอกจากนี้ Mathias ยังใช้การบังคับเพื่อแยกรูปแบบที่อ่อนแอสองรูปแบบของสัจพจน์ของการเลือกโดยแสดงให้เห็นว่าหลักการเรียงลำดับซึ่งระบุว่าเซตใด ๆ สามารถเรียงลำดับเชิงเส้นได้นั้น ไม่ได้หมายความถึงทฤษฎีบทอุดมคติเฉพาะของบูลีน^{[ 5 ]}

ผลงานล่าสุดของเขาเกี่ยวกับการบังคับรวมถึงการศึกษาทฤษฎี PROVI ของเซตที่เอื้ออำนวยซึ่งเป็นระบบสัจพจน์แบบมินิมัลลิสต์ที่ยังคงอนุญาตให้การสร้างการบังคับดำเนินต่อไปได้^{[ 6 ]}

นอกจากนี้ Mathias ยังเป็นที่รู้จักจากงานเขียนเกี่ยวกับแง่มุมทางสังคมวิทยาของตรรกะ ซึ่งรวมถึงThe ignorance of Bourbaki and Hilbert, Bourbaki and the scorning of logicซึ่ง Mathias วิพากษ์วิจารณ์แนวทางตรรกะของ Bourbaki และใน A Term of Length 4,523,659,424,929เขาแสดงให้เห็นว่าตัวเลขในชื่อเรื่องคือจำนวนสัญลักษณ์ที่จำเป็นสำหรับคำจำกัดความของ Bourbaki สำหรับเลข1 Mathias ยังได้พิจารณาข้ออ้างที่ว่าZFC มาตรฐาน นั้นแข็งแกร่งเกินความจำเป็นสำหรับคณิตศาสตร์ "กระแสหลัก" บทความของเขาเรื่องWhat is Mac Lane missing?ในหัวข้อนี้ปรากฏควบคู่ไปกับการตอบโต้ของSaunders Mac Lane เรื่อง Is Mathias an ontologist? Mathias ยังได้ทำการศึกษาอย่างละเอียดเกี่ยวกับความแข็งแกร่งของระบบที่อ่อนแอลงซึ่งเสนอแนะโดย Mac Lane ^{[ 7 ]}

• หน้าหลัก
• เอเดรียน ริชาร์ด เดวิด มาเธียสจากโครงการลำดับวงศ์ตระกูลทางคณิตศาสตร์