WorldCat Identities

Church, Alonzo 1903-1995

Overview
Works: 107 works in 331 publications in 5 languages and 2,731 library holdings
Genres: History  Bibliography 
Roles: Author, Contributor, Honoree
Classifications: BC135, 164
Publication Timeline
Key
Publications about  Alonzo Church Publications about Alonzo Church
Publications by  Alonzo Church Publications by Alonzo Church
posthumous Publications by Alonzo Church, published posthumously.
Most widely held works by Alonzo Church
Introduction to mathematical logic by Alonzo Church ( Book )
102 editions published between 1944 and 1997 in 3 languages and held by 1,532 WorldCat member libraries worldwide
The calculi of lambda-conversion by Alonzo Church ( Book )
41 editions published between 1941 and 1985 in English and Undetermined and held by 409 WorldCat member libraries worldwide
Logic, meaning, and computation : essays in memory of Alonzo Church by C. Anthony Anderson ( Book )
8 editions published in 2001 in English and held by 116 WorldCat member libraries worldwide
This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer scientists, philosophers, and linguists. The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields
Church's Thesis after 70 years by Jan Woleński ( Book )
3 editions published in 2006 in English and held by 86 WorldCat member libraries worldwide
Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computable function defined in natural numbers with the notion of a recursive function. Despite of the many efforts of prominent scientists, Church's Thesis has never been falsified. There exists a vast literature concerning the thesis. The aim of the book is to provide one volume summary of the state of research on Church's Thesis. These include the following: different formulations of CT, CT and intuitionism, CT and intensional mathematics
A discourse delivered before the Georgia Historical Society on the occasion of its 6th anniversary, on Wednesday, 12th Feb., 1845 by Alonzo Church ( )
8 editions published in 1845 in English and held by 82 WorldCat member libraries worldwide
Introduction to mathematical logic by Alonzo Church ( Book )
23 editions published between 1944 and 1970 in English and Undetermined and held by 48 WorldCat member libraries worldwide
Mathematical logic : lectures by Alonzo Church ( Book )
5 editions published in 1936 in English and held by 41 WorldCat member libraries worldwide
A bibliography of symbolic logic by Alonzo Church ( Book )
13 editions published between 1936 and 1939 in English and held by 41 WorldCat member libraries worldwide
A bibliography of symbolic logic, 1666-1935 by Alonzo Church ( Book )
2 editions published in 1984 in English and held by 37 WorldCat member libraries worldwide
Philosophie mathématique by Ferdinand Gonseth ( Book )
2 editions published in 1939 in French and held by 28 WorldCat member libraries worldwide
Elementary topics in mathematical logic by Alonzo Church ( Book )
5 editions published between 1934 and 1959 in English and held by 27 WorldCat member libraries worldwide
The Euclidean parallel postulate by Alonzo Church ( Book )
3 editions published between 1936 and 1956 in English and held by 27 WorldCat member libraries worldwide
Alternatives to Zermelo's assumption by Alonzo Church ( Book )
6 editions published in 1927 in English and held by 16 WorldCat member libraries worldwide
Fermat's last theorem by Alonzo Church ( Book )
1 edition published in 1937 in English and held by 13 WorldCat member libraries worldwide
A finite geometry : a lecture given at the Galois Institute of Mathematics at Long Island University by Alonzo Church ( Book )
2 editions published in 1934 in English and held by 13 WorldCat member libraries worldwide
A generalization of Laplace's transformation by Alonzo Church ( Book )
3 editions published between 1965 and 1966 in English and German and held by 11 WorldCat member libraries worldwide
A generalization of Laplace's transformation : to Rolf Nevanlinna on his 70th birthday by Alonzo Church ( Book )
1 edition published in 1966 in English and held by 11 WorldCat member libraries worldwide
Vvedenie v matematicheskui︠u︡ logiku by Alonzo Church ( Book )
3 editions published in 1960 in Russian and held by 10 WorldCat member libraries worldwide
Introduction to mathematical logic, 1 by Alonzo Church ( Book )
3 editions published between 1956 and 1965 in English and held by 7 WorldCat member libraries worldwide
Introduction to mathematical logic by Alonzo Church ( Book )
1 edition published in 1970 in English and held by 6 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.69 (from 0.00 for Church, Al ... to 1.00 for Tezis Cher ...)
Alternative Names
Čërč, A.
Church, A.
Чёрч, А.
Languages
English (242)
Russian (4)
German (3)
French (2)
Italian (1)
Covers