Curry, Haskell
| Haskell Curry | |
|---|---|
| angol Haskell Brooks Curry | |
| Születési név | angol Haskell Brooks Curry |
| Születési dátum | 1900. szeptember 12. [1] [2] [3] […] |
| Születési hely |
|
| Halál dátuma | 1982. szeptember 1. [1] [2] [4] […] (81 éves) |
| A halál helye |
|
| Ország | |
| Munkavégzés helye | |
| alma Mater |
|
| tudományos tanácsadója | David Gilbert |
Haskell Brooks Curry ( 1900. szeptember 12. – 1982. szeptember 1. ) amerikai matematikus és logikus .
Életrajz
Millisben ( Massachusetts ) született, a Harvard Egyetemen tanult . Szakdolgozatát Göttingenben védte meg Hilbert vezetésével (1930). Élete nagy részét a Pennsylvaniai Egyetemen dolgozta .
Nevéhez fűződik a Curry- paradoxon és a Curry–Howard levelezés , róla nevezték el két programozási nyelvet, a Haskell -t és a Curry -t, valamint a programozási nyelvekben széles körben használt " curry " funkcionális műveletet .
Hozzájárulás a tudományhoz
Kutatási programja [5] hozzájárult a matematika alapjainak fejlesztésének konstruktív szemléletének kialakításához . Jelentősen befolyásolta a logika fejlődését [6] , hozzájárult a strukturalizmus és formalizmus irányvonalának kialakulásához a metamatematikában [7] [8] . Kidolgozta a kombinatorikus logika alapjait , ami viszont számos programozási paradigma kialakulásának ösztönzője volt , beleértve az applikatív és a funkcionális programozást .
Logikai művek
A „logika” fogalmát három értelemben értelmezi:
- filozófiai logika, amely a normákat, vagyis a helyes érvelés alapelveit vizsgálja ;
- matematikai logika - a filozófiai logikához szorosan kapcsolódó logika, amely a matematikai módszerek alkalmazása eredményeként jött létre a filozófiai logika tanulmányozásában , a matematikai logika a matematika egyik ága maradt; a matematikai logika fő problémája a matematikai szigorúság természetének magyarázata, a matematika alapjainak tanulmányozása és egy olyan technika kidolgozása, amelyet a matematikusok magabiztosan használhatnak, figyelembe véve a matematika mögöttes logika sajátos természetét;
- a logika, mint bármely olyan konkrét rendszer, amely a matematikai vagy filozófiai logika vizsgálatának tárgyát képezi, mint például az arisztotelészi logika, a modális logika, a kanti logika stb.
Curry „konstruktív neoformalizmusnak” nevezve rendszerét nem fogadja el D. Hilbert klasszikus formalizmusának egyes rendelkezéseit . Engedményt tesz tehát a konzisztencia követelményével kapcsolatban , amelyet D. Hilbert az axiómarendszer fő tulajdonságának tartott. „Miért – kérdezi – mondjuk, meg kell bizonyosodnunk egy elmélet konzisztenciájáról… mielőtt ezt az elméletet használnánk? Hiszen nem támasztunk ilyen igényeket semmilyen más tudományra. A fizikában például az elméletek mindig hipotetikusak ; elfogadunk egy elméletet, amint hasznos előrejelzések tehetők az alapján, és módosítjuk vagy elvetjük mindaddig, amíg ez nem lehetséges. Ebben persze van némi igazság. Ha bebizonyosodik, hogy az axiómarendszer inkonzisztens, akkor egy ilyen rendszernek nincs értéke, de az axiómarendszer ellenőrzését nem a konzisztencia ellenőrzésétől, hanem a rendszer gyakorlati alkalmazásától lehet kezdeni.
Curry a kombinatorikus logika területén végzett munkájáról ismert , amely eredeti függvények ("kombinátorok") rendszerét használja, amelyek nem szorulnak magyarázatra és nem kerülnek elemzésre. A kombinatorikus logika fejlődéséhez kapcsolódóan a számítás , a deduktív elméletek, valamint az algebrai törvények logikai alkalmazásának problémáival foglalkozott.
Főbb munkái
- Curry HB Funkcionalitás a kombinatív logikában. — Proc. Az Egyesült Államok Nemzeti Tudományos Akadémiája, 4. évf. 20, 1934. - pp. 584-590.
- Curry HB, Feys R. Kombinációs logika. — Vol. I, North-Holland Co., Amszterdam, 1958.
- Curry HB A matematikai logika alapjai. – McGraw-Hill Book Co., Inc., NY, 1963.
- Curry HB, Hindley R., Seldin JP Combinatory Logic. — Vol. II. Studies in Logic 65, North-Holland Co., Amszterdam, 1972.
Jegyzetek
- ↑ 1 2 3 4 5 6 7 8 MacTutor Matematikatörténet Archívum
- ↑ 1 2 Haskell Brooks Curry // Encyclopædia Britannica
- ↑ Haskell Brooks Curry // Brockhaus Encyclopedia (német) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ 1 2 3 Album Academicum - 2007.
- ↑ Seldin JP Curry programja, To HB Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, szerkesztette JP Seldin és JR Hindley ( Academic Press , London 1980), pp. 3-33. H. B. Curry kutatási programja és filozófiai koncepciói, aki számítási modelleket és deduktív érvelési eszközöket fektetett le objektumok tekintetében.
- ↑ Seldin JP The Logic of Church és Curry Archiválva 2009. augusztus 16. a Wayback Machine -nél . Megjelenik a Dov Gabbay és John Woods által szerkesztett Handbook of the History of Logic 5. kötetében, az Elsevier kiadásában.
- ↑ Hindley JR, Seldin JP (szerk.) HB Currynek: Esszék a kombinatív logikáról, a lambda-számításról és a fromalizmusról. – Akadémiai Kiadó , 1980. A dolgozat a számításelmélet alapvető problémáit és a matematika alapjait tükrözi .
- ↑ Seldin JP Curry formalizmusa mint strukturalizmus. Archiválva 2009. augusztus 16-án a Wayback Machine -n , amelyet a Kanadai Matematikatörténeti és Filozófiai Társaság harmincegyedik éves találkozóján mutattak be, Waterloo, Ontario, 2005. június 4-6.
Irodalom
- A. S. Kuzicsev, Z. A. Kuzicseva. Curry // Új filozófiai enciklopédia : 4 kötetben / előz. tudományos-szerk. V. S. Stepin tanácsa . — 2. kiadás, javítva. és további - M . : Gondolat , 2010. - 2816 p.
 Tematikus oldalak | ||||
|---|---|---|---|---|
| Szótárak és enciklopédiák | ||||
| ||||