Stephen Cole Kleene - Stephen Cole Kleene

Stephen Kleene
Kleene.jpg
Doğmak ( 1909-01-05 )5 Ocak 1909
Öldü 25 Ocak 1994 (1994-01-25)(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 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

Ayrıca bakınız

Notlar

Referanslar

Dış bağlantılar