Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Haskell Curry · Vinony

EntityQ92611· pop 27· linked from 127 articles

Haskell Curry

Sign in to save

American mathematician and logician (1900-1982)

Person · Open Library

Works: 2

Top works

Outlines of a Formalist Philosophy of Mathematics
Foundations of Combinatory Logic

via Open Library + Wikidata

Connections

programming language

Categories

1900 births 1982 deaths 20th-century American mathematicians Academic staff of the University of Amsterdam American logicians American philosophers of mathematics Harvard University alumni Harvard University Department of Philosophy faculty Pennsylvania State University faculty People from Millis, Massachusetts Princeton University faculty

Sources

wikipedia.externallinksexternallink
Open Libraryauthor-profile

formalism

Entity

computer science

Bertrand Russell

International Standard Book Number

Harvard University

electrical engineering

computer programming

differential equation

Massachusetts Institute of Technology

digital object identifier

International Standard Serial Number

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

J. Curry Street

Entitydist 0.44

Entitydist 0.47

Entitydist 0.49

Entitydist 0.49

Andrew Vázsonyi

Entitydist 0.50

Bryant Tuckerman

Entitydist 0.51

John Friedlander

Entitydist 0.51

Wu-Chung Hsiang

Entitydist 0.51

Entitydist 0.51

Friedrich Risner

Entitydist 0.51

Entitydist 0.51

Entitydist 0.51

What links here127 pages

Derrick Henry Lehmer

simply typed lambda calculus

J. Barkley Rosser

categorial grammar

sequent calculus

Kleene–Rosser paradox

functional programming

Moses Schönfinkel

cut-elimination

list of computer scientists

Association for Symbolic Logic

philosophy of mathematics

SKI combinator calculus