Robert Lawson Vaught - Robert Lawson Vaught
Robert Lawson Vaught | |
---|---|
1974'te Vaught
| |
Doğum |
|
4 Nisan 1926
Öldü | 2 Nisan 2002 |
(75 yaşında)
Milliyet | Amerikan |
gidilen okul | California Üniversitesi, Berkeley |
Bilimsel kariyer | |
Alanlar | Matematik |
Kurumlar | California Üniversitesi, Berkeley |
Tez | Aritmetik Sınıflar Teorisi ve Boole Cebirlerinde Konular (1954) |
Doktora danışmanı | Alfred Tarski |
Doktora öğrencileri |
James Baumgartner Ronald Fagin Julia Şövalye Jack Gümüş Michael D.Morley (fiilen) |
Robert Lawson Vaught (4 Nisan 1926 - 2 Nisan 2002) matematiksel bir mantıkçı ve model teorisinin kurucularından biriydi .
Hayat
Vaught, gençliğinde piyano çalan bir müzik dahisiydi. O hiç başladığı üniversite eğitimine Pomona Koleji zaman 16 yaşında, İkinci Dünya Savaşı patlak, o içine askere ABD Donanması ona tahsis, Kaliforniya Üniversitesi 'nin V-12 programı. 1945'te fizik alanında AB ile mezun oldu.
1946'da doktora yapmaya başladı. Berkeley'de matematik alanında. Başlangıçta topolog John L. Kelley'nin gözetiminde C * cebirleri üzerine yazılar yazdı . 1950'de McCarthyite baskılarına yanıt olarak Berkeley, tüm personelden bir sadakat yemini imzalamasını istedi . Kelley reddetti ve kariyerini üç yıllığına Tulane Üniversitesi'ne taşıdı . Vaught daha sonra Alfred Tarski'nin gözetiminde yeniden başladı ve 1954'te Matematiksel mantık üzerine Aritmetik Sınıflar Teorisi ve Boole Cebirleri başlıklı bir tezi tamamladı . Washington Üniversitesi'nde dört yıl geçirdikten sonra , Vaught 1958'de Berkeley'e döndü ve 1991'de emekli olana kadar burada kaldı.
1957'de Vaught, Marilyn Maca ile evlendi; iki çocukları oldu.
İş
Vaught'ın çalışması öncelikle model teorisine odaklanmıştır . 1957'de o ve Tarski, temel alt modelleri ve onları karakterize eden Tarski-Vaught testini tanıttı . 1962'de o ve Michael D. Morley doymuş yapı konseptinin öncülüğünü yaptı . Birinci dereceden teorileri sayılabilen modellerde O'nun araştırmalar yöneltti Vaught varsayım belirten sayı (a sayılabilir dilinde) tam birinci dereceden teorisinin sayılabilen modellerin hep ya sonlu ya sayılabilir sonsuz veya equinumerous gerçek ile sayılar. Vaught'ın "Never 2" teoremi , tam bir birinci dereceden teorinin tam olarak iki izomorfik olmayan sayılabilir modele sahip olamayacağını belirtir.
En iyi çalışmasının, Vaught dönüşümünü tanıtan "Topoloji ve mantıkta değişmez kümeler" makalesi olduğunu düşünüyordu . Temel alt yapılar için Tarski-Vaught testi, Feferman- Vaught teoremi , tamlık ve karar verilebilirlik için Łoś-Vaught testi , Vaught iki kardinal teoremi ve tamamen kategorik teorilerin sonsuz olmayan aksiyomatize edilebilirliği hakkındaki varsayımı ile tanınır (bu çalışma sonunda geometrik kararlılık teorisine yol açtı ).
Ayrıca bakınız
Notlar
Referanslar
- Feferman, Anita Burdman ve Solomon Feferman , 2004. Alfred Tarski: Hayat ve Mantık . Cambridge Üniv. Basın. Vaught için 24 dizin girişi, özellikle s. 185–88.
Dış bağlantılar
- Robert Lawson Vaught at Matematik Şecere Projesi
- Addison, JW (Güz 2002). "Anısına: Robert Lawson Vaught" (PDF) . Berkeley Matematik Bülteni . s. 13.