WorldCat Identities

Church, Alonzo 1903-1995

Overview
Works: 92 works in 267 publications in 4 languages and 3,107 library holdings
Genres: Bibliography 
Roles: Author, Contributor, Honoree, Author of introduction
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 )

68 editions published between 1944 and 1997 in English and Russian and held by 1,421 WorldCat member libraries worldwide

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

48 editions published between 1941 and 1985 in English and Undetermined and held by 432 WorldCat member libraries worldwide

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

5 editions published in 2001 in English and held by 105 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 Adam Olszewski( Book )

3 editions published in 2006 in English and held by 82 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
Mathematical logic : lectures by Alonzo Church( Book )

6 editions published between 1935 and 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 38 WorldCat member libraries worldwide

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

3 editions published in 1984 in English and held by 35 WorldCat member libraries worldwide

Philosophie mathématique by Ferdinand Gonseth( Book )

5 editions published in 1939 in French and held by 35 WorldCat member libraries worldwide

The Euclidean parallel postulate by Alonzo Church( Book )

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

A generalization of Laplace's transformation : to Rolf Nevanlinna on his 70th birthday by Alonzo Church( Book )

3 editions published between 1965 and 1966 in English and German and held by 25 WorldCat member libraries worldwide

Elementary topics in mathematical logic by Alonzo Church( Book )

4 editions published between 1934 and 1959 in English and held by 24 WorldCat member libraries worldwide

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

7 editions published in 1927 in English and held by 17 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

Fermat's last theorem by Alonzo Church( Book )

1 edition published in 1937 in English and held by 13 WorldCat member libraries worldwide

A bibliography of symbolic logic by Alonzo Church( Book )

6 editions published between 1936 and 1939 in English and held by 8 WorldCat member libraries worldwide

The problem of universals by Joseph M Bochenski( Book )

5 editions published between 1956 and 1992 in English and held by 8 WorldCat member libraries worldwide

Elementary topics in mathematical logic : 1. the algebra of classes by Alonzo Church( Book )

2 editions published in 1959 in English and held by 7 WorldCat member libraries worldwide

Unvollständigkeit und Unentscheidbarkeit; die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung by Wolfgang Stegmüller( Book )

3 editions published between 1959 and 1973 in German and English and held by 6 WorldCat member libraries worldwide

Introduction to mathematical logic : Notes by C.A. Truesdell by Alonzo Church( Book )

1 edition published in 1965 in English and held by 5 WorldCat member libraries worldwide

Elementary topics in mathematical logic by Alonzo Church( Book )

2 editions published between 1934 and 1959 in English and held by 5 WorldCat member libraries worldwide

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

Introduction to mathematical logic
Alternative Names
Alonzo Čerč

Alonzo Church Amerikaans wiskundige

Alonzo Church amerikansk matematikar

Alonzo Church amerikansk matematiker

Alonzo Church amerykański logik i matematyk

Alonzo Church matematico e logico statunitense

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

Alonzus Church

Čërč, A.

Church, A.

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

Алонза Чорч

Алонзо Черч

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

Алонсо Чърч

Чёрч, А.

Ալոնզո Չյորչ

אלונזו צ'רץ'

ألونزو تشرتش

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

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

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

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

알론조 처치

アロンゾ・チャーチ

阿隆佐·邱奇

Languages
English (191)

Russian (8)

German (5)

French (5)

Covers
The calculi of lambda-conversionLogic, meaning, and computation : essays in memory of Alonzo ChurchChurch's Thesis after 70 years