Curry, Haskell B. (Haskell Brooks) 19001982
Overview
Works:  38 works in 267 publications in 8 languages and 3,739 library holdings 

Roles:  Author, Honoree, Contributor, Editor, Dedicatee 
Classifications:  QA9, 510.1 
Publication Timeline
.
Most widely held works about
Haskell B Curry
 The fundamental properties of geodesics by Haskell B Curry( )
 Haskell B. Curry papers by Haskell B Curry( )
 Curry, Haskell Brooks. mathematician, educator( )
 Haskell Brooks Curry( )
Most widely held works by
Haskell B Curry
Foundations of mathematical logic by
Haskell B Curry(
Book
)
32 editions published between 1961 and 2012 in English and held by 932 WorldCat member libraries worldwide
A comprehensive account of the constructive theory of the firstorder predicate calculus, which is central to modern mathematical logic and important for mathematicians, philosophers and scientists whose work impinges upon logic. The first half of the book gives the basic principles and outlines of the field. After a general introduction, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included. The elementary facts about lattices and similar algebraic systems are then covered. In the second half of the book Curry investigates the possibility for a formulation which expresses the meaning to be attached to the logical connectives and to develop the properties which follow from the assumptions so motivated. Written by a man considered by many to be one of the major pioneers in the field of mathematical logic, this book avoids a doctrinaire stance, presenting various interpretations of logical systems.From publisher description
32 editions published between 1961 and 2012 in English and held by 932 WorldCat member libraries worldwide
A comprehensive account of the constructive theory of the firstorder predicate calculus, which is central to modern mathematical logic and important for mathematicians, philosophers and scientists whose work impinges upon logic. The first half of the book gives the basic principles and outlines of the field. After a general introduction, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included. The elementary facts about lattices and similar algebraic systems are then covered. In the second half of the book Curry investigates the possibility for a formulation which expresses the meaning to be attached to the logical connectives and to develop the properties which follow from the assumptions so motivated. Written by a man considered by many to be one of the major pioneers in the field of mathematical logic, this book avoids a doctrinaire stance, presenting various interpretations of logical systems.From publisher description
Combinatory logic by
Haskell B Curry(
Book
)
86 editions published between 1958 and 1994 in 4 languages and held by 740 WorldCat member libraries worldwide
Provability, Computability and Reflection
86 editions published between 1958 and 1994 in 4 languages and held by 740 WorldCat member libraries worldwide
Provability, Computability and Reflection
Outlines of a formalist philosophy of mathematics by
Haskell B Curry(
Book
)
46 editions published between 1951 and 1970 in 4 languages and held by 697 WorldCat member libraries worldwide
46 editions published between 1951 and 1970 in 4 languages and held by 697 WorldCat member libraries worldwide
A theory of formal deducibility by
Haskell B Curry(
Book
)
36 editions published between 1950 and 1966 in English and Undetermined and held by 357 WorldCat member libraries worldwide
36 editions published between 1950 and 1966 in English and Undetermined and held by 357 WorldCat member libraries worldwide
To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism(
Book
)
5 editions published in 1980 in English and held by 249 WorldCat member libraries worldwide
5 editions published in 1980 in English and held by 249 WorldCat member libraries worldwide
Leçons de logique algébrique by
Haskell B Curry(
Book
)
15 editions published in 1952 in 3 languages and held by 200 WorldCat member libraries worldwide
15 editions published in 1952 in 3 languages and held by 200 WorldCat member libraries worldwide
Grundlagen der kombinatorischen Logik by
Haskell B Curry(
Book
)
5 editions published in 1930 in German and held by 13 WorldCat member libraries worldwide
5 editions published in 1930 in German and held by 13 WorldCat member libraries worldwide
Osnovanii︠a︡ matematicheskoĭ logiki by
Haskell B Curry(
Book
)
4 editions published in 1969 in Russian and held by 13 WorldCat member libraries worldwide
4 editions published in 1969 in Russian and held by 13 WorldCat member libraries worldwide
A study of inverse interpolation of the Eniac by
Haskell B Curry(
Book
)
2 editions published in 1946 in English and held by 5 WorldCat member libraries worldwide
A study is made of methods of using the Eniacto convert a table giving values of two functions x(t, phi), for evenly spaced values of t (time) and phi (angle of departure) into a table giving t for evenly spaced values of x and phi. At the same time there may be additional functions of t and phi to be expressed in terms of x and phi. A basic scheme for doing this is set up and programmed in detail. This scheme contains three additional functions y, z, w. The basic scheme is such as to be readily modified; some modifications are studied and programmed in somewhat less detail than the basic scheme. (Author)
2 editions published in 1946 in English and held by 5 WorldCat member libraries worldwide
A study is made of methods of using the Eniacto convert a table giving values of two functions x(t, phi), for evenly spaced values of t (time) and phi (angle of departure) into a table giving t for evenly spaced values of x and phi. At the same time there may be additional functions of t and phi to be expressed in terms of x and phi. A basic scheme for doing this is set up and programmed in detail. This scheme contains three additional functions y, z, w. The basic scheme is such as to be readily modified; some modifications are studied and programmed in somewhat less detail than the basic scheme. (Author)
Les fondements logiques des mathématiques by
Evert Willem Beth(
Book
)
1 edition published in 1950 in French and held by 5 WorldCat member libraries worldwide
1 edition published in 1950 in French and held by 5 WorldCat member libraries worldwide
Essays on combinatory logic, lambda calculus and formalism by
Haskell B Curry(
Book
)
2 editions published in 1980 in Undetermined and English and held by 3 WorldCat member libraries worldwide
2 editions published in 1980 in Undetermined and English and held by 3 WorldCat member libraries worldwide
On polya frequency functions by
Haskell B Curry(
Book
)
2 editions published in 1965 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 1965 in English and held by 3 WorldCat member libraries worldwide
Combinatory logic by
Haskell B Curry(
Book
)
in Dutch and English and held by 3 WorldCat member libraries worldwide
in Dutch and English and held by 3 WorldCat member libraries worldwide
Combinatory logic, LambdaCalculus, and formalism : essays in honour of H.R. Curry(
Book
)
2 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide
A theory of formal deducibility by
Haskell B Curry(
)
2 editions published in 1957 in Romanian and English and held by 2 WorldCat member libraries worldwide
2 editions published in 1957 in Romanian and English and held by 2 WorldCat member libraries worldwide
Osnovaniâ matematičeskoj logiki by
Haskell B Curry(
Book
)
2 editions published in 1969 in Russian and held by 2 WorldCat member libraries worldwide
2 editions published in 1969 in Russian and held by 2 WorldCat member libraries worldwide
Studies in Logic and the Foundations of Mathematics, 65 : Provability, Computability and Reflection by
Haskell B Curry(
)
1 edition published in 1972 in English and held by 0 WorldCat member libraries worldwide
1 edition published in 1972 in English and held by 0 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Seldin, J. P. Contributor Editor
 Hindley, J. Roger Contributor Editor
 Feys, Robert
 Craig, William 1918 Author of introduction
 Project Euclid
 Freudenthal, Hans
 Dequoy, N.
 Wyatt, Willa A.
 Beth, Evert Willem Author
 Schoenberg, I. J.
Useful Links
Associated Subjects
Algebra, Abstract Ballistics Combinatory logic Computer programming Curry, Haskell B.(Haskell Brooks), EducationCurricula Educators ENIAC (Computer) Harvard University Interpolation Logic, Symbolic and mathematical Mathematicians Mathematics MathematicsPhilosophy MathematicsStudy and teaching PennsylvaniaUniversity Park Spline theory United States
Alternative Names
Brooks Curry, Haskell 1900
Brooks Curry, Haskell, 19001982
Curry, H. B.
Curry, H. B. 1900
Curry, H. B. 19001982
Curry, H. B. (Haskell Brooks), 1900
Curry, H. B. (Haskell Brooks), 19001982
Curry, Haskell B.
Curry, Haskell B. 19001982
Curry, Haskell B. (Haskell Brooks), 1900
Curry, Haskell B. (Haskell Brooks), 19001982
Curry, Haskell Brooks
Curry, Haskell Brooks 1900
Curry, Haskell Brooks 19001982
Haskell Brooks Curry
Haskell Brooks Curry amerikai matematikus
Haskell Brooks Curry USamerikanischer Logiker und Mathematiker
Haskell Curry Amerikaans wiskundige
Haskell Curry amerikansk matematikar
Haskell Curry amerikansk matematiker
Haskell Curry matematico e logico statunitense
Haskell Curry Matemático y lógico estadounidense
Karri, Chaskell B.
Karri, Chaskell B. 19001982
Karri, Haskell B.
Karri, Khaskell B.
Karri, Khaskell B. 19001982
Гаскелл Каррі
Карри, Хаскелл
Карри, Хаскелл Б..
هاسكل كاري
هسکل کاری ریاضیدان آمریکایی
해스켈 커리
ハスケル・カリー
哈斯凱爾·加里
Languages
Covers