William Boone

William Boone William ve Eileen Boone, Urbana-Champaign'deki Illinois Üniversitesi'nde (1979) biyografi

Doğum	1920 veya 16 Ocak 1920 Cincinnati
Ölüm	1983 veya 14 Eylül 1983 şehir
milliyet	Amerikan
Eğitim	Princeton Üniversitesi
Aktiviteler	matematikçi , filozof

Diğer bilgiler

İçin çalıştı	Urbana-Champaign'deki Illinois Üniversitesi
Alan	Matematik
süpervizör	Alonzo Kilisesi
ayrım	Guggenheim bursu

Ana katkılar

teorem Boone-Higman teoremi  (tr) Teorem Boone Rogers teoremi  (içinde) Novikov – Boone teoremi

William Werner Boone (doğum tarihi:16 Ocak 1920içinde Cincinnati ve öldü14 Eylül 1983in Urbana (Illinois) Amerikalı bir matematikçidir.

Kariyer

1945'te Cincinnati Üniversitesi'nden lisans derecesi aldı , ardından Princeton Üniversitesi'nde yüksek lisans eğitimine başladı . O doçent olmak önce Rutgers daha sonra, üniversitede bir eğitmen oldu Amerika'dan Katolik Üniversitesi O gözetiminde 1952 yılında tezini savunan 1950'de Washington'da Alonzo Church de Princeton Üniversitesi . 1954-1956 yıllarını Princeton'da Fulbright bursuyla geçirdi . O dostuydu Kurt Gödel de Institute for Advanced Study . Daha sonra Guggenheim bursuyla Avrupa'ya gitti . 1958'den itibaren Boone , Urbana-Champaign'deki Illinois Üniversitesi'nde önce doçent, ardından 1960'tan beri tam profesör olarak çalıştı.

Katkılar

Piotr Novikov 1955 yılında bir varlığını gösterdi ince sunulan grubun kendisi için kelime problemi undecidable. 1958'de Boone tarafından farklı bir kanıt elde edildi.

Yayınlar (seçim)

• William W. Boone, “Bir bütün olarak cebirsel ve mantıksal sistemler hakkında karar problemleri ve özyinelemeli olarak numaralandırılabilir çözülemezlik dereceleri” , Contributions to Mathematical Logic (Colloquium, Hannover, 1966) , North-Holland,1968( Matematik İncelemeleri  0237617 ) , s.  13-33
• William W. Boone, FB Cannonito ve Roger C. Lyndon (editörler), Word Problems: Decision Problem in Group Theory , North-Holland,1973.
• William W. Boone ve G. Higman, “  Problem kelimesinin çözülebilirliğinin cebirsel bir karakterizasyonu  ”, J. Austral. Matematik. Soc. , cilt.  18,1974, s.  41-53.
• William W. Boone ve H. Rogers Jr., “  On a problem of JHC Whitehead and a problem of Alonzo Church  ”, Math. Tarama. , cilt.  19,1966, s.  185-192.

Referanslar

1. (in) "  William Werner Boone  " , Matematik Şecere Projesi web sitesinde .
2. Solomon Feferman (genel yayın yönetmeni), Kurt Gödel: Toplu Eserler , cilt.  IV: Yazışma, A – G, Oxford Clarendon Press :,2003, xviii + 662  s. ( ISBN  978-0-19-850073-5 , çevrimiçi okuyun ).
3. (ru) Pyotr S. Novikov , “  Grup teorisinde kelime probleminin algoritmik çözülemezliği üzerine  ” , Proceedings of the Steklov Matematik Enstitüsü , cilt.  44,1955, s.  1-143 ( zbMATH  0068.01301 ).
4. William W. Boone , “  Sözcük sorunu  ” , Ulusal Bilimler Akademisi Bildiriler Kitabı , cilt.  44, n o  10,1958, s.  1061–1065 ( PMCID  528693 , DOI  10.1073 / pnas.44.10.1061 , zbMATH  0086.24701 , çevrimiçi okuyun [PDF] )

Dış bağlantılar

• Otorite kayıtları  :
  • Sanal uluslararası yetki dosyası
  • Uluslararası Standart Ad Tanımlayıcı
  • Fransa Ulusal Kütüphanesi ( veri )
  • Üniversite dokümantasyon sistemi
  • Kongre Kütüphanesi
  • Gemeinsame Normdatei
  • Hollanda Kraliyet Kütüphanesi
  • Polonya Üniversite Kütüphanesi
  • WorldCat Kimliği
  • Dünya Kedisi
• Araştırma Kaynağı  :
  • (tr)  Matematik Şecere Projesi
• DJ Collins, "  Obituary William Werner Boone  ", London Math. Soc. , cilt.  17,1985, s.  168-174.
• (tr) John J. O'Connor ve Edmund F. Robertson , “William Werner Boone” , MacTutor Matematik Tarihi arşivinde , St Andrews Üniversitesi ( çevrimiçi okuyun ).