WorldCat Identities

Church, Alonzo 1903-1995

Overview
Works: 115 works in 430 publications in 6 languages and 3,924 library holdings
Genres: Bibliography 
Roles: Author, Contributor, Honoree, Dedicatee, Author of introduction, Editor, Collector
Classifications: BC135, 164
Publication Timeline
.
Most widely held works about Alonzo Church
 
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by Alonzo Church
Introduction to mathematical logic by Alonzo Church( Book )

154 editions published between 1944 and 1997 in 4 languages and held by 1,773 WorldCat member libraries worldwide

Church's Thesis after 70 years by Adam Olszewski( )

3 editions published in 2006 in English and held by 769 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, CT and physics, the epistemic status of CT, CT and philosophy of mind, provability of CT and CT and functional programming
The calculi of lambda-conversion by Alonzo Church( Book )

52 editions published between 1941 and 1985 in English and held by 630 WorldCat member libraries worldwide

Logic, meaning, and computation : essays in memory of Alonzo Church by C. Anthony Anderson( Book )

10 editions published in 2001 in English and held by 122 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
Philosophie mathématique by Ferdinand Gonseth( Book )

6 editions published in 1939 in French and held by 41 WorldCat member libraries worldwide

Mathematical logic : lectures by Alonzo Church( Book )

5 editions published in 1936 in English and held by 40 WorldCat member libraries worldwide

Introduction to mathematical logic by Alonzo Church( Book )

17 editions published between 1956 and 1970 in English and held by 39 WorldCat member libraries worldwide

A bibliography of symbolic logic, 1666-1935 by Alonzo Church( Book )

4 editions published in 1984 in English and held by 37 WorldCat member libraries worldwide

The Euclidean parallel postulate by Alonzo Church( Book )

4 editions published between 1936 and 1956 in English and held by 27 WorldCat member libraries worldwide

The calculi of lambda-conversion : cop. 1941 by Alonzo Church( )

3 editions published between 1951 and 2016 in English and held by 27 WorldCat member libraries worldwide

The book description for the forthcoming "The Calculi of Lambda Conversion. (AM-6)" is not yet available
A bibliography of symbolic logic by Alonzo Church( Book )

12 editions published between 1936 and 1939 in English and held by 26 WorldCat member libraries worldwide

Zawiera Additions and corrections to "A bibliography of symbolic logic" - art., który ukazał się w wol. 1 pisma: The Journal of Symbolic Logic oraz indeksy
A generalization of Laplace's transformation : to Rolf Nevanlinna on his 70th birthday by Alonzo Church( Book )

2 editions published in 1966 in English and held by 23 WorldCat member libraries worldwide

Introduction to Mathematical Logic (PMS-13) by Alonzo Church( )

1 edition published in 2016 in English and held by 20 WorldCat member libraries worldwide

Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic, defined its subject for a generation. Originally published in Princeton's Annals of Mathematics Studies series, this book was revised in 1956 and reprinted a third time, in 1996, in the Princeton Landmarks in Mathematics series. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic. Church was one of the principal founders of the Association for Symbolic Logic; he founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979 At his death in 1995, Church was still regarded as the greatest mathematical logician in the world
Alternatives to Zermelo's assumption by Alonzo Church( Book )

10 editions published between 1927 and 1930 in English and held by 20 WorldCat member libraries worldwide

Introduction to Mathematical Logic (PMS-13) by Alonzo Church( )

2 editions published between 1991 and 1996 in English and held by 19 WorldCat member libraries worldwide

The Calculi of Lambda Conversion. (AM-6) by Alonzo Church( )

1 edition published in 2016 in English and held by 19 WorldCat member libraries worldwide

The book description for the forthcoming "The Calculi of Lambda Conversion. (AM-6)" is not yet available
The problem of universals by Joseph M Bochenski( Book )

10 editions published between 1956 and 1992 in English and held by 15 WorldCat member libraries worldwide

Elementary topics in mathematical logic by Alonzo Church( Book )

1 edition published in 1942 in English and held by 15 WorldCat member libraries worldwide

Fermat's last theorem by Alonzo Church( Book )

2 editions published in 1937 in English and held by 14 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 12 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.43 (from 0.08 for Church's T ... to 0.99 for Alonzo Chu ...)

WorldCat IdentitiesRelated Identities
Introduction to mathematical logic
Covers
Church's Thesis after 70 yearsThe calculi of lambda-conversionLogic, meaning, and computation : essays in memory of Alonzo Church
Alternative Names
Alonzo Čerč

Alonzo Church American mathematician

Alonzo Church Amerikaans wiskundige

Alonzo Church amerikansk matematikar

Alonzo Church amerikansk matematiker

Alonzo Church amerykański logik i matematyk

Alonzo Church matemàtic estatunidenc

Alonzo Church matematician american

Alonzo Church matematico e logico statunitense

Alonzo Church matemático estadounidense

Alonzo Church mathématicien américain

Alonzo Church US-amerikanischer Mathematiker und einer der Begründer der theoretischen Informatik

Alonzo Church usona matematikisto

Alonzo Çörç

Alonzus Church

Čërč, A.

Church, A.

Church, Alonzo, 1903-

Αλόνζο Τσερτς

Алонза Чорч

Алонзо Черч

Алонзо Черч американски математичар

Алонса Чэрч

Алонсо Чърч

Чёрч, А.

Ալոնզո Չյորչ

אלונזו צ'רץ'

אלונזו צ'רץ' מתמטיקאי אמריקאי

ألونزو تشرتش

ألونزو تشرتش رياضياتي أمريكي

آلونزو چرچ ریاضی‌دان آمریکایی

ئەلۆنزۆ چێرچ

আলোন্‌জো চার্চ

আলোন্‌জো চার্চ মার্কিন গণিতবিদ

അലോൺസോ ചർച്ച്

อลอนโซ เชิร์ช

알론조 처치

アロンゾ・チャーチ

阿隆佐·邱奇

Languages
English (309)

French (6)

Russian (3)

German (2)

Italian (1)

Polish (1)