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 then in Britain and exemplified in works of F. H. Bradley and J. M. E. McTaggart. Logical atomism is partly understood as a developed alternative to logical holism, or the "monistic logic" of Idealists, on which logical analysis is a kind of falsification. The theory holds that the world consists of ultimate logical "facts" (or "atoms") that cannot be broken down any further. Having originally propounded this stance in his "Tractatus Logico-Philosophicus", Wittgenstein rejected it in his later "Philosophical Investigations" (§§46–49, §81, §91). The term "logical atomism," partly because it was first introduced in a French paper that remained untranslated