Property |
Value |
dbo:abstract
|
- 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. (es)
- 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. (es)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
| |
dbo:wikiPageRevisionID
| |
prop-es:id
| |
prop-es:título
|
- Haskell Brooks Curry (es)
- Haskell Brooks Curry (es)
|
dct:subject
| |
rdfs:comment
|
- 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. (es)
- 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. (es)
|
rdfs:label
|
- Haskell Curry (es)
- Haskell Curry (es)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |