Back to Results
First PageMeta Content
Mathematical logic / Theory of computation / Theoretical computer science / Models of computation / Entscheidungsproblem / Alonzo Church / Stephen Cole Kleene / Turing machine / Lambda calculus / Mathematics / Computability theory / Logic


Document Date: 2009-04-12 21:16:41

Open Document

File Size: 106,31 KB

Share Result on Facebook

City

Hudson / Newark / Amsterdam / Cambridge / Los Angeles / /

Company

Princeton University Press / Symbolic Logic / Russell / /

Country

Bahamas / /

Event

Person Travel / Person Communication and Meetings / /

Facility

University of Georgia / Princeton Cemetery / Franklin College / University of Chicago / Princeton University Library / /

Holiday

Assumption / Flag Day / /

IndustryTerm

least-zero search operator / trolley car coming / logical systems / household cement / cement / /

Organization

Thus Church / SUNY at Buffalo / Princeton University / Association for Symbolic Logic / Samuel Robbins Church / Princeton Mathematics Department / Ridgefield School / American Mathematical Society / American Philosophical Association / American Academy of Arts and Sciences / British Academy / University of Georgia / UCLA / Alonzo Webster Church / Harvard / Institute for Advanced Study / National Academy of Sciences / INTRODUCTION Alonzo Church / United States Senate / the University of Chicago / Alonzo Church / American Association for the Advancement of Science / Franklin College / Municipal Court / /

Person

Mary Julia Kuczinski / Max Newman / Barkley Rosser / Robbins Church / Rudolf Carnap / John von Neumann / Solomon Feferman / Alonzo Webster / Alfred Tarski / Stephen Kleene / Mary Ann / Samuel Robbins / Jacques Herbrand / Alan Turing / John Addison / Paul Cohen / /

Position

Professor of Philosophy / mathematician / author / Professor / professor of mathematics / Associate Professor / editor / one of the principal founders / time Librarian / president — / nurse / Assistant Professor / /

ProgrammingLanguage

Lambda Calculus / Mathematica / /

ProvinceOrState

Ohio / Virginia / Connecticut / District of Columbia / Georgia / New Jersey / A.B. / Vermont / Newfoundland / /

PublishedMedium

the Reviews / The Bulletin / /

Technology

simulation / /

SocialTag