Doğum |
23 Mart 1943 Viçita |
---|---|
Ölüm |
28 Aralık 2011(68 yaşında) Hannover |
milliyet | Amerikan |
Eğitim | Berkeley'deki California Üniversitesi |
Aktiviteler | Matematikçi , mantıkçı , üniversite profesörü |
İçin çalıştı | Dartmouth Koleji |
---|---|
Alanlar | Matematiksel mantık , küme teorisi |
süpervizör | Robert vavt |
eski öğrenciler | Stan Wagon , Jean Larson, Tadatoshi Miyamoto ve Alan D. Taylor |
James "Jim" Earl Baumgartner (doğum tarihi:23 Mart 1943içinde Wichita (Kansas) ve öldü 28 Aralık 2011içinde Hanover (New Hampshire) ) çalışmıştır Amerikalı matematikçi aksiyomatik küme kuramı ve matematik temelleri .
Baumgartner okudu Kaliforniya Teknoloji Enstitüsü ve elde B. Sc. 1960 yılında; o bir elde . Ph D. 1970 yılında Berkeley'deki California Üniversitesi'nden gözetiminde Robert Lawson Vaught (: tezinin başlığı Sonuçlarının ve Kombinatoryal Seti Kuramı Kurtuluş Delilleri ). 1969'da öğretim görevlisi , 1971'de yardımcı doçent, 1976'da doçent ve 1980'de Dartmouth Koleji'nde profesör oldu . 1983'ten itibaren John G. Kemeny Parents' Profesörüydü . 1982'de, kendisine tekerlekli sandalye kullanmaya zorlayan multipl skleroz teşhisi kondu; 2004 yılında emekli olarak emekli oldu ve 2011 yılında kalp krizinden öldü.
Baumgartner yinelemeli zorlama üzerinde çalışıyordu ve Saharon Shelah'ın çalışmasını takiben Uygun Zorlama Aksiyomunu (PFA) formüle ediyor , Zermelo-Fraenkel kümeleri (ZFC) teorisi ile tutarlılığını gösteriyor ; birçok uygulama sağlar.
Sıra ilişkisi için iki yoğun gerçek sayı kümesinin izomorfik olduğuna göre teoremin ZFC ile tutarlılığını gösterir ( herhangi bir açık aralıkta tam olarak noktaları varsa , bir gerçek sayılar kümesi -yoğundur ). Baumgartner'ın bir başka etkili teoremi, András Hajnal ile birlikte , sıra sayılarının bir bölme ilişkisinin varlığının kanıtıdır .
Baumgartner'ın bilimsel çalışmaları, Souslin problemi , Ramsey teorisi , sayılamayan düzen türleri, ayrık iyileştirmeler, kardinallerin aritmetiği, bölüm bağıntıları, iterasyonlu zorlama, kromatik grafik sayısı , süper atom Boole cebirleri , bölüm bağıntıları ile ilgilidir.
Mezunları arasında Stan Wagon , Jean Larson, Tadatoshi Miyamoto ve Alan D. Taylor bulunmaktadır .