Robert Lawson Vaught

Robert Lawson Vaught Bu görüntünün açıklaması, aşağıda da yorumlanmıştır Robert Vaught 1977'de Sağ UC Berkeley piknik mantıksal grup Leon Henkin  (in) . Anahtar veri
Doğum 4 Nisan 1926
Alhambra (Kaliforniya)
Ölüm 2 Nisan 2002(75 yaşında)
Berkeley (California)
Milliyet Amerikan
Alanlar Matematik
Kurumlar Berkeley'deki California Üniversitesi
Eğitim California Üniversitesi, Berkeley
Süpervizör Alfred Tarski
Doktora öğrencileri 18'i James Baumgartner , Ronald Fagin , Julia Knight , Jack Silver  (içinde)

Robert Lawson Vaught (4 Nisan 1926 - 2 Nisan 2002) mantıkçı bir matematikçidir , modeller teorisinin kurucularından biridir .

Biyografi

Vaught, üniversite çalışmalarına 16 yaşında Pomona Koleji'nde başladı. Ne zaman İkinci Dünya Savaşı patlak, o askere ABD donanması programı etkileyen V-12  (in) de Deniz Kuvvetleri eğitim California Üniversitesi . 1945'te fizik alanında lisans derecesi aldı.

1946'da Berkeley Üniversitesi'nde John L. Kelley'nin gözetiminde C * -algebralar üzerine matematik doktorasına başladı . 1950'de McCarthyciliğin baskısıyla Berkeley Üniversitesi, tüm personelin bir sadakat yemini  ( sadakat yemini ) imzalamasını zorunlu kıldı. Kelley reddeder, üniversiteleri değiştirir ve Tulane Üniversitesi'nde üç yıl boyunca çalışır . Berkely kalmıştır Vaught, yine gözetiminde bu kez tez çalışmaya başladı Alfred Tarski ve 1954 yılında bir bitmiş doktora içinde matematiksel mantık başlıklı Aritmetik Sınıflar ve Boole Cebirlerinin Kuramı Konu . 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ı.

Ronald Fagin'in tezini yönetti .

İşler

Vaught'ın çalışması esas olarak model teorisi etrafında toplanmıştır . 1957'de o ve Tarski, temel alt modelleri ve onları karakterize eden sözde Tarski-Vaught testini tanıttılar . 1962'de, o ve Michael D. Morley doymuş yapı  (inç) kavramını tanımladılar . Birinci dereceden teorileri sayılabilir modelleri üzerine yaptığı çalışmalarıyla Vaught Vaught en formüle yol varsayım o numara tam bir birinci dereceden teorisinin sayılabilen modellerinin her zaman sınırlıdır, sayılabilir sonsuzdur ya sayılar kümesinin gücüne sahiptir. Gerçek. Vaught teoremi  (in) , aynı zamanda tam birinci dereceden teorisi asla tam olarak olmayan iki izomorf sayılabilen modellerini sahip olduğunu "Hiçbir zaman 2" devletlerin teoremini denir.

Vaught dönüşümünü tanıtan Invariant'ın topoloji ve mantığa yerleştirdiği makalesi sık sık alıntılanmıştır. Ayrıca Feferman-Vaught teoremi ve Łoś - Vaught teoremi olarak bilinen tamlık ve karar verilebilirlik testi ile tanınır .

Vaught, yeni başlayanlar için ( lisans öğrencileri ) yetenekli bir öğretmendi ve yazıları zarafeti ve netliği ile ünlüydü. Kitabı Seti Teorisi: Giriş (ikinci baskı 1994, ciltsiz 2001) bu konuda yaptığı kapasiteleri kamtlamaktadır.

Ödüller ve Takdir

1978'de ilk Karp Ödülü sahibi oldu.

Notlar ve referanslar

  1. (in) "Robert  L. Vaught  " üzerine sitenin Matematik Şecere Projesi
  2. Google Akademik'te 91 alıntı.

Dış bağlantılar

Çeviri kaynağı