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 kombinatorickou logiku, spolupracoval s odborníky, např.
| Property | Value |
|---|
| prop-cs:wikiPageUsesTemplate
| |
| dbpedia-owl:abstract
|
- 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 kombinatorickou 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 kombinatorické 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 kombinatorické 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 kombinatorické logiky a vzešel z ní jako základ jeden styl funkcionálního programovacího jazyku. Síla a rozsah kombinatorické 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.
|
| dbpedia-owl:wikiPageID
| |
| dbpedia-owl:wikiPageLength
| |
| dbpedia-owl:wikiPageOutDegree
| |
| dbpedia-owl:wikiPageRevisionID
| |
| dbpedia-owl:wikiPageWikiLink
| |
| dbpedia-owl:wikiPageWikiLinkText
|
- Haskell Brooks Curry
- H. B. Curry
|
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- 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 kombinatorickou logiku, spolupracoval s odborníky, např.
|
| rdfs:label
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbpedia-owl:wikiPageRedirects
of | |
| is dbpedia-owl:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
