|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:Harvard_University
|
|
gptkbp:birthDate
|
1900-09-12
|
|
gptkbp:birthPlace
|
gptkb:Millis,_Massachusetts,_United_States
|
|
gptkbp:deathDate
|
1982-09-01
|
|
gptkbp:deathPlace
|
gptkb:State_College,_Pennsylvania,_United_States
|
|
gptkbp:doctoralAdvisor
|
gptkb:George_David_Birkhoff
|
|
gptkbp:employer
|
gptkb:Harvard_University
gptkb:Pennsylvania_State_University
gptkb:University_of_Amsterdam
gptkb:University_of_Chicago
|
|
gptkbp:field
|
gptkb:logic
gptkb:mathematics
combinatory logic
functional programming
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Haskell Brooks Curry
|
|
gptkbp:influenced
|
gptkb:lambda_calculus
gptkb:logic
computer science
functional programming languages
|
|
gptkbp:influencedBy
|
gptkb:Alonzo_Church
gptkb:Bertrand_Russell
gptkb:David_Hilbert
gptkb:Giuseppe_Peano
|
|
gptkbp:knownFor
|
gptkb:Curry–Howard_correspondence
gptkb:Curry–Howard_isomorphism
gptkb:Curry's_paradox
gptkb:Curry–Howard–Lambek_correspondence
combinatory logic
Curry programming language (named after him)
Haskell programming language (named after him)
|
|
gptkbp:memberOf
|
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:National_Academy_of_Sciences
|
|
gptkbp:nationality
|
gptkb:American
|
|
gptkbp:notableStudent
|
gptkb:Raymond_Smullyan
gptkb:Jon_Barwise
gptkb:William_Craig
gptkb:J._Roger_Hindley
gptkb:Robert_Feys
|
|
gptkbp:notableWork
|
gptkb:Combinatory_Logic_(book,_with_Robert_Feys)
gptkb:Outlines_of_a_Formalist_Philosophy_of_Mathematics
gptkb:Foundations_of_Mathematical_Logic
|
|
gptkbp:occupation
|
gptkb:logic
gptkb:mathematician
|
|
gptkbp:signature
|
Haskell Brooks Curry signature.svg
|
|
gptkbp:spouse
|
gptkb:Mary_Virginia_Wheatley
|
|
gptkbp:bfsParent
|
gptkb:Haskell_Curry
|
|
gptkbp:bfsLayer
|
5
|