Logic in computer science compelling analysis of what can be called a mechanical procedure and Kurt Gödel asserted that he found Turing's analysis "perfect." In addition some other major areas of theoretical overlap between logic and computer science are: One of the first applications to use the term Artificial Intelligence was the Logic Theorist system developed by Allen Newell, J.C. Shaw, and Herbert Simon in 1956. One of the things that a logician does is to take a set of statements in logic and deduce the conclusions (additional statements) that must be true by the laws of logic. For example, If given a logical
Is Logic Empirical? idea of a propositional logic with rules radically different from Boolean logic in itself was not new. Indeed a sort of analogy had been established in the mid-nineteen thirties by Garrett Birkhoff and John von Neumann between a non-classical propositional logic and some aspects of the measurement process in quantum mechanics. Putnam and the physicist David Finkelstein proposed that there was more to this correspondence than a loose analogy: that in fact there was a logical system whose semantics was given by a lattice of projection operators on a Hilbert space. This, actually, was the correct logic for reasoning about