Haskell Brooks Curry was an American mathematician and logician. Curry is best known for his work in combinatory logic; while the initial concept of combinatory logic was based on a single paper by Moses Schönfinkel, much of the development was done by Curry. Curry is also known for Curry's paradox and the Curry–Howard correspondence. There are two important programming languages named after him, Haskell and Curry.
| Property | Value |
|---|
| dbpedia-owl:Person/almaMater
| |
| dbpedia-owl:Person/birthDate
| |
| dbpedia-owl:Person/birthPlace
| |
| dbpedia-owl:Person/citizenship
| |
| dbpedia-owl:Person/deathDate
| |
| dbpedia-owl:Person/deathPlace
| |
| dbpedia-owl:Person/individualisedPnd
| |
| dbpedia-owl:Person/influencedBy
| |
| dbpedia-owl:Person/knownFor
| |
| dbpedia-owl:Scientist/doctoralAdvisor
| |
| dbpedia-owl:Scientist/doctoralStudent
| |
| dbpedia-owl:almaMater
| |
| dbpedia-owl:birthDate
| |
| dbpedia-owl:birthPlace
| |
| dbpedia-owl:citizenship
| |
| dbpedia-owl:deathDate
| |
| dbpedia-owl:deathPlace
| |
| dbpedia-owl:doctoralAdvisor
| |
| dbpedia-owl:doctoralStudent
| |
| dbpedia-owl:influencedBy
| |
| dbpedia-owl:knownFor
| |
| dbpprop:abstract
|
- Haskell Brooks Curry was an American mathematician and logician. Curry is best known for his work in combinatory logic; while the initial concept of combinatory logic was based on a single paper by Moses Schönfinkel, much of the development was done by Curry. Curry is also known for Curry's paradox and the Curry–Howard correspondence. There are two important programming languages named after him, Haskell and Curry.
- Haskell Brooks Curry war ein US-amerikanischer Logiker und Mathematiker.
- Haskell Brooks Curry fue un matemático y lógico estadounidense. Nacido en Millis, Massachusetts, se educó en la universidad Harvard y recibió un doctorado de en Göttingen con David Hilbert en 1930. Enseñó en las universidades de Harvard, Princeton, y después, comenzando en 1929, durante 35 años en la Universidad Estatal de Pensilvania. En 1966 llegó a ser profesor de matemáticas en Ámsterdam. Murió en State College, Pennsylvania. El trabajo principal de Curry fue en lógica matemática, especialmente en la teoría de sistemas y procesos formales - lógica combinatoria, el fundamento para los lenguajes de programación funcionales. Los lenguajes de programación funcionales Haskell y Curry se nombran así por él al igual que el proceso de en:currying en lenguajes de programación funcionales.
- Haskell Brooks Curry était un mathématicien et logicien américain. Ses travaux ont posé les bases de la programmation fonctionnelle. Curry est principalement connu pour son travail sur la logique combinatoire : alors que le concept de logique combinatoire était basé sur un unique article de Moses Schönfinkel, Curry en a développé la majeure partie. Curry est également connu pour le paradoxe de Curry et pour la correspondance de Curry-Howard. Deux langages de programmation sont nommés en son hommage : Haskell et Curry.
- Haskell Brooks Curry matematikus, a kombinatorikus logika kutatója. Nevét viseli a Haskell és a Curry általános célú funkcionális programozási nyelv, valamint nevéről lett elnevezve a „powerC” függvény is, a „power” függvény ún. „curried” változata.
- Figlio dell'educatore Samuel Silas Curry, studiò all'Università di Harvard e ricevette il dottorato a Gottingen nel 1930, sotto la supervisione di David Hilbert. Insegnò a Harvard, Princeton, e poi dal 1929 per 35 anni all'università statale della Pennsylvania. Nel 1942 espose il paradosso di Curry. Nel 1966 divenne professore di matematica all'università di Amsterdam. Morì in State College, Pennsylvania. Nel campo della logica matematica, specialmente in logica combinatoria, il lavoro principale di Curry fu quello di gettare le fondamenta per un linguaggio di programmazione funzionale. I linguaggi funzionali Haskell e Curry furono chiamati così in suo onore, così come il concetto di curryficazione in logica combinatoria. In seguito, partendo dai suoi lavori, vennero definiti il lambda calcolo e la programmazione funzionale.
- ハスケル・ブルックス・カリー（Haskell Brooks Curry、1900年9月12日マサチューセッツ州ミリス－1982年9月1日ペンシルベニア州立大学）はアメリカの数学者、論理学者。 教育者サミュエル・サイラス・カリーの子として生まれる。ハーバード大学を卒業後、1930年、ゲッティンゲン大学でダフィット・ヒルベルトに師事し、博士号を得た。 ゲッティンゲンに在学中、モーゼス・シェーンフィンケルが組合せ論理を導入した1920年の講義の記録を読んだのは、幸運な出来事であった。これに触発されて、組合せ論理をテーマにして博士論文を書き上げた。残りの研究歴をこの分野に費やし、組合せ論理の開拓者、最大の貢献者になった。組合せ論理は、ある種の関数型プログラミング言語の基盤になっている。組合せ論理の力と範囲は、アロンゾ・チャーチのラムダ計算のそれときわめて似通っているが、近年は後者の形式主義の方が優勢である。 はじめ、ハーバード大学とプリンストン大学で教え、1929年から1966年までペンシルベニア州立大学で教えた。1942年、カリーのパラドックスを発表。1966年、アムステルダム大学の数学教授になった。 カリーはまた、より一般的な数理論理学についても研究し講義した。この分野での指導は、1963年の『数理論理学の基礎』に結実している。カリーが好んだ数理哲学は、師のヒルベルトにならって形式主義であったが（1951年の著作を参照）、自身の著作には直観主義論理への多大な関心が現れている。
- Haskell Brooks Curry was een Amerikaanse wiskundige en logicus. Hij was de zoon van de onderwijzer Samual Silas Curry. De functionele programmeertalen Haskell en Curry zijn naar hem vernoemd evenals het concept van currying in combinatorische logica.
- Haskell Brooks Curry - amerykański matematyk. Najbardziej znany jest ze swoich prac nad logiką kombinatoryczną. Curry jest też znany z paradoksu Curry'ego i izomorfizmu Curry'ego-Howarda. Na jego cześć zostały nazwane dwa języki programowania, Haskell i Curry.
- Haskell Brooks Curry foi um matemático dos Estados Unidos da América. Ele é conhecido por seu trabalho na lógica combinatória, continuando o conceito inicial de Moses Schönfinkel.
- Ка́рри, Ха́скелл Брукс — американский математик и логик. Программа его исследований способствовала становлению конструктивного подхода к выработке оснований математики. Существенно повлиял на развитие логики, дав начало логике Черча-Карри Способствовал формированию направления структурализма и формализма в метаматематике. Им разработаны основы комбинаторной логики, которая, в свою очередь, явилась стимулом становления парадигм программирования, среди которых аппликативное и функциональное программирование. В его честь было названо два языка программирования: Haskell и Curry (развитие на основе языка Haskell).
- Хаскелл Каррі Ха́скелл Брукс Каррі — американський математик і логік. Програма його досліджень сприяла становленню конструктивного підходу до вироблення основ математики. Істотно вплинув на розвиток логіки, давши початок логіці Черча-Каррі. Сприяв формуванню напряму структуралізму і формалізму в метаматематиці. Ним розроблені основи комбінаторної логіки, яка, у свою чергу, стала стимулом становлення парадигм програмування, серед яких аплікативне і функціональне програмування. На його честь було названо дві мови програмування: Curry та Haskell.
|
| dbpprop:almaMater
| |
| dbpprop:birthDate
| |
| dbpprop:birthPlace
| |
| dbpprop:citizenship
| |
| dbpprop:deathDate
| |
| dbpprop:deathPlace
| |
| dbpprop:doctoralAdvisor
| |
| dbpprop:doctoralStudents
| |
| dbpprop:field
| |
| dbpprop:hasPhotoCollection
| |
| dbpprop:influences
| |
| dbpprop:knownFor
| |
| dbpprop:name
|
- Curry, Haskell
- Haskell Brooks Curry
|
| dbpprop:reference
| |
| dbpprop:shortDescription
| |
| dbpprop:wikiPageUsesTemplate
| |
| dbpprop:wordnet_type
| |
| dbpprop:workInstitutions
| |
| rdf:type
| |
| rdfs:comment
|
- Haskell Brooks Curry was an American mathematician and logician. Curry is best known for his work in combinatory logic; while the initial concept of combinatory logic was based on a single paper by Moses Schönfinkel, much of the development was done by Curry. Curry is also known for Curry's paradox and the Curry–Howard correspondence. There are two important programming languages named after him, Haskell and Curry.
- Haskell Brooks Curry war ein US-amerikanischer Logiker und Mathematiker.
- Haskell Brooks Curry fue un matemático y lógico estadounidense. Nacido en Millis, Massachusetts, se educó en la universidad Harvard y recibió un doctorado de en Göttingen con David Hilbert en 1930. Enseñó en las universidades de Harvard, Princeton, y después, comenzando en 1929, durante 35 años en la Universidad Estatal de Pensilvania. En 1966 llegó a ser profesor de matemáticas en Ámsterdam. Murió en State College, Pennsylvania.
- Haskell Brooks Curry était un mathématicien et logicien américain. Ses travaux ont posé les bases de la programmation fonctionnelle. Curry est principalement connu pour son travail sur la logique combinatoire : alors que le concept de logique combinatoire était basé sur un unique article de Moses Schönfinkel, Curry en a développé la majeure partie. Curry est également connu pour le paradoxe de Curry et pour la correspondance de Curry-Howard.
- Haskell Brooks Curry matematikus, a kombinatorikus logika kutatója. Nevét viseli a Haskell és a Curry általános célú funkcionális programozási nyelv, valamint nevéről lett elnevezve a „powerC” függvény is, a „power” függvény ún. „curried” változata.
- Figlio dell'educatore Samuel Silas Curry, studiò all'Università di Harvard e ricevette il dottorato a Gottingen nel 1930, sotto la supervisione di David Hilbert. Insegnò a Harvard, Princeton, e poi dal 1929 per 35 anni all'università statale della Pennsylvania. Nel 1942 espose il paradosso di Curry. Nel 1966 divenne professore di matematica all'università di Amsterdam. Morì in State College, Pennsylvania.
- Haskell Brooks Curry was een Amerikaanse wiskundige en logicus. Hij was de zoon van de onderwijzer Samual Silas Curry. De functionele programmeertalen Haskell en Curry zijn naar hem vernoemd evenals het concept van currying in combinatorische logica.
- Haskell Brooks Curry - amerykański matematyk. Najbardziej znany jest ze swoich prac nad logiką kombinatoryczną. Curry jest też znany z paradoksu Curry'ego i izomorfizmu Curry'ego-Howarda. Na jego cześć zostały nazwane dwa języki programowania, Haskell i Curry.
- Haskell Brooks Curry foi um matemático dos Estados Unidos da América. Ele é conhecido por seu trabalho na lógica combinatória, continuando o conceito inicial de Moses Schönfinkel.
- Ка́рри, Ха́скелл Брукс — американский математик и логик. Программа его исследований способствовала становлению конструктивного подхода к выработке оснований математики.
|
| rdfs:label
|
- Haskell Curry
- Haskell Brooks Curry
- Haskell Curry
- Haskell Curry
- Haskell Brooks Curry
- Haskell Curry
- ハスケル・カリー
- Haskell Brooks Curry
- Haskell Curry
- Haskell Curry
- Карри, Хаскелл
- Хаскелл Каррі
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:givenname
| |
| foaf:name
|
- Haskell Brooks Curry
- Haskell Curry
|
| foaf:page
| |
| foaf:surname
| |
| is dbpedia-owl:Person/influencedBy
of | |
| is dbpedia-owl:Scientist/doctoralStudent
of | |
| is dbpedia-owl:doctoralStudent
of | |
| is dbpedia-owl:influencedBy
of | |
| is dbpprop:disambiguates
of | |
| is dbpprop:doctoralStudents
of | |
| is dbpprop:influences
of | |
| is dbpprop:redirect
of | |
| is owl:sameAs
of | |
![[RDF Data]](/statics/sw-cube.png)
