Paul Halmos - Paul Halmos

Paul Halmos
Paul Halmos.jpeg
Doğmak
Paul Richard Halmos

( 1916-03-03 )3 Mart 1916
Öldü 2 Ekim 2006 (2006-10-02)(90 yaşında)
Milliyet Macar
Amerikan
gidilen okul Illinois Üniversitesi
Ödüller Chauvenet Ödülü (1947)
Lester R. Ford Ödülü (1971, 1977)
Leroy P. Steele Ödülü (1983)
Bilimsel kariyer
Alanlar Matematik
kurumlar Syracuse Üniversitesi
Chicago
Üniversitesi Michigan
Üniversitesi Indiana Üniversitesi
Santa Clara Üniversitesi
Doktora danışmanı Joseph L. Doob
Doktora öğrencileri Errett Piskopos
Bernard Galler
Donald Sarason
V. S. Sunder

Paul Richard Halmos ( Macar : Halmos Pál ; 3 Mart 1916 - 2006 2 Ekim) bir oldu Macar doğumlu Amerikalı matematikçi alanlarında temel adımlar atmış, istatistikçi matematiksel mantık , olasılık teorisi , istatistik , operatör teorisi , ergodic teorisi , ve fonksiyonel analiz (özellikle Hilbert uzayları ). Aynı zamanda büyük bir matematiksel yorumcu olarak tanındı. Marslılardan biri olarak tanımlandı .

Hayatın erken dönemi ve eğitim

Doğan Macaristan bir içine Musevi ailenin, Halmos 13 yaşın ABD'de geldi. Lisans derecesini Illinois Üniversitesi'nden matematik bölümünden aldı, ancak hem matematik hem de felsefe derecesi için gerekli şartları yerine getirdi . Dereceyi almak için sadece üç yılını aldı ve mezun olduğunda sadece 19 yaşındaydı. Daha sonra doktoraya başladı. felsefede, hala Champaign-Urbana kampüsünde; ancak, yüksek lisans sözlü sınavlarında başarısız olduktan sonra, matematiğe geçti ve 1938'de mezun oldu. Joseph L. Doob , Invariants of Certain Stokastik Dönüşümler: The Mathematical Theory of Gambling Systems başlıklı tezini yönetti .

Kariyer

Mezuniyetinden kısa bir süre sonra Halmos , hem iş hem de hibe parası olmadan İleri Araştırma Enstitüsü'ne gitti . Altı ay sonra, belirleyici bir deneyim olduğunu kanıtlayan John von Neumann'ın altında çalışıyordu . Halmos, Enstitü'deyken ilk kitabı olan Sonlu Boyutlu Vektör Uzayları'nı yazdı ve bu kitabı hemen matematiğin iyi bir açıklayıcısı olarak ün kazandı.

1967'den 1968'e kadar Dublin Trinity College'da Donegall Matematik Öğretim Üyesi olarak görev yaptı .

Halmos, Syracuse Üniversitesi'nde , Chicago Üniversitesi'nde (1946–60), Michigan Üniversitesi'nde (~ 1961–67), Hawaii Üniversitesi'nde (1967–68), Indiana Üniversitesi'nde (1969–85) ve California Üniversitesi'nde ders verdi. Santa Barbara'da (1976–78). 1985'te Indiana'dan emekliliğinden ölümüne kadar, Santa Clara Üniversitesi'nde Matematik bölümüne (1985-96) bağlıydı.

Başarılar

1962 Algebraic Logic adlı kitabında yeniden basılan bir dizi makalede Halmos , Alfred Tarski ve öğrencilerinin daha iyi bilinen silindirik cebirlerinden farklı olan birinci dereceden mantığın cebirsel bir versiyonu olan poliadik cebirler tasarladı . Poliadik cebirin temel bir versiyonu monadik Boole cebirinde açıklanmıştır .

Matematiğe yaptığı orijinal katkılara ek olarak, Halmos üniversite matematiğinin alışılmadık derecede açık ve ilgi çekici bir yorumcusuydu. 1971'de ve 1977'de tekrar Lester R. Ford Ödülü'nü kazandı (WP Ziemer, WH Wheeler, SH Moolgavkar, JH Ewing ve WH Gustafson ile paylaşıldı). Halmos , 1973'te yayınlanan akademik matematik için AMS stil rehberini yazan American Mathematical Society komitesine başkanlık etti . 1983'te, sergi için AMS'nin Leroy P. Steele Ödülü'nü aldı.

In American Scientist 56 (4): 375-389, Halmos matematik bir yaratıcı sanat olduğunu ve matematikçiler sanatçılar değil, sayı crunchers olarak görülmesi gerektiğini savundu. Alanın matematik ve matematik olarak ikiye ayrılmasını tartıştı ve ayrıca matematikçilerin ve ressamların ilgili şekillerde düşündüklerini ve çalıştıklarını savundu.

Halmos'un 1985 tarihli "otomatografisi" I Want to Be a Mathematician , 20. yüzyıl Amerika'sında akademik bir matematikçi olmanın nasıl bir şey olduğunu anlatıyor. Kitaba "otobiyografi" yerine "otomatografi" adını verdi, çünkü kitabın odak noktası kişisel hayatı değil, neredeyse tamamen bir matematikçi olarak hayatıydı. Kitap, Halmos'un matematik yapmanın ne anlama geldiğine ilişkin görüşüyle ​​ilgili aşağıdaki alıntıyı içeriyor:

Sadece okumayın; savaş onunla! Kendi sorularınızı sorun, kendi örneklerinizi arayın, kendi kanıtlarınızı keşfedin. Hipotez gerekli mi? Tersi doğru mu? Klasik özel durumda ne olur? Dejenere vakalar ne olacak? Kanıt hipotezi nerede kullanır?

[Bir matematikçi] olmak için ne gerekir? Sanırım cevabı biliyorum: Doğru doğmak zorundasın, sürekli mükemmel olmak için çabalamalısın, matematiği her şeyden çok sevmelisin, üzerinde çok ve durmadan çalışmalı ve asla vazgeçmemelisin.

- Paul Halmos, 1985

Bu hatıralarda Halmos, " eğer ve ancak " kelimeleri için "iff" notasyonunu icat ettiğini ve bir ispatın sonunu belirtmek için "tombstone" notasyonunu ilk kullanan kişi olduğunu iddia eder ve bu genellikle kabul edilir. durum olsun. Mezar taşı sembolüne ∎ ( Unicode U+220E) bazen halmos denir .

2005 yılında Halmos ve eşi Virginia , Amerika Matematik Derneği tarafından halk arasında matematiğe bakış açısını geliştirmesi muhtemel bir kitap için verilen yıllık bir ödül olan Euler Kitap Ödülü'nü finanse etti . Birincilik ödülü, Leonhard Euler'in 300. doğum yıldönümü olan 2007'de, Bernhard Riemann ve Riemann hipotezi hakkındaki kitabıyla John Derbyshire'a verildi : Prime Obsession .

2009'da George Csicsery , Halmos'u Matematikçi Olmak İstiyorum adlı bir belgesel filmde rol aldı .

Halmos'un kitapları

  • 1942. Sonlu Boyutlu Vektör Uzayları . Springer-Verlag.
  • 1950. Ölçü Teorisi . Springer Verlag.
  • 1951. Hilbert Uzayına Giriş ve Spektral Çokluk Teorisi . Chelsea.
  • 1956. Ergodik Teori Dersleri . Chelsea.
  • 1960. Naif Küme Teorisi . Springer Verlag.
  • 1962. Cebirsel Mantık . Chelsea.
  • 1963. Boole Cebirleri Üzerine Dersler . Van Nostrand.
  • 1967. Bir Hilbert Uzay Problemi Kitabı . Springer-Verlag.
  • 1973. ( Norman E. Steenrod , Menahem M. Schiffer ve Jean A. Dieudonne ile birlikte ). Matematik Nasıl Yazılır ? Amerikan Matematik Derneği. ISBN  978-0-8218-0055-3
  • 1978. ( VS Sunder ile birlikte ). L² Uzaylarında Sınırlı İntegral Operatörler . Springer Verlag
  • 1985. Matematikçi Olmak İstiyorum . Springer-Verlag.
  • 1987. Fotoğrafik Hafızam Var . Amerika Matematik Derneği .
  • 1991. Matematikçiler için Problemler, Genç ve Yaşlı , Dolciani Matematik Sergileri, Amerika Matematik Derneği .
  • 1996. Lineer Cebir Problem Kitabı , Dolciani Matematiksel Açıklamalar , Amerika Matematik Derneği .
  • 1998. (Steven Givant ile birlikte). Cebir Olarak Mantık , Dolciani Matematiksel Açıklamalar No. 21, Amerika Matematik Derneği .
  • 2009. (Steven Givant ile birlikte ölümünden sonra), Boole Cebirlerine Giriş , Springer.

Ayrıca bakınız

Notlar

Referanslar

Dış bağlantılar