Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 2906070 obálek a 876950 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Curry, Haskell Brooks | |
|
Autor: Curry, Haskell Brooks
Rok: 1900-1982 Haskell Brooks Curry (12. září 1900 Millis, Massachusetts – 1. září 1982 State College, Pensylvánie) byl americký matematik a logik.Narodil se v Millis, Massachusetts, rodičům Samuelu Silas Curry a Anně Baright Curry. Od roku 1916 studoval medicínu na Harvard University, ale později přešel na studium matematiky. Po absolvování elektrotechniky se vrátil studovat fyziku na Harvard. Zajímal se o logiku a kombinační logiku, spolupracoval s odborníky, např. Heinrichem Behmannem, Paulem Bernaysem a Davidem Hilbertem. V roce 1928 se Curry oženil s Marii Virginie Wheatley, žili spolu v Německu, po dokončení disertační práce v roce 1929, se přestěhovali do State College v Pensylvánii, kde Curry přijal místo na Penn State College. Měli spolu dvě děti, Anne Wright Curry (27. července 1930) a Robert Wheatley Curry (06.07.1934). Na Penn State pobýval Curry následujících 37 let. Jeden rok strávil na University of Chicago v letech 1931-32 v rámci národního výzkumu přátelství a jeden rok v 1938-39 u ústavu pro pokročilé studium v Princetonu. Bezprostředně po válce, v letech 1945 až 1946 pracoval na projektu ENIAC. V rámci Fulbrightova stipendia spolupracoval s Robertem Feys v belgické Lovani. Po odchodu z Penn State v roce 1966, Curry přijal místo na univerzitě v Amsterdamu. V roce 1970, po dokončení druhého dílu jeho pojednání o kombinační logice, Curry odešel z univerzity v Amsterdamu a vrátil se do State College v Pensylvánii.Haskell Curry zemřel dne 1. září 1982 v State College, Pensylvánie.Těžiště jeho práce bylo dokázat vztahy a souvislosti kombinační logiky s matematikou. Ke konci roku 1933 se dozvěděl o Kleene-Rosser paradoxu z korespondence s John Rosser. Paradox, vyvinutý Rosserova a Stephen Kleene prokázal nesoudržnost řady souvisejících formálních systémů, včetně lambda kalkulu. Curry se v podstatě stal zakladatelem kombinační logiky a vzešel z ní jako základ jeden styl funkcionálního programovacího jazyku. Síla a rozsah kombinační logiky je docela podobný lambda kalkulu Alonza Churche.Curry také psal a učil o matematické logice obecně, jeho učení v této oblasti vyvrcholilo v roce 1963 publikováním Základů matematické logiky. |