Alonzo Church
Affiliations: | Princeton University, Princeton, NJ | ||
| University of California, Los Angeles, Los Angeles, CA |
Area:
Mathematics, Logic, Theory of ComputationGoogle:
"Alonzo Church"Parents
Sign in to add mentor| Oswald Veblen | grad student | 1927 | Princeton | |
| (Alternatives to Zermelo's Assumption) | ||||
Children
Sign in to add trainee| C. Anthony Anderson | grad student | UCLA (Philosophy Tree) | |
| Peter Bruce Andrews | grad student | (Robotree) | |
| Gerald J. Massey | grad student | (Computer Science Tree) | |
| Nicholas Rescher | grad student | (Philosophy Tree) | |
| Ronaldo Vigo | grad student | Indiana University Bloomington (Neurotree) | |
| Stephen Cole Kleene | grad student | 1934 | Princeton (Computer Science Tree) |
| John Barkley Rosser | grad student | 1934 | Princeton |
| George Alfred Barnard | grad student | 1936 | Princeton |
| Alan M. Turing | grad student | 1938 | Princeton |
| John George Kemeny | grad student | 1949 | Princeton |
| Michael O. Rabin | grad student | 1953-1957 | Princeton (Computer Science Tree) |
| Hartley Rogers, Jr. | grad student | 1958 | Princeton |
| Dana Stewart Scott | grad student | 1958 | Princeton (Philosophy Tree) |
| Nathan Salmon | grad student | 1973-1979 | UCLA (Philosophy Tree) |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Church A. (1993) A Revised Formulation of the Logic of Sense and Denotation. Alternative (1) NoûS. 27: 141-157 |
| Church A. (1976) Douglas P. Lackey. Preface. Essays in analysis by Bertrand Russell, edited by Douglas Lackey, Allen & Unwin, Ltd., London, and George Braziller, Inc., New York, 1973, pp. 9–10. Journal of Symbolic Logic. 41: 700-702 |
| Church A. (1975) Heyting A.. Intuitionism in mathematics. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Klibansky Raymond, La Nuova Italia Editrice, Florence 1968, pp. 316–323. Journal of Symbolic Logic. 40: 472 |
| Church A. (1975) Quine W. V.. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by van Heijenoort Jean, Harvard University Press, Cambridge, Mass., 1967, pp. 216–217.Whitehead Alfred North and Russell Bertrand. Incomplete symbols: Descriptions. Reprinted from 1947, pp. 66–71. Incomplete symbols: Descriptions. Reprinted from 1947, pp. 217–223. Journal of Symbolic Logic. 40: 472-473 |
| Church A. (1975) Hu Sze-Tsen. Threshold logic. University of California Press, Berkeley and Los Angeles 1965, xiv + 338 pp. Journal of Symbolic Logic. 40: 250 |
| Church A. (1975) Schwenkel Frieder. Rekursive Wortfunktionen über unendlichen Alphabeten. Zeitschrift für mathematische Logik und Grundlagen der Mathematik , vol. 11 (1965), pp. 133–147. Journal of Symbolic Logic. 40: 621-622 |
| Church A. (1975) Péter Rózsa. Über die Verallgemeinerung der Theorie der rekursiven Funktionen für abstrakte Mengen geeigneter Struktur ah Definitionsbereiche. Acta mathematica Academiae Scientiarum Hungaricae , vol. 12 (1961), pp. 271–314, and vol. 13 (1962), pp. 1-24. Journal of Symbolic Logic. 40: 620-621 |
| Church A. (1975) Wang Hao. Note on rules of inference. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 193–196. Journal of Symbolic Logic. 40: 604 |
| Church A. (1975) J. Łos and R. Suszko. Remarks on sentential logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings , ser. A vol. 61 (1958), pp. 177–183; also Indagationes mathematicae, vol. 20 (1958), pp. 177-183. Journal of Symbolic Logic. 40: 603-604 |
| Church A. (1975) Gorman M.. Semantics. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 13, pp. 66–68. Journal of Symbolic Logic. 40: 598-599 |