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
Logical atomism Russell thought that a moral of the revolutionary work in mathematics was this: equally revolutionary work in philosophy could occur, if we only make logic the essence of philosophizing. This aspiration lies at the origin, and motivates and runs through, logical atomism. Russell referred to his atomistic doctrine as contrary to the tier "of the people who more or less follow Hegel" (PLA 178). The first principle of logical atomism is that the World contains "facts". The facts are complex structures consisting of objects ("particulars"). A fact may be that an object has a property or that it stands in