Curry, Haskell

Haskell Curry
Engleză  Haskell Brooks Curry
Numele la naștere Engleză  Haskell Brooks Curry
Data nașterii 12 septembrie 1900( 1900-09-12 ) [1] [2] [3] […]
Locul nașterii
Data mortii 1 septembrie 1982( 01-09-1982 ) [1] [2] [4] […] (în vârstă de 81 de ani)
Un loc al morții
Țară
Loc de munca
Alma Mater
consilier științific David Gilbert

Haskell Brooks Curry ( 12 septembrie 1900  – 1 septembrie 1982 ) a fost un matematician și logician american .

Biografie

Născut în Millis ( Massachusetts ), a fost educat la Universitatea Harvard . Și-a susținut disertația la Göttingen sub îndrumarea lui Hilbert (1930). A lucrat cea mai mare parte a vieții sale la Universitatea din Pennsylvania .

Paradoxul Curry și corespondența Curry-Howard sunt asociate cu numele său , două limbaje de programare, Haskell și Curry , poartă numele lui , precum și operația funcțională „ curry ” utilizată pe scară largă în limbajele de programare.

Contribuție la știință

Programul cercetării sale [5] a contribuit la formarea unei abordări constructive a dezvoltării fundamentelor matematicii . A influențat semnificativ dezvoltarea logicii [6] , a contribuit la formarea direcției structuralismului și formalismului în metamatematică [7] [8] . A dezvoltat bazele logicii combinatorii , care, la rândul lor, a fost stimulul pentru formarea mai multor paradigme de programare , inclusiv programarea aplicativă și funcțională .

Lucrări logice

Conceptul de „logică” el interpretează în trei sensuri:

Numindu-și sistemul „neoformalism constructiv”, Curry nu acceptă unele dintre prevederile formalismului clasic al lui D. Hilbert . Așa că face o concesie cu privire la cerința de consistență , pe care D. Hilbert o considera principala proprietate a sistemului de axiome. „De ce”, întreabă el, „să spunem, trebuie să fim siguri de consistența unei teorii... înainte de a folosi această teorie? La urma urmei, nu facem astfel de pretenții nici unei alte științe. În fizică, de exemplu, teoriile sunt întotdeauna ipotetice ; acceptăm o teorie de îndată ce se pot face predicții utile pe baza ei și o modificăm sau respingem atâta timp cât acest lucru nu se poate face. Există ceva adevăr în asta, desigur. Dacă se stabilește că sistemul de axiome este inconsecvent, atunci un astfel de sistem nu are valoare, dar se poate începe verificarea sistemului de axiome nu din verificarea consistenței acestuia, ci din aplicarea sistemului în practică.

Curry este cunoscut pentru munca sa în domeniul logicii combinatorii , care folosește un sistem de funcții originale ("combinatoare") care nu au nevoie de explicații și nu sunt analizate. În legătură cu dezvoltarea logicii combinatorii, el s-a ocupat de problemele calculului , teoriile deductive și aplicarea legilor algebrice în logică.

Lucrări principale

Traducere rusă: H. B. Curry Fundamentele logicii matematice. — M.: Mir, 1969. — 568 p. A fost efectuat un studiu detaliat al conceptelor de bază ale logicii matematice. Este prezentată teoria generală a sistemelor formale și a calculului. Sunt discutate aspecte metodologice generale, iar calculele care conțin implicații, negații și cuantificatori sunt descrise succesiv. Sunt luate în considerare întrebările teoriei modalităţilor. Pentru toate dovezile și definițiile, se aplică o abordare constructivă.

Note

  1. ↑ 1 2 3 4 5 6 7 8 Arhiva MacTutor History of Mathematics
  2. ↑ 1 2 Haskell Brooks Curry // Encyclopædia Britannica 
  3. ↑ Haskell Brooks Curry // Enciclopedia Brockhaus  (germană) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
  4. ↑ 1 2 3 Album Academicum - 2007.
  5. ↑ Programul lui Seldin JP Curry, în To HB Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism editat de JP Seldin și JR Hindley ( Academic Press , Londra 1980), pp. 3-33. Programul de cercetare și conceptele filozofice ale lui H. B. Curry, care a stabilit modele de calcul și mijloace deductive de raționament în termeni de obiecte.
  6. ^ Seldin JP The Logic of Church and Curry Arhivat la 16 august 2009 la Wayback Machine . Apare în Handbook of the History of Logic, volumul 5, editat de Dov Gabbay și John Woods, care urmează să fie publicat de Elsevier.
  7. ↑ Hindley JR, Seldin JP (Eds.) Către HB Curry: Eseuri despre logica combinatorie, calculul lambda și fromalism. — Academic Press , 1980. Lucrarea reflectă problemele fundamentale ale teoriei calculului și fundamentele matematicii.
  8. ↑ Seldin JP Curry's Formalism as Structuralism. Arhivat 16 august 2009 la Wayback Machine Prezentat la cea de-a treizeci și unu-a întâlnire anuală a Societății Canadei pentru Istoria și Filosofia Matematicii, Waterloo, Ontario, 4-6 iunie 2005.

Literatură

  Accesați articolul Wikidata  Site-uri tematice
Dicționare și enciclopedii