Turing gave the first compelling analysis of what can be called a mechanical procedure and Kurt Gödel asserted that he found Turing's analysis "perfect."[3] In addition some other major areas of theoretical overlap between logic and computer science are: