Stephen Cole Kleene - Stephen Cole Kleene
Stephen Kleene | |
---|---|
Doğmak |
Hartford, Connecticut , ABD
|
5 Ocak 1909
Öldü | 25 Ocak 1994
Madison, Wisconsin , ABD
|
(85 yaşında)
Milliyet | Amerikan |
gidilen okul |
Amherst Koleji Princeton Üniversitesi |
Bilinen | |
Ödüller |
Leroy P. Steele Ödülü (1983) Ulusal Bilim Madalyası (1990) |
Bilimsel kariyer | |
Alanlar | Matematik |
kurumlar | Wisconsin-Madison Üniversitesi |
Doktora danışmanı | Alonzo Kilisesi |
Doktora öğrencileri |
Robert Constable Joan Moschovakis Yiannis Moschovakis Nels David Nelson Dick de Jongh |
Stephen Cole Kleene ( / k l eɪ n i / KLAY -nee ; 5 Ocak 1909 - Ocak 1994 tarihinde 25), bir oldu Amerikan matematikçi . Alonzo Kilisesi'nin öğrencilerinden biri olan Kleene, Rózsa Péter , Alan Turing , Emil Post ve diğerleri ile birlikte, daha sonra teorik temellerin sağlanmasına yardımcı olan özyineleme teorisi olarak bilinen matematiksel mantık dalının kurucusu olarak bilinir . bilgisayar bilimi . Kleene'nin çalışması, hesaplanabilir fonksiyonların incelenmesini temel alır . Bir dizi matematiksel kavram onun adını almıştır: Kleene hiyerarşisi , Kleene cebiri , Kleene yıldızı (Kleene kapanışı), Kleene'nin özyineleme teoremi ve Kleene sabit nokta teoremi . Ayrıca 1951'de McCulloch-Pitts sinir ağlarını tanımlamak için düzenli ifadeler icat etti ve matematiksel sezgiciliğin temellerine önemli katkılarda bulundu .
biyografi
Kleene, 1930'da Amherst Koleji'nden lisans derecesini aldı. Doktora derecesini aldı. A Theory of Positive Integers in Formal Logic adlı tezinin danışmanlığını Alonzo Church'ün üstlendiği 1934'te Princeton Üniversitesi'nde matematikten mezun oldu . 1930'larda Church'ün lambda hesabı üzerinde önemli çalışmalar yaptı . 1935'te, kariyerinin neredeyse tamamını geçirdiği Wisconsin-Madison Üniversitesi'nin matematik bölümüne katıldı . İki yıl öğretim görevlisi olarak çalıştıktan sonra 1937'de yardımcı doçentliğe atandı.
1939–1940 yılları arasında Princeton'daki İleri Araştırmalar Enstitüsü'nde misafir araştırmacı iken , yaşam boyu araştırma alanı olacak bir alan olan özyineleme teorisinin temellerini attı . 1941'de Amherst Koleji'ne döndü ve burada bir yıl matematik doçenti olarak çalıştı.
Sırasında Dünya Savaşı , Kleene bir oldu yüzbaşı içinde Amerika Birleşik Devletleri Deniz Kuvvetleri . İçeri ABD Deniz Rezerv midshipmen Okulu'nda navigasyon eğitmen olarak New York'ta en ve sonra bir proje yönetmeni Deniz Araştırma Laboratuarı içinde Washington, DC
1946'da Wisconsin-Madison Üniversitesi'ne geri dönen Kleene, 1948'de tam profesör ve 1964'te Cyrus C. MacDuffee matematik profesörü oldu. İki dönem Matematik Bölümü Başkanı ve bir dönem Matematik Bölümü Başkanı olarak görev yaptı. Sayısal Analiz Bölümü (daha sonra Bilgisayar Bilimleri Bölümü olarak yeniden adlandırıldı). O da 1969-1974 yılında Edebiyat ve Bilim Koleji Dekanı olarak görev yaptı. Wisconsin Üniversitesi'ndeki yıllarında 13 Ph.D.'nin tez danışmanıydı. öğrenciler. 1979'da Wisconsin Üniversitesi'nden emekli oldu. 1999'da Wisconsin Üniversitesi'ndeki matematik kütüphanesi onuruna yeniden adlandırıldı.
Kleene'nin Wisconsin'deki öğretisi matematiksel mantıkta üç metinle sonuçlandı: Kleene (1952, 1967) ve Kleene ve Vesley (1965). İlk ikisine sıklıkla atıfta bulunuluyor ve hala basılıyor. Kleene (1952), Gödel'in eksiklik teoremlerine , kanonik statülerini geliştiren ve onların öğretilmesini ve anlaşılmasını kolaylaştıran alternatif kanıtlar yazdı . Kleene ve Vesley (1965), sezgisel mantık ve matematiksel matematiğe klasik Amerikan girişidir .
[...] özyinelemeli fonksiyon teorisi bilgisayar biliminde merkezi öneme sahiptir. Kleene, Kleene normal form teoremi (1936), Kleene özyinelemeli teoremi (1938), 1940 ve 1950'lerde aritmetik ve hiper aritmetik hiyerarşilerin gelişimi, Kleene- Çözülemezlik derecelerinin post teorisi (1954) ve daha yüksek tipte özyineleme teorisi. 1950'lerin sonlarında başladığı ve 1970'lerin sonunda geri döndüğü. [...] 1940'ların sonundan itibaren Kleene, Brouwer'ın sezgiciliği olan ikinci bir alanda da çalıştı. Özyineleme teorisindeki araçları kullanarak, sezgisel ifadeleri yorumlamak için önemli bir teknik olan özyinelemeli gerçekleştirilebilirliği tanıttı. 1951 yazında Rand Corporation'da , sonlu bir otomat tarafından kabul edilen olayların önemli bir karakterizasyonunu vererek üçüncü bir alanda büyük bir atılım gerçekleştirdi.
Kleene , 1956–1958 yılları arasında Sembolik Mantık Derneği'nin ve 1961'de Uluslararası Tarih ve Bilim Felsefesi Birliği'nin başkanlığını yaptı. Kleene'nin çalışmasının önemi, Daniel Clement Dennett'in 1978'de yayınlanan "Kleeneness" deyişini ortaya koymasına yol açtı. Gödelness'in yanında." 1990 yılında Ulusal Bilim Madalyası ile ödüllendirildi .
Kleene ve eşi Nancy Elliott'ın dört çocuğu vardı. Maine'deki aile çiftliğine ömür boyu bağlılığı vardı. Hevesli bir dağcı, doğaya ve çevreye güçlü bir ilgisi vardı ve birçok koruma nedeninde aktifti .
Miras
Her konferansında Bilgisayar Bilimleri Mantık Sempozyumu Kleene ödülü , Stephen Cole Kleene onuruna, iyi öğrenci kağıt için verilir.
Seçilmiş Yayınlar
- 1935. Stephen Cole Kleene (Ocak 1935). "Formal Mantıkta Pozitif Tamsayılar Teorisi. Bölüm I" . Amerikan Matematik Dergisi . 57 (1): 153-173. doi : 10.2307/2372027 . JSTOR 2372027 .
- 1935. Stephen Cole Kleene (Nisan 1935). "Formel Mantıkta Pozitif Tamsayılar Teorisi. Bölüm II" . Amerikan Matematik Dergisi . 57 (2): 219–244. doi : 10.2307/2371199 . JSTOR 2371199 .
- 1935. Stephen Cole Kleene; JB Rosser (Temmuz 1935). "Belirli Biçimsel Mantıkların Tutarsızlığı". Matematik Annals . 2. Seri. 36 (3): 630-636. doi : 10.2307/1968646 . JSTOR 1968646 .
- 1936. "Doğal sayıların genel özyinelemeli işlevleri" . Matematikçi Annalen (112): 727-742. 1936.
- 1936. " -tanımlanabilirlik ve özyineleme" . Duke Matematik Dergisi . 2 (2): 340–352. 1936.
- 1938. "Sıra Sayılarının Gösterimi Üzerine" (PDF) . Sembolik Mantık Dergisi . 3 (4): 150–155. 1938. doi : 10.2307/2267778 . JSTOR 2267778 .
- 1943. "Yinelemeli yüklemler ve niceleyiciler" . Amerikan Matematik Derneği'nin İşlemleri . 53 (1): 41–73. Ocak 1943. doi : 10.1090/S0002-9947-1943-0007371-8 .
- 1951. Kleene, Stephen Cole (15 Aralık 1951). "Sinir Ağlarında ve Sonlu Otomatlarda Olayların Temsili" (PDF) . ABD Hava Kuvvetleri Projesi Rand Araştırma Memorandumu (RM-704). RAND Şirketi .
- 1952. Metamatematiğe Giriş. New York: Van Nostrand. (Ishi Press: 2009 yeniden basım).
- 1956. Kleene, Stephen Cole (1956). Shannon, Claude ; McCarthy, John (ed.). Olayların Sinir Ağlarında ve Sonlu Otomatlarda Temsili . Otomata Çalışmaları . OCLC 564148 .
- 1965 (Richard Eugene Vesley ile birlikte). Sezgisel Matematiğin Temelleri . Kuzey Hollanda.
- 1967. Matematiksel Mantık. John Wiley ve Oğulları . Dover yeniden basım, 2002. ISBN 0-486-42533-9 .
- 1981. Annals of the History of Computing 3 , No.1'de "Origins of Recursive Function Theory" .
- 1987. "Kilise'nin Tezi Üzerine Düşünceler" . Notre Dame Biçimsel Mantık Dergisi . 28 (4): 490-498. Ekim 1987. doi : 10.1305/ndjfl/1093637645 .
Ayrıca bakınız
Notlar
Referanslar
Dış bağlantılar
- O'Connor, John J .; Robertson, Edmund F. , "Stephen Cole Kleene" , MacTutor Matematik Tarihi arşivi , St Andrews Üniversitesi
- Biyografik anı - Saunders Mac Lane tarafından
- Kleene bibliyografyası
- "1930'larda Princeton Matematik Topluluğu: Transkript Numarası 23 (PMC23): Stephen C. Kleene ve J. Barkley Rosser" . Arşivlenmiş orijinal 10 Mart 2015 tarihinde.– Kleene ve John Barkley Rosser ile Princeton'daki deneyimleri hakkında röportaj
- Stephen Cole Kleene de DBLP Kaynakça Sunucusu