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
Law of noncontradiction propositions depend on presupposed concepts which are the same for all people. His statement, regarded as a logical principle purely and apart from material facts, does not therefore amount to more than that of Aristotle, which deals simply with the significance of negation. Graham Priest advocates the view that "under some conditions", some statements can be both true and false simultaneously, or may be true and false at different times. Dialetheism arises from formal logical paradoxes, such as the Liar's paradox and Russell's paradox. As is true of all axioms of logic, the law of non-contradiction is alleged to be