Matematiksel mantık, 1951 yılında Stephen Cole Kleene'nin sonlu otomatların işlemlerini tanımlayarak sinir ağları ile dijital hesaplama arasında temel bir köprü kurmasıyla büyük bir dönüm noktasına ulaştı. Bu gelişme, onun özyinelemeli fonksiyon teorisi üzerine ömür boyu süren araştırmalarıyla paralel olarak gerçekleşti ve kendisini yirminci yüzyılda kuramsal bilgisayar biliminin ortaya çıkışında merkezi bir figür olarak konumlandırdı.
Akademik Geçmiş
1909 yılında Hartford'da doğan Kleene, erken dönem eğitimini Amherst College'da sürdürdü ve 1930 yılında mezun oldu. Doktora çalışmaları için Princeton Üniversitesi'ne geçerek çalışmalarını 1934 yılında Alonzo Church gözetiminde tamamladı. A Theory of Positive Integers in Formal Logic adlı doktora tezi, lambda kalkülüne odaklanan üretken bir dönemin başlangıcını işaret etti. Bu gelişim yılları boyunca, 1935 yılında akademik kariyerinin çoğuna ev sahipliği yapacak olan Wisconsin–Madison Üniversitesi'ne katıldı.
Hesaplamanın Temelleri
Kleene, hesaplanabilir fonksiyonların çalışmasını temellendiren bir alan olan özyineleme teorisini resmileştirmesiyle tanınır. 1930'lar ve 1940'lar boyunca, özyineleme teoremi ve normal form teoremi dahil olmak üzere temel kanıtlar kaleme aldı. Bu katkılar, hesaplama süreçlerinin kesin bir matematiksel açıklamasını mümkün kıldı. 1940'ların sonları ve 1950'lerdeki çalışmaları aritmetik ve hiper-aritmetik hiyerarşilere genişlerken, 1951 yılında RAND Corporation için hazırladığı muhtıra, sonlu otomatlardaki olayları kategorize etmek için düzenli ifadeleri tanıttı.
Hizmet ve Sezgicilik
İkinci Dünya Savaşı sırasında Kleene, Amerika Birleşik Devletleri Donanma Rezervi'nde hizmet vererek 1942 ile 1946 yılları arasında kıdemli yüzbaşı (Lieutenant Commander) rütbesine yükseldi. Wisconsin–Madison Üniversitesi'nde sivil hayata döndüğünde, bölüm başkanlığı ve Edebiyat ve Bilim Koleji dekanlığı gibi idari görevleri sezgisel matematik araştırmalarıyla dengeledi. Yazıları, özellikle Richard Vesley ile birlikte yazdıkları, özyinelemeli gerçekleştirilebilirlik aracılığıyla sezgisel ifadeleri yorumlamak için bir Amerikan standardı belirledi.
Kariyer Mirası
Kleene, 1979 yılında Cyrus C. MacDuffee matematik profesörlüğü pozisyonundan emekli oldu. Dört onlar yıl boyunca 13 doktora öğrencisine rehberlik etti ve Gödel'in eksiklik teoremlerini netleştiren ders kitapları aracılığıyla nesilleri etkiledi. Profesyonel liderliği, Sembolik Mantık Derneği ve Uluslararası Tarih ve Bilim Felsefesi Birliği'nin başkanlık dönemlerini içeriyordu. 1900 yılında, başarılarından dolayı Ulusal Bilim Madalyası'nı aldı.
Hızlı Gerçekler
- Doğum: 1909, Hartford - Ölüm: 1994, Madison - Eğitim: Amherst College, Princeton Üniversitesi - Temel Askeri Rütbe: Kıdemli yüzbaşı - Birincil Alan: Kuramsal bilgisayar bilimi - Başlıca Ödül: Ulusal Bilim Madalyası (1990) - Profesyonel Üyelik: Ulusal Bilimler Akademisi
Okuyucuların Sorduğu Sorular
### Kleene yıldızı nedir?
Biçimsel dil teorisi ve kuramsal bilgisayar bilimindeki rolü nedeniyle kendi adıyla anılan, Kleene kapanışı olarak da bilinen matematiksel bir işlemdir.
### Kleene sinir ağları çalışmasına katkıda bulundu mu?
Evet, 1951'de sonlu otomatlar tarafından kabul edilen olayları karakterize etmek için bir yöntem geliştirdi ve bunu McCulloch-Pitts sinir ağlarının çalışmasına uyguladı.
