Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
Haskell Brooks Curry (12 Eylül 1900 – 1 Eylül 1982) Amerikalı matematikçi ve mantıkçıydı. Curry en çok birleştirici mantık alanındaki çalışmalarıyla tanınır. Kombinasyon mantığının ilk kavramı Moses Schönfinkel, tarafından yazılan bir makaleye dayansa da geliştirmenin çoğunu Curry yapmıştı. Curry ayrıca Curry paradoksu ve Curry-Howard benzeşmeleriyle tanınır. Onun adını taşıyan Haskell, Brook ve Matematik ve bilgisayar bilimlerinde fonksiyonları dönüştürmede kullanılan currying tekniği (Türkçe: körleme) kavramı olan Curry adlı kendinden sonra adlandırılan üç programlama dili vardır.
Haskell Brooks Curry | |
|---|---|
| Doğum | 12 Eylül 1900 , US |
| Ölüm | 01 Eylül 1982 (81 yaşında) State College, Pensilvanya, ABD |
| Milliyet | Amerikalı |
| Eğitim | |
| Kariyeri | |
| Dalı | Matematik Mantık |
| Çalıştığı kurumlar | Pensilvanya Devlet Üniversitesi Amsterdam Üniversitesi |
| Doktora danışmanı | David Hilbert |
| Etkilendikleri | Alfred North Whitehead Bertrand Russell Moses Schönfinkel |
Hayatı
Curry, 12 Eylül 1900'de 'te Diksiyon okulu yöneten 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ının ardından 1924'te MA kazanarak fizik okumak için Harvard'a geri döndü. Curry'nin matematiksel mantığa olan ilgisi, matematiği sembolik mantığa dayandırmak için Alfred North Whitehead ve Bertrand Russell'ın girişimi olan Principia Mathematica ile tanıştığı bu dönemde başladı. Harvard'da kalan Curry, Matematikte doktora yaptı. George David Birkhoff tarafından diferansiyel denklemler üzerinde çalışması için yönlendirilirken, ilgisi mantığa kaymaya devam etti. 1927'de Princeton Üniversitesi'nde öğretim görevlisiyken, Moses Schönfinkel'in birleştirici mantıktaki çalışmalarını keşfetti. Schönfinkel'in çalışması, Curry'nin kendi araştırması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 şekilde çalışarak 1930'da birleştirici mantık üzerine bir tez ile doktora derecesi aldı.
1928'de Göttingen'e gitmeden önce Curry, Mary Virginia Wheatley ile evlendi. Çift, Curry tezini tamamlarken Almanya'da yaşıyordu, ardından 1929'da State College, Pennsylvania'ya taşındı ve burada Curry Pennsylvania State College'daki bir makamı kabul etti. Anne Wright Curry (27 Temmuz 1930) ve Robert Wheatley Curry (6 Temmuz 1934) adında iki çocukları oldu. Curry, sonraki 37 yıl boyunca Penn State'te kaldı. 1931–1932'de Ulusal Araştırma Bursu altında Chicago Üniversitesi'nde bir yıl ve bir yılda 1938–1939'da Princeton'daki Institute for Advanced Study'da harcadı.
II. Dünya Savaşı sırasında, 1942'de özellikle Frankford Arsenal'da Amerika Birleşik Devletleri hükûmeti için uygulamalı matematik yapmak üzere izin aldı. Savaştan hemen sonra, 1945 ve 1946'da ENIAC projesinde çalıştı. Bir Fulbright Bursu altında, Robert Feys ile Belçika, Louvain'da işbirliği yaptı.
1966'da Penn State'ten emekli olduktan sonra, Curry Amsterdam Üniversitesi'nde bir pozisyonu kabul etti. 1970 yılında, birleştirici mantık üzerine yaptığı incelemenin 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ü.
Kaynakça
- ^ 1924. "Über die Bausteine der mathematischen Logik", Mathematische Annalen 92, pp. 305–316. Translated by Stefan Bauer-Mengelberg as "On the building blocks of mathematical logic" in , 1967. A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press: 355–66.
- ^ Seldin, Jonathan. "The Logic of Curry and Church".
wikipedia, wiki, viki, vikipedia, oku, kitap, kütüphane, kütübhane, ara, ara bul, bul, herşey, ne arasanız burada,hikayeler, makale, kitaplar, öğren, wiki, bilgi, tarih, yukle, izle, telefon için, turk, türk, türkçe, turkce, nasıl yapılır, ne demek, nasıl, yapmak, yapılır, indir, ücretsiz, ücretsiz indir, bedava, bedava indir, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, resim, müzik, şarkı, film, film, oyun, oyunlar, mobil, cep telefonu, telefon, android, ios, apple, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, pc, web, computer, bilgisayar
Haskell Brooks Curry 12 Eylul 1900 1 Eylul 1982 Amerikali matematikci ve mantikciydi Curry en cok birlestirici mantik alanindaki calismalariyla taninir Kombinasyon mantiginin ilk kavrami Moses Schonfinkel tarafindan yazilan bir makaleye dayansa da gelistirmenin cogunu Curry yapmisti Curry ayrica Curry paradoksu ve Curry Howard benzesmeleriyle taninir Onun adini tasiyan Haskell Brook ve Matematik ve bilgisayar bilimlerinde fonksiyonlari donusturmede kullanilan currying teknigi Turkce korleme kavrami olan Curry adli kendinden sonra adlandirilan uc programlama dili vardir Haskell Brooks CurryDogum12 Eylul 1900 1900 09 12 USOlum01 Eylul 1982 81 yasinda State College Pensilvanya ABDMilliyetAmerikaliEgitimHarvard UniversitesiGottingen UniversitesiKariyeriDaliMatematik MantikCalistigi kurumlarPensilvanya Devlet Universitesi Amsterdam UniversitesiDoktora danismaniDavid HilbertEtkilendikleriAlfred North Whitehead Bertrand Russell Moses SchonfinkelHayatiCurry 12 Eylul 1900 de te Diksiyon okulu yoneten Samuel Silas Curry ve Anna Baright Curry nin cocugu olarak dunyaya geldi 1916 da tip okumak icin Harvard Universitesi ne girdi ancak 1920 de mezun olmadan once matematige gecti MIT de elektrik muhendisligi alaninda iki yillik yuksek lisans calismasinin ardindan 1924 te MA kazanarak fizik okumak icin Harvard a geri dondu Curry nin matematiksel mantiga olan ilgisi matematigi sembolik mantiga dayandirmak icin Alfred North Whitehead ve Bertrand Russell in girisimi olan Principia Mathematica ile tanistigi bu donemde basladi Harvard da kalan Curry Matematikte doktora yapti George David Birkhoff tarafindan diferansiyel denklemler uzerinde calismasi icin yonlendirilirken ilgisi mantiga kaymaya devam etti 1927 de Princeton Universitesi nde ogretim gorevlisiyken Moses Schonfinkel in birlestirici mantiktaki calismalarini kesfetti Schonfinkel in calismasi Curry nin kendi arastirmasinin cogunu ongormustu ve sonuc olarak Schonfinkel in calismalarina asina olan Heinrich Behmann ve Paul Bernays ile calisabilecegi Gottingen Universitesi ne tasindi Curry David Hilbert tarafindan denetlendi ve Bernays ile yakin sekilde calisarak 1930 da birlestirici mantik uzerine bir tez ile doktora derecesi aldi 1928 de Gottingen e gitmeden once Curry Mary Virginia Wheatley ile evlendi Cift Curry tezini tamamlarken Almanya da yasiyordu ardindan 1929 da State College Pennsylvania ya tasindi ve burada Curry Pennsylvania State College daki bir makami kabul etti Anne Wright Curry 27 Temmuz 1930 ve Robert Wheatley Curry 6 Temmuz 1934 adinda iki cocuklari oldu Curry sonraki 37 yil boyunca Penn State te kaldi 1931 1932 de Ulusal Arastirma Bursu altinda Chicago Universitesi nde bir yil ve bir yilda 1938 1939 da Princeton daki Institute for Advanced Study da harcadi II Dunya Savasi sirasinda 1942 de ozellikle Frankford Arsenal da Amerika Birlesik Devletleri hukumeti icin uygulamali matematik yapmak uzere izin aldi Savastan hemen sonra 1945 ve 1946 da ENIAC projesinde calisti Bir Fulbright Bursu altinda Robert Feys ile Belcika Louvain da isbirligi yapti 1966 da Penn State ten emekli olduktan sonra Curry Amsterdam Universitesi nde bir pozisyonu kabul etti 1970 yilinda birlestirici mantik uzerine yaptigi incelemenin ikinci cildini bitirdikten sonra Curry Amsterdam Universitesi nden emekli oldu ve Pennsylvania Eyalet Koleji ne dondu Haskell Curry 1 Eylul 1982 de Pennsylvania Eyalet Koleji nde oldu Bu madde bir taslaktir Bu maddeyi gelistirerek veya ozellestirilmis taslak sablonlarindan birini koyarak Vikipedi ye katkida bulunabilirsiniz Kaynakca 1924 Uber die Bausteine der mathematischen Logik Mathematische Annalen 92 pp 305 316 Translated by Stefan Bauer Mengelberg as On the building blocks of mathematical logic in 1967 A Source Book in Mathematical Logic 1879 1931 Harvard Univ Press 355 66 Seldin Jonathan The Logic of Curry and Church