| Curry, Haskell Brooks Millis, Massachusetts, USA, 1900. szept. 12. - State College, Pennsylvania, 1982. szept. 1. Amerikai matematikus 1924-ben szerezte meg a Master fokozatot fizikából a Harvard Egyetemen, de érdeklÅ‘dése a matematikához kötötte, Ãgy elkezdett utótanulmányokat folytatni a Harvardon a matematikai doktorátus elnyerése végett. ElÅ‘ször a Birkhoff-féle differenciálegyenleteket tanulmányozta, majd olvasott egy könyvet a logikáról, és ez erre a területre irányÃtotta figyelmét. 1929-ben kinevezték a State College vezetÅ‘jévé. 1940-tÅ‘l kezdve elkezdett a matematikai logikával foglalkozni. Számos új elvet fogalmazott meg,
A 2. világháború alatt elkezdett kutatásokat folytatni az alkalmazott matematika területén is. 1945-ben elment az Aberdeen Proving Groundhoz, egy katonai fegyvertesztelÅ‘ céghez Marylandba, ahol részese lett az ENIAC computerrel való kÃsérleteknek 1946-ban visszatért a Pennsylvania State Universityre, és kipróbálhatta az egyetemen a számÃtógépet. Curry elkezdett dolgozni a "Kombinatorikai Logika" cÃmű tanulmányán 1950-ben, amikor Leuvenben együtt dolgozott Robert Fays-szel. A végleges szöveg 1956-ban készült el. 1966-ban az Amszterdami Egyetemen a Logika Professzora, a Logika történetének és a Logika filozófiájának professzora lett. Négy évvel késÅ‘bb ezt a pozÃciót elhagyta, mert visszatért a pennsylvaniai State Collegebe. Nevét két általános célú funkcionális programozási nyelv is viseli, a Haskell és a Curry.
|  | | Web dokumentumok |