×

zbMATH — the first resource for mathematics

Church, Alonzo

Compute Distance To:
Author ID: church.alonzo Recent zbMATH articles by "Church, Alonzo"
Published as: Church, A.; Church, Alonzo
External Links: MGP · Wikidata · dblp · GND · MacTutor
Documents Indexed: 71 Publications since 1924, including 11 Books
Biographic References: 8 Publications

Publications by Year

Citations contained in zbMATH Open

50 Publications have been cited 1,308 times in 1,013 Documents Cited by Year
A formulation of the simple theory of types. Zbl 0023.28901
Church, Alonzo
209
1940
Introduction to mathematical logic. I. Zbl 0073.24301
Church, Alonzo
179
1956
A formulation of the simple theory of types. JFM 66.1192.06
Church, A.
127
1940
The calculi of lambda-conversion. JFM 67.0041.01
Church, A.
111
1941
A note on the Entscheidungsproblem. JFM 62.1058.04
Church, A.
85
1936
An unsolvable problem of elementary number theory. Zbl 0014.09802
Church, Alonzo
80
1936
An unsolvable problem of elementary number theory. JFM 62.0046.01
Church, A.
57
1936
A note on the Entscheidungsproblem. Zbl 0014.38503
Church, Alonzo
41
1936
A set of postulates for the foundation of logic. Zbl 0004.14507
Church, Alonzo
35
1932
Some properties of conversion. Zbl 0014.38504
Church, Alonzo; Rosser, J. B.
32
1936
On the concept of a random sequence. Zbl 0022.36904
Church, Alonzo
29
1940
Some properties of conversion. JFM 62.0037.03
Church, A.; Rosser, J. B.
27
1936
The calculi of Lambda-Conversion. Zbl 0026.24205
Church, Alonzo
26
1941
A set of postulates for the foundation of logic. II. Zbl 0008.28902
Church, Alonzo
26
1933
A formulation of the logic of sense and denotation. Zbl 0054.00601
Church, Alonzo
21
1951
On the concept of a random sequence. JFM 66.0601.01
Church, A.
20
1940
The constructive second number class. Zbl 0018.33803
Church, Alonzo
20
1938
Comparison of Russell’s resolution of the semantical antinomies with that of Tarski. Zbl 0383.03005
Church, Alonzo
19
1977
Logic, arithmetic, and automata. Zbl 0116.33604
Church, Alonzo
18
1963
Formal definitions in the theory of ordinal numbers. Zbl 0016.00201
Church, Alonzo; Kleene, S. C.
16
1937
A set of postulates for the foundation of logic. JFM 58.0997.06
Church, A.
13
1932
Introduction to mathematical logic. Reprint of the 1956 original. Zbl 1016.03500
Church, Alonzo
12
1996
A revised formulation of the logic of sense and denotation. Alternative (1). Zbl 1366.03175
Church, Alonzo
9
1993
A set of postulates for the foundation of logic. I, II. JFM 59.0052.01
Church, A.
8
1932
Outline of a revised formulation of the logic of sense and denotation. II. Zbl 1366.03177
Church, Alonzo
7
1974
Outline of a revised formulation of the logic of sense and denotation. I. Zbl 1366.03176
Church, Alonzo
7
1973
A bibliography of symbolic logic. Zbl 0016.09702
Church, Alonzo
7
1936
Introduction to mathematical logic. I. Zbl 0094.00603
Church, Alonzo
6
1960
Introduction to Mathematical Logic. I. Zbl 0060.02007
Church, Alonzo
6
1944
An unsolvable problem of elementary number theory. JFM 61.0062.13
Church, A.
6
1935
The Richard paradox. Zbl 0009.14602
Church, Alonzo
6
1934
Some theorems on definability and decidability. Zbl 0047.00901
Church, Alonzo; Quine, W. V.
5
1952
On the law of the excluded middle. JFM 54.0053.03
Church, A.
5
1928
The constructive second number class. JFM 64.0037.01
Church, A.
4
1938
Formal definitions in the theory of ordinal numbers. JFM 63.0029.02
Church, A.; Kleene, S. C.
3
1937
Correction to a note on the Entscheidungsproblem. Zbl 0015.33901
Church, Alonzo
3
1936
Alternatives to Zermelo’s assumption. JFM 53.0170.05
Church, A.
3
1927
Set theory with a universal set. Zbl 0317.02079
Church, Alonzo
2
1974
The problem of universals. Zbl 0074.00807
Bochenski, I. M.; Church, Alonzo; Goodman, Nelson
2
1956
Mathematical logic. Lectures delivered at Princeton University October 1935-Januar 1936. Notes by F. A. Ficken, H. G. Landau, H. Ruja, R. R. Singleton, N. E. Steenrod, J. H. Sweer, F. J. Weyl. JFM 62.1048.04
Church, A.
2
1936
A bibliography of symbolic logic. JFM 62.1046.03
Church, A.
2
1936
A proof of freedom from contradiction. Zbl 0012.24102
Church, Alonzo
2
1935
A proof of freedom from contradiction. JFM 61.0055.01
Church, A.
2
1935
On the form of differential equations of a system of paths. JFM 53.0690.02
Church, A.
2
1927
The History of the question of existential import of categorical propositions. Zbl 0168.00101
Church, Alonzo
1
1965
Application of recursive arithmetic to the problem of circuit synthesis. Zbl 0206.47902
Church, A.
1
1960
Binary recursive arithmetic. Zbl 0077.01501
Church, Alonzo
1
1957
Conditioned disjunction as a primitive connective for the propositional calculus. Zbl 0034.29101
Church, Alonzo
1
1948
Correction to a note on the Entscheidungsproblem. JFM 62.1058.05
Church, A.
1
1936
A set of postulates for the foundation of logic. II. JFM 58.0070.02
Church, A.
1
1932
Introduction to mathematical logic. Reprint of the 1956 original. Zbl 1016.03500
Church, Alonzo
12
1996
A revised formulation of the logic of sense and denotation. Alternative (1). Zbl 1366.03175
Church, Alonzo
9
1993
Comparison of Russell’s resolution of the semantical antinomies with that of Tarski. Zbl 0383.03005
Church, Alonzo
19
1977
Outline of a revised formulation of the logic of sense and denotation. II. Zbl 1366.03177
Church, Alonzo
7
1974
Set theory with a universal set. Zbl 0317.02079
Church, Alonzo
2
1974
Outline of a revised formulation of the logic of sense and denotation. I. Zbl 1366.03176
Church, Alonzo
7
1973
The History of the question of existential import of categorical propositions. Zbl 0168.00101
Church, Alonzo
1
1965
Logic, arithmetic, and automata. Zbl 0116.33604
Church, Alonzo
18
1963
Introduction to mathematical logic. I. Zbl 0094.00603
Church, Alonzo
6
1960
Application of recursive arithmetic to the problem of circuit synthesis. Zbl 0206.47902
Church, A.
1
1960
Binary recursive arithmetic. Zbl 0077.01501
Church, Alonzo
1
1957
Introduction to mathematical logic. I. Zbl 0073.24301
Church, Alonzo
179
1956
The problem of universals. Zbl 0074.00807
Bochenski, I. M.; Church, Alonzo; Goodman, Nelson
2
1956
Some theorems on definability and decidability. Zbl 0047.00901
Church, Alonzo; Quine, W. V.
5
1952
A formulation of the logic of sense and denotation. Zbl 0054.00601
Church, Alonzo
21
1951
Conditioned disjunction as a primitive connective for the propositional calculus. Zbl 0034.29101
Church, Alonzo
1
1948
Introduction to Mathematical Logic. I. Zbl 0060.02007
Church, Alonzo
6
1944
The calculi of lambda-conversion. JFM 67.0041.01
Church, A.
111
1941
The calculi of Lambda-Conversion. Zbl 0026.24205
Church, Alonzo
26
1941
A formulation of the simple theory of types. Zbl 0023.28901
Church, Alonzo
209
1940
A formulation of the simple theory of types. JFM 66.1192.06
Church, A.
127
1940
On the concept of a random sequence. Zbl 0022.36904
Church, Alonzo
29
1940
On the concept of a random sequence. JFM 66.0601.01
Church, A.
20
1940
The constructive second number class. Zbl 0018.33803
Church, Alonzo
20
1938
The constructive second number class. JFM 64.0037.01
Church, A.
4
1938
Formal definitions in the theory of ordinal numbers. Zbl 0016.00201
Church, Alonzo; Kleene, S. C.
16
1937
Formal definitions in the theory of ordinal numbers. JFM 63.0029.02
Church, A.; Kleene, S. C.
3
1937
A note on the Entscheidungsproblem. JFM 62.1058.04
Church, A.
85
1936
An unsolvable problem of elementary number theory. Zbl 0014.09802
Church, Alonzo
80
1936
An unsolvable problem of elementary number theory. JFM 62.0046.01
Church, A.
57
1936
A note on the Entscheidungsproblem. Zbl 0014.38503
Church, Alonzo
41
1936
Some properties of conversion. Zbl 0014.38504
Church, Alonzo; Rosser, J. B.
32
1936
Some properties of conversion. JFM 62.0037.03
Church, A.; Rosser, J. B.
27
1936
A bibliography of symbolic logic. Zbl 0016.09702
Church, Alonzo
7
1936
Correction to a note on the Entscheidungsproblem. Zbl 0015.33901
Church, Alonzo
3
1936
Mathematical logic. Lectures delivered at Princeton University October 1935-Januar 1936. Notes by F. A. Ficken, H. G. Landau, H. Ruja, R. R. Singleton, N. E. Steenrod, J. H. Sweer, F. J. Weyl. JFM 62.1048.04
Church, A.
2
1936
A bibliography of symbolic logic. JFM 62.1046.03
Church, A.
2
1936
Correction to a note on the Entscheidungsproblem. JFM 62.1058.05
Church, A.
1
1936
An unsolvable problem of elementary number theory. JFM 61.0062.13
Church, A.
6
1935
A proof of freedom from contradiction. Zbl 0012.24102
Church, Alonzo
2
1935
A proof of freedom from contradiction. JFM 61.0055.01
Church, A.
2
1935
The Richard paradox. Zbl 0009.14602
Church, Alonzo
6
1934
A set of postulates for the foundation of logic. II. Zbl 0008.28902
Church, Alonzo
26
1933
A set of postulates for the foundation of logic. Zbl 0004.14507
Church, Alonzo
35
1932
A set of postulates for the foundation of logic. JFM 58.0997.06
Church, A.
13
1932
A set of postulates for the foundation of logic. I, II. JFM 59.0052.01
Church, A.
8
1932
A set of postulates for the foundation of logic. II. JFM 58.0070.02
Church, A.
1
1932
On the law of the excluded middle. JFM 54.0053.03
Church, A.
5
1928
Alternatives to Zermelo’s assumption. JFM 53.0170.05
Church, A.
3
1927
On the form of differential equations of a system of paths. JFM 53.0690.02
Church, A.
2
1927
all top 5

Cited by 1,186 Authors

14 Miller, Dale Allen
13 Movsisyan, Yuri Movses
10 Hasan, Osman
9 Benzmüller, Christoph Ewald
9 Rabe, Florian
9 Tahar, Sofiène
8 Kleene, Stephen Cole
8 Manzano, María
7 Bunder, Martin W.
6 Barendregt, Hendrik Pieter
6 Blanchette, Jasmin Christian
6 Corcoran, John
6 Kramosil, Ivan
6 Soare, Robert I.
5 Danvy, Olivier
5 Farmer, William M.
5 Felty, Amy P.
5 Hazen, Allen P.
5 Hindley, Roger
5 Kamareddine, Fairouz D.
5 Lambek, Joachim
5 Nadathur, Gopalan
5 Nederpelt, Rob
5 Novák, Vilém
5 Pfenning, Frank
5 Salibra, Antonino
5 van Oostrom, Vincent
4 Alonso, Enrique
4 Andrews, Peter B.
4 Coquand, Thierry
4 Dowek, Gilles
4 Gilmore, Paul C.
4 Huet, Gerard P.
4 Klement, Kevin C.
4 Kohlhase, Michael
4 Meyer, Robert Kenneth
4 Paulson, Lawrence Charles
4 Pelletier, Francis Jeffry
4 Sylvan, Richard
4 Sagüillo, Jose-Miguel
4 Sieg, Wilfried
4 Siekmann, Jörg H.
4 Wolff, Burkhart
3 Ackermann, Wilhelm
3 Anellis, Irving H.
3 Berline, Chantal
3 Bimbó, Katalin
3 Brown, Chad Edward
3 Brucker, Achim D.
3 Curry, Haskell Brooks
3 Davis, Martin David
3 De Mol, Liesbeth
3 Dershowitz, Nachum
3 Došen, Kosta
3 Duzi, Marie
3 Eklund, Patrik E.
3 Fleury, Mathias
3 Fujita, Ken-etsu
3 Geuvers, Jan Herman
3 Grattan-Guinness, Ivor
3 Gurevich, Yuri
3 Hardin, Thérèse
3 Horozal, Fulya
3 Howard, John V.
3 Kalmar, Laszlo
3 Kaltofen, Erich L.
3 Kirchner, Claude
3 Klev, Ansten Mørch
3 Klop, Jan Willem
3 Laan, Twan
3 Lloyd, John Wylie
3 Longo, Giuseppe
3 Luo, Zhaohui
3 Markwald, Werner
3 Materna, Pavel
3 Moore, J Strother
3 Ng, Kee Siong
3 Nigam, Vivek
3 Pimentel, Elaine
3 Platzer, André
3 Pogorzelski, Witold A.
3 Post, Emil Leon
3 Scott, Philip J.
3 Seldin, Jonathan P.
3 Shapiro, Stewart
3 Sørensen, Morten Heine B.
3 Suranyi, Janos
3 Tarski, Alfred
3 van Bakel, Steffen
3 Vardi, Moshe Y.
3 Weidenbach, Christoph
3 Xi, Hongwei
3 Zaionc, Marek
2 Abbas, Hassan
2 Adžić, Miloš
2 Ahmed, Waqar
2 Areces, Carlos
2 Arnold, Andrew
2 Aslanyan, Vahagn A.
2 Audrito, Giorgio
...and 1,086 more Authors
all top 5

Cited in 176 Serials

83 Theoretical Computer Science
49 The Journal of Symbolic Logic
44 History and Philosophy of Logic
43 Studia Logica
35 Journal of Philosophical Logic
35 Journal of Automated Reasoning
29 The Bulletin of Symbolic Logic
28 Information and Computation
27 Synthese
20 Annals of Pure and Applied Logic
18 Archiv für Mathematische Logik und Grundlagenforschung
17 Transactions of the American Mathematical Society
15 Journal of Computer and System Sciences
14 MSCS. Mathematical Structures in Computer Science
13 Journal of Applied Logic
13 The Review of Symbolic Logic
12 Journal of Functional Programming
11 Applied Mathematics and Computation
10 Information Processing Letters
10 Notre Dame Journal of Formal Logic
10 Logica Universalis
9 Journal of Symbolic Computation
9 Journal of Logic, Language and Information
8 Acta Informatica
8 Fuzzy Sets and Systems
8 Kybernetika
8 Annals of Mathematics and Artificial Intelligence
7 Mathematische Annalen
7 Erkenntnis
6 Mathematical Notes
6 Formal Aspects of Computing
6 Formal Methods in System Design
6 Logical Methods in Computer Science
5 Acta Mathematica Academiae Scientiarum Hungaricae
5 Artificial Intelligence
5 Journal of Applied Non-Classical Logics
5 Higher-Order and Symbolic Computation
5 Bulletin of the American Mathematical Society
4 International Journal of General Systems
4 Algebra and Logic
4 Journal of Soviet Mathematics
4 Mathematische Zeitschrift
4 Siberian Mathematical Journal
4 Archive for Mathematical Logic
3 Computers & Mathematics with Applications
3 The Mathematical Intelligencer
3 Information Sciences
3 Journal of Pure and Applied Algebra
3 Statistical Science
3 New Generation Computing
3 Bulletin of the American Mathematical Society. New Series
3 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
3 Lobachevskii Journal of Mathematics
3 Logic and Logical Philosophy
3 ACM Transactions on Computational Logic
3 Proceedings of the Japan Academy
3 Armenian Journal of Mathematics
2 Journal of Statistical Physics
2 Advances in Mathematics
2 Algebra Universalis
2 Annali di Matematica Pura ed Applicata. Serie Quarta
2 Compositio Mathematica
2 Kybernetes
2 Linguistics and Philosophy
2 Proceedings of the American Mathematical Society
2 Rendiconti del Seminario Matematico della Università di Padova
2 Bulletin of the Section of Logic
2 Physica D
2 International Journal of Foundations of Computer Science
2 International Journal of Computer Mathematics
2 Indagationes Mathematicae. New Series
2 Applicable Algebra in Engineering, Communication and Computing
2 Cybernetics and Systems Analysis
2 Foundations of Science
2 The Journal of Logic and Algebraic Programming
2 Theory and Practice of Logic Programming
2 Journal of Algebra and its Applications
2 New Mathematics and Natural Computation
2 Asian-European Journal of Mathematics
2 Computer Science Review
1 Acta Mechanica
1 Archive for History of Exact Sciences
1 Bulletin of the Australian Mathematical Society
1 Communications in Algebra
1 Computer Physics Communications
1 Discrete Applied Mathematics
1 International Journal of Theoretical Physics
1 Israel Journal of Mathematics
1 Journal of Computational Physics
1 Journal of Mathematical Physics
1 Mathematical Methods in the Applied Sciences
1 Periodica Mathematica Hungarica
1 Physics Reports
1 Reviews of Modern Physics
1 Russian Mathematical Surveys
1 Chaos, Solitons and Fractals
1 Bulletin of the Polish Academy of Sciences. Technical Sciences
1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
1 BIT
1 Bulletin de la Société Mathématique de France
...and 76 more Serials
all top 5

Cited in 46 Fields

629 Mathematical logic and foundations (03-XX)
461 Computer science (68-XX)
90 History and biography (01-XX)
28 General and overarching topics; collections (00-XX)
23 Numerical analysis (65-XX)
20 Probability theory and stochastic processes (60-XX)
19 General algebraic systems (08-XX)
18 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
17 Category theory; homological algebra (18-XX)
17 Information and communication theory, circuits (94-XX)
16 Group theory and generalizations (20-XX)
15 Statistics (62-XX)
14 Commutative algebra (13-XX)
12 Order, lattices, ordered algebraic structures (06-XX)
12 Number theory (11-XX)
11 Quantum theory (81-XX)
10 Field theory and polynomials (12-XX)
9 Combinatorics (05-XX)
7 Operations research, mathematical programming (90-XX)
6 Linear and multilinear algebra; matrix theory (15-XX)
6 Associative rings and algebras (16-XX)
6 Ordinary differential equations (34-XX)
6 Dynamical systems and ergodic theory (37-XX)
5 Algebraic geometry (14-XX)
5 Approximations and expansions (41-XX)
4 Real functions (26-XX)
4 Special functions (33-XX)
4 Statistical mechanics, structure of matter (82-XX)
4 Systems theory; control (93-XX)
3 General topology (54-XX)
3 Biology and other natural sciences (92-XX)
2 Nonassociative rings and algebras (17-XX)
2 Measure and integration (28-XX)
2 Partial differential equations (35-XX)
2 Functional analysis (46-XX)
2 Convex and discrete geometry (52-XX)
2 Algebraic topology (55-XX)
2 Mechanics of particles and systems (70-XX)
2 Mechanics of deformable solids (74-XX)
2 Relativity and gravitational theory (83-XX)
2 Mathematics education (97-XX)
1 Difference and functional equations (39-XX)
1 Differential geometry (53-XX)
1 Manifolds and cell complexes (57-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Fluid mechanics (76-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.