Haskell Curry
http://dbpedia.org/resource/Haskell_Curry an entity of type: Thing
Haskell Brooks Curry (12. září 1900 , Massachusetts – 1. září 1982 , Pensylvánie) byl americký matematik a logik. Je znám především díky své práci v oboru . Je také autorem Curryho paradoxu a Curryho–Howardova isomorfismu. Jsou po něm pojmenovány tři programovací jazyky: Haskell, Brook a Curry, jakož i technika přeměny funkce v matematice a matematické informatice zvaná currying.
rdf:langString
هاسكل بروكس كاري (بالإنجليزية: Haskell Brooks Curry) ولد في 12 سبتمبر 1900 وتوفي في 1 سبتمبر 1982، كان رياضياتي وعالم منطق أمريكي. اشتهر بعمله في مجال . رغم أن المفهوم الأولي في المنطق الترابطي قدم من طرف في ورقته البحثية. لكن كاري هو من طور المجال أكثر، اشتهر كاري بمفارقة كاري، تكافؤ كاري هوارد. سميت ثلاث لغات برمجة باسمه وهي هاسكل وبروك وكاري.
rdf:langString
Haskell Brooks Curry (* 12. September 1900 in , Massachusetts, USA; † 1. September 1982 in State College, Pennsylvania, USA) war ein US-amerikanischer Logiker und Mathematiker.
rdf:langString
Haskell Brooks CURRY [haskel bruks keri] (naskiĝis la 12-an de septembro 1900 en , Usono, mortis la 1-an de septembro 1982 en , Usono) estis usona matematikisto kaj logikisto. Curry estas plej konata pro sia laboro en ; kvankam la komenca koncepto de kombinatora logiko estis bazita sur artikolo de , Curry evoluis ĝin multe ankaŭ pro kaj la . Estas tri programlingvoj nomitaj honore de li, Haskell, kaj , ankaŭ la koncepto currying, nome maniero kiun oni uzas por transformi funkciojn en matematiko kaj informadiko.
rdf:langString
Haskell Brooks Curry (/ˈhæskəl/; September 12, 1900 – September 1, 1982) 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, Curry did much of the development. Curry is also known for Curry's paradox and the Curry–Howard correspondence. There are three programming languages named after him, Haskell, Brook and Curry, as well as the concept of currying, a technique used for transforming functions in mathematics and computer science.
rdf:langString
Haskell Brooks Curry estatubatuar matematikaria izan zen.
rdf:langString
Haskell Brooks Curry (né le 12 septembre 1900 et mort le 1er septembre 1982) est un logicien et mathématicien américain. Ses travaux posent 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 développe la majeure partie. Curry est également connu pour le paradoxe de Curry et pour la correspondance de Curry-Howard. À titre d'hommage, trois langages de programmation portent son nom - Haskell, (en) et (en) - de même que l'opération de curryfication.
rdf:langString
해스켈 브룩스 커리(영어: Haskell Brooks Curry, 1900년 9월 12일 - 1982년 9월 1일)는 미국의 수학자, 논리학자였다. 함수형 프로그래밍 언어에 많은 공헌을 했고, 를 만들었다. 하스켈 프로그래밍 언어와 커링은 그의 이름을 따서 붙여진 이름이다.
rdf:langString
Haskell Brooks Curry (ur. 12 września 1900, zm. 1 września 1982) – amerykański matematyk. Najbardziej znany jest ze swoich prac nad . 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 oraz rozwijanie funkcji currying w funkcyjnych językach programowania.
rdf:langString
Haskell Brooks Curry (Millis (Massachusetts), 12 september 1900 - State College (Pennsylvania), 1 september 1982) 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 in combinatorische logica.
rdf:langString
ハスケル・ブルックス・カリー（Haskell Brooks Curry、1900年9月12日 - 1982年9月1日）は、アメリカの数学者、論理学者。
rdf:langString
Haskell Brooks Curry (Millis, 12 de setembro de 1900 – State College, 1 de setembro de 1982) foi um matemático estadunidense. Conhecido por seu trabalho na lógica combinatória, continuando o conceito inicial de Moses Schönfinkel.
rdf:langString
Haskell Brooks Curry, född 12 september 1900, död 1 september 1982, var en amerikansk matematiker och logiker. Han är mest känd för sitt arbete inom kombinatorisk logik. Det ursprungliga begreppet kombinatorisk logik baserades på en enda artikel av Moses Schönfinkel, vilket Curry kom att bygga vidare på. Han är också känt för Currys paradox och Curry–Howard-korrespondensen. Det finns tre programmeringsspråk uppkallad efter honom, Haskell, Brook och Curry, samt begreppet currying, en teknik som används för att transformera funktioner i matematik och datavetenskap.
rdf:langString
Ха́скелл Брукс Ка́рри (12 сентября 1900 — 1 сентября 1982) — американский математик и логик.
rdf:langString
哈斯凱爾·布魯克·柯里（英語：Haskell Brooks Curry /ˈhæskəl ˈkɜːri/，1900年9月12日－1982年9月1日），生于美國麻薩諸塞州米里鎮，數理邏輯學家，專長於组合子逻辑理論。尽管组合子逻辑的概念始于的一纸论文，其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论和柯里-霍华德同构而闻名。 三个程式語言Haskell、、Curry，以及柯里化的概念都是以他的名字來命名的。
rdf:langString
Haskell Curry (anglès: Haskell Brooks Curry) (Millis, 12 de setembre de 1900 - State College, 1 de setembre de 1982) va ser un matemàtic i lògic estatunidenc. Curry és conegut pel seu treball en la lògica combinatòria, mentre que el concepte inicial de la lògica combinatòria es basa en un document de Moisès Schönfinkel, gran part del desenvolupament va ser realitzat per Curry. Curry és també conegut per la paradoxa de Curry i la correspondència Curry-Howard.
rdf:langString
Haskell Brooks Curry (12 de septiembre de 1900 - 1 de septiembre de 1982) fue un matemático y lógico estadounidense. Nacido en , Massachusetts, se educó en la Universidad Harvard y recibió un doctorado en Göttingen con David Hilbert en 1930. Enseñó en las universidades de Princeton y Harvard, 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, Pensilvania.
rdf:langString
Haskell Brooks Curry (Millis, 12 settembre 1900 – State College, 1º settembre 1982) è stato un matematico e logico statunitense.Figlio dell'educatore Samuel Silas Curry, studiò all'Università di Harvard e ricevette il dottorato a Gottinga 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.
rdf:langString
Га́скелл Брукс Каррі (англ. Haskell Brooks Curry; 12 вересня 1900, Массачусетс — 1 вересня 1982, Пенсільванія) — американський математик і логік. Програма його досліджень сприяла становленню конструктивного підходу до вироблення основ математики. Істотно вплинув на розвиток логіки, давши початок . Сприяв формуванню напряму структуралізму і формалізму в метаматематиці. Ним розроблені основи комбінаторної логіки, яка, у свою чергу, стала стимулом становлення парадигм програмування, серед яких і Функційне програмування.
rdf:langString
rdf:langString
هاسكل كاري
rdf:langString
Haskell Curry
rdf:langString
Haskell Brooks Curry
rdf:langString
Haskell Brooks Curry
rdf:langString
Haskell Curry
rdf:langString
Haskell Curry
rdf:langString
Haskell Curry
rdf:langString
Haskell Curry
rdf:langString
Haskell Curry
rdf:langString
Haskell Curry
rdf:langString
ハスケル・カリー
rdf:langString
해스켈 커리
rdf:langString
Haskell Curry
rdf:langString
Haskell Curry
rdf:langString
Haskell Curry
rdf:langString
Карри, Хаскелл
rdf:langString
Haskell Curry
rdf:langString
哈斯凯尔·柯里
rdf:langString
Гаскелл Каррі
rdf:langString
Haskell Brooks Curry
rdf:langString
Haskell Brooks Curry
rdf:langString
State College, Pennsylvania, US
xsd:date
1982-09-01
rdf:langString
Millis, Massachusetts, US
xsd:date
1900-09-12
xsd:integer
42182
xsd:integer
1110424560
xsd:date
1900-09-12
xsd:date
1982-09-01
rdf:langString
Logic
rdf:langString
American
rdf:langString
Haskell Brooks Curry (12. září 1900 , Massachusetts – 1. září 1982 , Pensylvánie) byl americký matematik a logik. Je znám především díky své práci v oboru . Je také autorem Curryho paradoxu a Curryho–Howardova isomorfismu. Jsou po něm pojmenovány tři programovací jazyky: Haskell, Brook a Curry, jakož i technika přeměny funkce v matematice a matematické informatice zvaná currying.
rdf:langString
Haskell Curry (anglès: Haskell Brooks Curry) (Millis, 12 de setembre de 1900 - State College, 1 de setembre de 1982) va ser un matemàtic i lògic estatunidenc. Curry és conegut pel seu treball en la lògica combinatòria, mentre que el concepte inicial de la lògica combinatòria es basa en un document de Moisès Schönfinkel, gran part del desenvolupament va ser realitzat per Curry. Curry és també conegut per la paradoxa de Curry i la correspondència Curry-Howard. Hi ha tres llenguatges de programació que porten el seu nom, Haskell, i Curry, així com el concepte de Currificació, una tècnica utilitzada per a la transformació de funcions en matemàtiques i ciències de la computació.
rdf:langString
هاسكل بروكس كاري (بالإنجليزية: Haskell Brooks Curry) ولد في 12 سبتمبر 1900 وتوفي في 1 سبتمبر 1982، كان رياضياتي وعالم منطق أمريكي. اشتهر بعمله في مجال . رغم أن المفهوم الأولي في المنطق الترابطي قدم من طرف في ورقته البحثية. لكن كاري هو من طور المجال أكثر، اشتهر كاري بمفارقة كاري، تكافؤ كاري هوارد. سميت ثلاث لغات برمجة باسمه وهي هاسكل وبروك وكاري.
rdf:langString
Haskell Brooks Curry (* 12. September 1900 in , Massachusetts, USA; † 1. September 1982 in State College, Pennsylvania, USA) war ein US-amerikanischer Logiker und Mathematiker.
rdf:langString
Haskell Brooks CURRY [haskel bruks keri] (naskiĝis la 12-an de septembro 1900 en , Usono, mortis la 1-an de septembro 1982 en , Usono) estis usona matematikisto kaj logikisto. Curry estas plej konata pro sia laboro en ; kvankam la komenca koncepto de kombinatora logiko estis bazita sur artikolo de , Curry evoluis ĝin multe ankaŭ pro kaj la . Estas tri programlingvoj nomitaj honore de li, Haskell, kaj , ankaŭ la koncepto currying, nome maniero kiun oni uzas por transformi funkciojn en matematiko kaj informadiko.
rdf:langString
Haskell Brooks Curry (12 de septiembre de 1900 - 1 de septiembre de 1982) fue un matemático y lógico estadounidense. Nacido en , Massachusetts, se educó en la Universidad Harvard y recibió un doctorado en Göttingen con David Hilbert en 1930. Enseñó en las universidades de Princeton y Harvard, 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, Pensilvania. 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 currificación en lenguajes de programación funcionales.
rdf:langString
Haskell Brooks Curry (/ˈhæskəl/; September 12, 1900 – September 1, 1982) 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, Curry did much of the development. Curry is also known for Curry's paradox and the Curry–Howard correspondence. There are three programming languages named after him, Haskell, Brook and Curry, as well as the concept of currying, a technique used for transforming functions in mathematics and computer science.
rdf:langString
Haskell Brooks Curry estatubatuar matematikaria izan zen.
rdf:langString
Haskell Brooks Curry (né le 12 septembre 1900 et mort le 1er septembre 1982) est un logicien et mathématicien américain. Ses travaux posent 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 développe la majeure partie. Curry est également connu pour le paradoxe de Curry et pour la correspondance de Curry-Howard. À titre d'hommage, trois langages de programmation portent son nom - Haskell, (en) et (en) - de même que l'opération de curryfication.
rdf:langString
해스켈 브룩스 커리(영어: Haskell Brooks Curry, 1900년 9월 12일 - 1982년 9월 1일)는 미국의 수학자, 논리학자였다. 함수형 프로그래밍 언어에 많은 공헌을 했고, 를 만들었다. 하스켈 프로그래밍 언어와 커링은 그의 이름을 따서 붙여진 이름이다.
rdf:langString
Haskell Brooks Curry (Millis, 12 settembre 1900 – State College, 1º settembre 1982) è stato un matematico e logico statunitense.Figlio dell'educatore Samuel Silas Curry, studiò all'Università di Harvard e ricevette il dottorato a Gottinga 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.
rdf:langString
Haskell Brooks Curry (ur. 12 września 1900, zm. 1 września 1982) – amerykański matematyk. Najbardziej znany jest ze swoich prac nad . 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 oraz rozwijanie funkcji currying w funkcyjnych językach programowania.
rdf:langString
Haskell Brooks Curry (Millis (Massachusetts), 12 september 1900 - State College (Pennsylvania), 1 september 1982) 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 in combinatorische logica.
rdf:langString
ハスケル・ブルックス・カリー（Haskell Brooks Curry、1900年9月12日 - 1982年9月1日）は、アメリカの数学者、論理学者。
rdf:langString
Haskell Brooks Curry (Millis, 12 de setembro de 1900 – State College, 1 de setembro de 1982) foi um matemático estadunidense. Conhecido por seu trabalho na lógica combinatória, continuando o conceito inicial de Moses Schönfinkel.
rdf:langString
Haskell Brooks Curry, född 12 september 1900, död 1 september 1982, var en amerikansk matematiker och logiker. Han är mest känd för sitt arbete inom kombinatorisk logik. Det ursprungliga begreppet kombinatorisk logik baserades på en enda artikel av Moses Schönfinkel, vilket Curry kom att bygga vidare på. Han är också känt för Currys paradox och Curry–Howard-korrespondensen. Det finns tre programmeringsspråk uppkallad efter honom, Haskell, Brook och Curry, samt begreppet currying, en teknik som används för att transformera funktioner i matematik och datavetenskap.
rdf:langString
Ха́скелл Брукс Ка́рри (12 сентября 1900 — 1 сентября 1982) — американский математик и логик.
rdf:langString
哈斯凱爾·布魯克·柯里（英語：Haskell Brooks Curry /ˈhæskəl ˈkɜːri/，1900年9月12日－1982年9月1日），生于美國麻薩諸塞州米里鎮，數理邏輯學家，專長於组合子逻辑理論。尽管组合子逻辑的概念始于的一纸论文，其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论和柯里-霍华德同构而闻名。 三个程式語言Haskell、、Curry，以及柯里化的概念都是以他的名字來命名的。
rdf:langString
Га́скелл Брукс Каррі (англ. Haskell Brooks Curry; 12 вересня 1900, Массачусетс — 1 вересня 1982, Пенсільванія) — американський математик і логік. Програма його досліджень сприяла становленню конструктивного підходу до вироблення основ математики. Істотно вплинув на розвиток логіки, давши початок . Сприяв формуванню напряму структуралізму і формалізму в метаматематиці. Ним розроблені основи комбінаторної логіки, яка, у свою чергу, стала стимулом становлення парадигм програмування, серед яких і Функційне програмування. На його честь було названо дві мови програмування Curry, Haskell, а також метод Каррінгу, який використовується для трансформації функцій в математиці і інформатиці.
xsd:nonNegativeInteger
11455