Haskell Köri - Haskell Curry

Haskell Brooks Köri
HaskellBCurry.jpg
Doğmak ( 1900-09-12 )12 Eylül 1900
Millis, Massachusetts , ABD
Öldü 1 Eylül 1982 (1982-09-01)(81 yaşında)
Eyalet Koleji, Pensilvanya , ABD
Milliyet Amerikan
gidilen okul
Bilinen Birleştirici mantık
Curry-Howard yazışması
Curry'nin paradoksu
Matematik felsefesinde formalizm
Bilimsel kariyer
Alanlar Matematik
Mantığı
kurumlar Pennsylvania Eyalet Üniversitesi
Amsterdam Üniversitesi
Doktora danışmanı David Hilbert
etkiler Alfred North Whitehead
Bertrand Russell
Moses Schönfinkel

Haskell Brooks Curry ( / h æ s k əl / ; 12 Eylül 1900 - 1982 1 Eylül) bir oldu Amerikalı matematikçi ve mantıkçı . Curry, en çok kombinatoryal mantık alanındaki çalışmalarıyla tanınır . Kombinasyon mantığının ilk kavramı, Moses Schönfinkel tarafından tek bir makaleye dayandırılırken , Curry gelişimin çoğunu yaptı. Curry ayrıca Curry'nin paradoksu ve Curry-Howard yazışmaları ile bilinir . Adı Haskell , Brook ve Curry olmak üzere üç programlama dilinin yanı sıra matematik ve bilgisayar bilimlerinde fonksiyonları dönüştürmek için kullanılan bir teknik olan currying kavramı vardır .

Hayat

Curry, 12 Eylül 1900'de Millis, Massachusetts'te , bir diksiyon okulu işleten Samuel Silas Curry ve Anna Baright Curry'nin çocuğu olarak dünyaya geldi . 1916'da tıp okumak için Harvard Üniversitesi'ne girdi , ancak 1920'de mezun olmadan önce matematiğe geçti . MIT'de elektrik mühendisliği alanında iki yıllık yüksek lisans çalışmasından sonra , fizik okumak için Harvard'a döndü ve 1924'te yüksek lisans derecesi aldı. Curry'nin matematiksel mantığa ilgisi başladı. Alfred North Whitehead ve Bertrand Russell'ın matematiği sembolik mantıkta temellendirme girişimi olan Principia Mathematica ile tanıştığı bu dönemde . Harvard'da kalan Curry, doktora yaptı. Matematikte. George David Birkhoff tarafından diferansiyel denklemler üzerinde çalışmak üzere yönlendirilirken , ilgi alanları mantığa kaymaya devam etti. 1927'de Princeton Üniversitesi'nde öğretim görevlisi iken , Musa Schönfinkel'in kombinasyon mantığındaki çalışmalarını keşfetti . Schönfinkel'in çalışması, Curry'nin kendi araştırmalarının çoğunu öngörmüştü ve sonuç olarak, Schönfinkel'in çalışmalarına aşina olan Heinrich Behmann ve Paul Bernays ile çalışabileceği Göttingen Üniversitesi'ne taşındı . Curry, David Hilbert tarafından denetlendi ve Bernays ile yakın bir şekilde çalıştı ve doktora derecesi aldı. 1930'da kombinatoryal mantık üzerine bir tez ile.

1928'de, Göttingen'e gitmeden önce Curry, Mary Virginia Wheatley ile evlendi. Curry tezini tamamlarken çift Almanya'da yaşadı, daha sonra 1929'da Curry'nin Pennsylvania Eyalet Koleji'nde bir pozisyonu kabul ettiği Pennsylvania Eyalet Koleji'ne taşındı . Anne Wright Curry (27 Temmuz 1930) ve Robert Wheatley Curry (6 Temmuz 1934) adlarında iki çocukları oldu. Curry, önümüzdeki 37 yıl boyunca Penn State'de kaldı. O bir yıl geçirmiştir Chicago Üniversitesi'nden bir altında 1931-1932 yılında Ulusal Araştırma Bursu de 1938-1939'da ve bir yıl Institute for Advanced Study Princeton. 1942'de İkinci Dünya Savaşı sırasında Birleşik Devletler hükümeti için , özellikle de Frankford Arsenal'de uygulamalı matematik yapmak için izin aldı . Hemen o çalıştı savaştan sonra ENIAC bir Altında 1945 ve 1946'da, proje Fulbright bursu , o işbirliği Robert FEYS içinde Louvain , Belçika. 1966'da Penn State'den emekli olduktan sonra Curry , Amsterdam Üniversitesi'nde bir pozisyonu kabul etti . 1970 yılında, birleşimsel mantık üzerine incelemesinin ikinci cildini bitirdikten sonra, Curry Amsterdam Üniversitesi'nden emekli oldu ve Pennsylvania Eyalet Koleji'ne döndü.

Haskell Curry, 1 Eylül 1982'de Pennsylvania Eyalet Koleji'nde öldü.

Çalışmak

Curry'nin çalışmalarının odak noktası, birleştirici mantığın matematik için bir temel sağlayabileceğini gösterme girişimleriydi. 1933'ün sonlarına doğru, John Rosser ile yazışmalarından Kleene-Rosser paradoksunu öğrendi . Rosser ve Stephen Kleene tarafından geliştirilen paradoks, Alonzo Church ( tutarlı bir alt sistem olarak lambda hesabı olan bir sistem) tarafından önerilen bir sistem ve Curry'nin kendi sistemi de dahil olmak üzere bir dizi ilgili resmi sistemin tutarsızlığını kanıtlamıştı . Ancak Church, Kleene ve Rosser'ın aksine Curry, "paradokslardan kaçmak" istemediğini söyleyerek temel yaklaşımdan vazgeçmedi.

Curry, tüm kariyeri boyunca Kombinatoryal Mantık alanında çalışarak, esasen bu alandaki kurucu ve en büyük isim oldu. Birleştirici mantık, tek bir işlevsel programlama dili stilinin temelidir . Birleştirici mantığın gücü ve kapsamı, Kilise'nin lambda hesabınınkine oldukça benzerdir ve ikinci biçimcilik son yıllarda baskın olma eğiliminde olmuştur.

1947'de Curry ayrıca ilk yüksek seviyeli programlama dillerinden birini tanımladı ve genel bir aritmetik ifadeyi tek adresli bir bilgisayar için bir koda dönüştürmek için bir prosedürün ilk tanımını sağladı.

Harvard, Princeton'da ve 1929'dan 1966'ya kadar Pennsylvania Eyalet Üniversitesi'nde ders verdi . 1942'de Curry'nin paradoksunu yayınladı . 1966'da Evert Willem Beth'in halefi olan Amsterdam Üniversitesi'nde mantık ve kesin bilimler tarihi ve felsefesi profesörü oldu .

Curry ayrıca daha genel olarak matematiksel mantık yazdı ve öğretti ; Bu alandaki öğretisi, 1963 tarihli Matematiksel Mantığın Temelleri'nde doruğa ulaştı . Matematik Onun tercih felsefesi oldu biçimciliği hocasına Hilbert aşağıdaki (onun 1951 kitabı karşılaştırınız), fakat onun yazıları önemli felsefi merakı ve yaklaşık bir zihnimi açık ihanet intuitionistic mantık .

Başlıca yayınlar

  • "Grundlagen der Kombinatorischen Logik" [kombinatoryal mantığın temelleri]. American Journal of Mathematics (Almanca). Johns Hopkins Üniversitesi Yayınları. 52 (3): 509–536. 1930 doi : 10,2307 / 2370619 . JSTOR  2370619 .
  • Biçimsel bir tümdengelim kuramı . Notre Dame Üniversitesi Yayınları. 1950.
    • Biçimsel bir türetilebilirlik teorisi (2. baskı). Notre Dame Üniversitesi Yayınları. 1957.
  • Biçimci bir matematik felsefesinin ana hatları . Amsterdam: Elsevier Bilimi. 1951. ISBN 0444533680. Erişim tarihi: 23 Temmuz 2012 .
  • Leçons de logique algébrique (Fransızca). Paris: Gauthier-Villas. 1952.
  • Köri, Haskell ; Feys, Robert (1958). Kombine Mantık . ben . Amsterdam: Kuzey Hollanda Yayıncılık Şirketi.
  • Matematiksel Mantığın Temelleri . Mcgraw Tepesi. 1963.
  • Kombine Mantık . II . Amsterdam: Kuzey Hollanda Yayıncılık Şirketi. 1972. ISBN 0720422086.

Referanslar

  1. ^ 1924. "Über die Bausteine ​​der mathematischen Logik", Mathematische Annalen 92 , s. 305–316. Stefan Bauer-Mengelberg tarafından Jean van Heijenoort , 1967'de"Matematiksel mantığın yapı taşları üzerinde" olarak çevrildi . Matematiksel Mantıkta Kaynak Kitap, 1879–1931 . Harvard Üniv. Basın: 355–66.
  2. ^ a b Seldin, Jonathan. "Köri ve Kilisenin Mantığı". Alıntı günlüğü gerektirir |journal=( yardım )
  3. ^ Barendregt, HP The Lambda Calculus: Its Syntax and Semantics . Elsevier. P. 4.
  4. ^ Knuth, Donald E.; Pardo, Luis Trabb (1976). "Programlama dillerinin erken gelişimi". Stanford Üniversitesi, Bilgisayar Bilimleri Bölümü, s. 22
  5. ^ Albüm Academicum , Amsterdam Üniversitesi
  6. ^ Nelson, D. (1952). "İnceleme: HB Curry tarafından biçimsel bir türetilebilirlik teorisi " . Boğa. Amer. Matematik. Soc . 58 (3): 415–417. doi : 10.1090/s0002-9904-1952-09596-3 .
  7. ^ Marcus, R. Barcan (1952). "İnceleme: Leçons de logique algébrique , HB Curry tarafından" . Boğa. Amer. Matematik. Soc . 58 (2): 673-674. doi : 10.1090/s0002-9904-1952-09657-9 .

daha fazla okuma

  • Seldin, JP ve Hindley, JR, eds., 1980. HB Curry'ye : Birleştirici mantık, lambda hesabı ve formalizm üzerine denemeler . Akademik Basın. Biyografik yazı içerir.

Dış bağlantılar