Kari, Haskell
| Haskell Curry | |
|---|---|
| Angličtina Haskell Brooks Curry | |
| Jméno při narození | Angličtina Haskell Brooks Curry |
| Datum narození | 12. září 1900 [1] [2] [3] […] |
| Místo narození |
|
| Datum úmrtí | 1. září 1982 [1] [2] [4] […] (ve věku 81 let) |
| Místo smrti |
|
| Země | |
| Místo výkonu práce | |
| Alma mater |
|
| vědecký poradce | David Gilbert |
Haskell Brooks Curry ( 12. září 1900 - 1. září 1982 ) byl americký matematik a logik .
Životopis
Narodil se v Millis ( Massachusetts ), vystudoval Harvardskou univerzitu . Disertační práci obhájil v Göttingenu pod vedením Hilberta (1930). Většinu svého života působil na University of Pennsylvania .
S jeho jménem je spojen Curryho paradox a korespondence Curry–Howard , jsou po něm pojmenovány dva programovací jazyky, Haskell a Curry , a také funkční operace „ curry “ široce používaná v programovacích jazycích.
Příspěvek k vědě
Program jeho výzkumu [5] přispěl k vytvoření konstruktivního přístupu k rozvoji základů matematiky . Významně ovlivnil vývoj logiky [6] , přispěl k formování směru strukturalismu a formalismu v metamatematice [7] [8] . Vyvinul základy kombinatorické logiky , což bylo podnětem pro vytvoření několika programovacích paradigmat , včetně aplikačního a funkcionálního programování .
Logická díla
Pojem „logika“ interpretuje ve třech smyslech:
- filozofická logika, která studuje normy, tedy zásady správného uvažování ;
- matematická logika - logika blízce příbuzná filozofické logice, která vznikla jako výsledek aplikace matematických metod při studiu filozofické logiky , matematická logika zůstala odvětvím matematiky; hlavním problémem matematické logiky je vysvětlení podstaty matematické přísnosti, studium základů matematiky a vývoj techniky, kterou mohou matematici s jistotou používat, s přihlédnutím ke specifické povaze logiky, která je základem matematiky;
- logika jako jakýkoli z konkrétních systémů, které jsou předmětem studia matematické nebo filozofické logiky, jako je aristotelská logika, modální logika, kantovská logika atd.
Curry nazýval svůj systém „konstruktivním neoformalismem“ a nepřijímá některá ustanovení klasického formalismu D. Hilberta . Činí tedy ústupek ohledně požadavku konzistence , který D. Hilbert považoval za hlavní vlastnost systému axiomů. "Proč," ptá se, "řekni, potřebujeme si být jisti konzistencí teorie... před použitím této teorie? Ostatně takové nároky na žádnou jinou vědu neklademe. Například ve fyzice jsou teorie vždy hypotetické ; Teorii přijímáme, jakmile lze na jejím základě učinit užitečné předpovědi, a pokud to nelze provést, upravujeme ji nebo odmítáme. Je v tom samozřejmě kus pravdy. Pokud se zjistí, že systém axiomů je nekonzistentní, pak takový systém nemá žádnou hodnotu, ale lze začít kontrolovat systém axiomů nikoli kontrolou jeho konzistence, ale aplikací systému v praxi.
Curry je známý svou prací v oblasti kombinatorické logiky , která využívá systém originálních funkcí ("kombinátorů"), které nepotřebují vysvětlení a nejsou analyzovány. V souvislosti s rozvojem kombinatorické logiky se zabýval problémy počtu , deduktivních teorií a aplikací algebraických zákonů v logice.
Hlavní práce
- Curry HB Funkčnost v kombinační logice. — Proc. Národní akademie věd USA, sv. 20, 1934. - str. 584-590.
- Curry HB, Feys R. Kombinační logika. — Sv. I, North-Holland Co., Amsterdam, 1958.
- Curry HB Základy matematické logiky. — McGraw-Hill Book Co., Inc., NY, 1963.
- Curry HB, Hindley R., Seldin JP kombinační logika. — Sv. II. Studie logiky 65, North-Holland Co., Amsterdam, 1972.
Poznámky
- ↑ 1 2 3 4 5 6 7 8 MacTutor Archiv historie matematiky
- ↑ 1 2 Haskell Brooks Curry // Encyclopædia Britannica
- ↑ Haskell Brooks Curry // Encyklopedie Brockhaus (německy) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ 1 2 3 Album Academicum - 2007.
- ↑ Program Seldina JP Curryho v To HB Curry: Essays on Combinatory Logic, Lambda Calculus and formalism edited by JP Seldin and JR Hindley ( Academic Press , London 1980), pp. 3-33. Výzkumný program a filozofické koncepty H. B. Curryho, který stanovil výpočtové modely a deduktivní prostředky uvažování z hlediska objektů.
- ↑ Seldin JP The Logic of Church and Curry Archivováno 16. srpna 2009 na Wayback Machine . Objeví se v Handbook of the History of Logic, svazek 5, editovali Dov Gabbay a John Woods, který má být publikován nakladatelstvím Elsevier.
- ↑ Hindley JR, Seldin JP (Eds.) To HB Curry: Eseje o kombinatorické logice, lambda kalkulu a fromalismu. — Academic Press , 1980. Článek reflektuje základní problémy teorie počítání a základy matematiky.
- ↑ Formalismus jako strukturalismus Seldina JP Curryho. Archivováno 16. srpna 2009 na Wayback Machine Prezentováno na 31. výročním zasedání Kanadské společnosti pro historii a filozofii matematiky, Waterloo, Ontario, 4.–6. června 2005.
Literatura
- A. S. Kuzichev, Z. A. Kuzicheva. Curry // Nová filozofická encyklopedie : ve 4 svazcích / předchozí. vědecky vyd. rada V. S. Stepina . — 2. vyd., opraveno. a doplňkové - M . : Myšlenka , 2010. - 2816 s.
 Tematické stránky | ||||
|---|---|---|---|---|
| Slovníky a encyklopedie | ||||
| ||||