WorldCat Identities

Church, Alonzo 1903-1995

Overview
Works: 150 works in 499 publications in 6 languages and 4,362 library holdings
Genres: Bibliography  History  Academic theses 
Roles: Author, Contributor, Other, Honoree, Collector, Editor, Author of introduction, Dedicatee
Classifications: BC135, 164
Publication Timeline
.
Most widely held works by Alonzo Church
Introduction to mathematical logic by Alonzo Church( Book )

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

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

6 editions published between 2006 and 2008 in English and held by 802 WorldCat member libraries worldwide

Main description: 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 )

32 editions published between 1941 and 1985 in English and held by 647 WorldCat member libraries worldwide

Introduction to mathematical logic by Alonzo Church( )

35 editions published between 1956 and 1994 in English and held by 398 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 125 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
A discourse delivered before the Georgia Historical Society : on the occasion of its 6th anniversary, on Wednesday, 12th February, 1845 by Alonzo Church( )

3 editions published in 1845 in English and held by 80 WorldCat member libraries worldwide

The calculi of lambda-conversion by Alonzo Church( Book )

25 editions published between 1941 and 2016 in English and held by 77 WorldCat member libraries worldwide

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

2 editions published in 2019 in English and held by 44 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

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

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

Philosophie mathématique by Ferdinand Gonseth( Book )

2 editions published in 1939 in French and held by 32 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 29 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
The Euclidean parallel postulate by Alonzo Church( Book )

5 editions published between 1936 and 1956 in English and held by 28 WorldCat member libraries worldwide

The calculi of lambda-conversion by Alonzo Church( Book )

3 editions published between 1941 and 1951 in English and held by 26 WorldCat member libraries worldwide

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

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

The book description for the forthcoming "The Calculi of Lambda Conversion. (AM-6)" is not yet available
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 22 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
The problem of universals by Joseph M Bochenski( Book )

13 editions published between 1956 and 1992 in English and Undetermined and held by 21 WorldCat member libraries worldwide

Alternatives to Zermelo's assumption by Alonzo Church( Book )

8 editions published between 1927 and 1930 in English and held by 18 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

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

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

Alonzo Church Ameerika Ühendriikide matemaatik

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 (328)

German (2)

French (2)

Russian (2)

Italian (1)

Polish (1)