Doğum |
5 Ocak 1909 Hartford, Connecticut |
---|---|
Ölüm |
25 Ocak 1994 Madison, Wisconsin |
Ev | Amerika Birleşik Devletleri |
Milliyet | Amerikan |
Alanlar | Matematik |
Kurumlar | Wisconsin-Madison Üniversitesi |
Diploma | Princeton Üniversitesi |
Süpervizör | Alonzo Kilisesi |
Doktora öğrencileri |
John Addison Jr. Paul Axt Douglas Clarke Robert Lee Constable David Kierstead Shih-Chao Liu Joan Moschovakis Yiannis N. Moschovakis Nels Nelson Gene Rose Clifford Spector Richard Vesley Dick de Jongh (en) |
Ünlü | Özyineleme Teorisi , Aritmetik Hiyerarşi , Kleene Teoremi |
Ödüller | Ulusal Bilim Madalyası , Leroy P. Steele Ödülü |
Stephen Cole Kleene , doğdu5 Ocak 1909içinde Hartford, Connecticut ve öldü25 Ocak 1994içinde Madison (Wisconsin) bir olan matematikçi ve mantıkçı ABD .
Kleene'nin, başta Alonzo Kilisesi , Kurt Gödel , Emil Post ve Alan Turing ve ayrıca Alonzo Kilisesi ve John Barkley ile birlikte lambda-kalkülüs ile birlikte yineleme teorisi adını taşıyan matematiksel mantık dalını kurduğu bilinmektedir . Düzenli ifade ve düzenli dil kavramını icat etmesiyle de tanınır .
Hesaplanabilirlik kavramını resmileştirmek için araçlar oluşturarak , böylece hangi problemlerin algoritmalarla çözülebileceğini belirlemeyi mümkün kılarak , diğer yandan programlama dillerini analiz etmeyi ve en basit otomatayı tanımlamayı mümkün kılan kavramları geliştirerek ortaya koydu. bilgisayar biliminin teorik temelleri . Kleene yıldızı Kleene'nin teoremi , Kleene tekrarlama teoremi ve sabit nokta teoremi Kleene o bu kavramları kurulmasında oynadığı rolü hatırlayın. Ayrıca sezgisel mantığa da katkıda bulundu . Etkisi aynı zamanda bilimsel torunlarının sayısıyla da ölçülür. MathGenealogy'ye göre, 13 tezi yönetti ve öğrencileri aracılığıyla, özellikle Robert Lee Constable aracılığıyla 972 torunu var .
Kleene , 1930'da Amherst Koleji'nden lisans derecesi aldı . 1934'te Princeton Üniversitesi'nden matematik alanında doktora derecesi aldı . Yönettiği Tez, Alonzo Church , hakkına sahiptir “ Biçimsel Mantık ve pozitif bir tamsayı Teorisi ” . Özyinelemeli fonksiyonların karakterizasyonlarından ilki olan lambda-kalkülüs açısından hesaplanabilir fonksiyonların çalışmasını içerir . 1934'te Kurt Gödel Princeton'da kaldı ve ünlü eksiklik teoremlerini sundu . Gödel'in ispatı, özyineleme ile tanımlanan işlevlerin temelini kullanır. Hesaplanabilir fonksiyonların tanımlarının denkliği sorunu daha sonra ortaya çıkar. Alonzo Kilisesi için bunlar lambda-hesapta tanımlanabilen işlevlerdir . Kleene'nin 1934 tezi bu önermeyi inceler. J. Barkley Rosser , Kilise'nin başka bir öğrenci, gösteriler için denklik birleştiricilerin hesaplanmasında ait Haskell Curry . Son olarak, Alan Turing ve Emil Post , Turing makinelerinin tanımını önerir ve Kleene, Gödel'in özyinelemeli fonksiyonlarının tanımını inceler. Bu tanımların eşdeğer olduğunu biliyoruz. O zamandan beri, Kleene özyinelemeli fonksiyonlar sınıfı üzerinde çalıştı ve özellikle normal form teoremini kanıtladı.
1935'te Wisconsin Üniversitesi'nde matematik bölümüne katıldı ve burada önce matematik hocası oldu, ardından 1937'de yardımcı doçent oldu.
1939'dan 1940'a kadar Princeton'daki İleri Araştırmalar Enstitüsüne atandı ve burada özyineleme teorisinin kurulmasına yardım etti. 1941-1942'de Amherst Koleji'nde doçentlik yaptı. 1942'den 1946'ya kadar ABD Donanması'nda eğitmen olarak 2. Dünya Savaşı'na katıldı . Wisconsin Üniversitesi'ne doçent, ardından 1948'de profesör olarak döndü.
Daha sonra Kleene , Peano aritmetiğinin birinci dereceden dilinde tanımlanabilir doğal tamsayılar kümesinin alt kümelerinin bir hiyerarşisi olan aritmetik hiyerarşiyi tanıttı . İle Emil mesaj , o aradı insolubility derecesini tanıttı Turing derece setinin algoritmik çözülemezliği düzeyini ölçen doğal tamsayılar kümesi, içinde (Alan Turing sonra).
1951 yazında Kleene , WS McCulloch ve Walter Pitts'in sinir ağları üzerine yazdığı ünlü makaleyi çalıştığı RAND Corporation'da kaldı . Daha sonra Otomata Çalışmaları'nda yayınlanan bir iç rapor yazdı ; diye tanıtır düzenli ifadeler ve kanıtlıyor Kleene'nin teoremini rasyonel ifadeye göre ve otomasyon tarafından açıklama arasındaki denklik üzerine.
Kleene ayrıca , sezgisel mantığın mucidi Brouwer anlamında yapıcı matematik ile özyinelemeli fonksiyonlar arasındaki ilişkiyi de inceler . 1950'de bir Guggenheim bursundan yararlandı ve Amsterdam'da Hollandalı sezgisel matematikçiler grubunda kaldı. Öğrencisi Richard E. Vesley ile birlikte sezgisellik için "ulaşılabilirlik" kavramını geliştirdikleri bir kitap yazıyor.
1964'ten 1979'a kadar Kleene, Cyrus C.MacDuffee matematik kürsüsünü elinde tutuyor ve aynı zamanda üniversitede idari sorumlulukları vardı: 1962-1963 Matematik ve Bilgisayar Bölümü'nün başkanı ve 1969'dan Edebiyat ve Bilim Koleji Dekanı ( Dekan ) 1974. 1979'da üniversiteden emekli oldu. 1999'da Wisconsin Üniversitesi Matematik Kütüphanesi, onun onuruna yeniden adlandırıldı.
Tecrübeli bir dağcı , doğayı ve çevreyi savunmak için büyük bir tutku göstermiştir.
Soyadı telaffuz edilir [kliːniː] veya[kliːn] . Kleene bunu kendisi söyledi[kleɪniː] . Oğlu Kenneth C. Kleene şöyle yazıyor: “ Bildiğim kadarıyla bu telaffuz bilinen tüm dillerde yanlış. Bu roman telaffuzunun babam tarafından icat edildiğine inanıyorum. " .