This is a catalog for the foundations and emergence of AI research. Understanding the historic development of computational logic from primary sources is useful in gaining insight on the current state of AI.

###Topics Covered:

• Leibniz's binary
• Boolean algebra
• Goedel's incompleteness theorem
• Turing Machines
• Analogy between neurons and logic
• Von Neumann's digital brain
• Neural nets
• Perceptron
• Lisp and recursion
• Thrashing avoidance/Memory management
• Pattern recogntion, searches, induction
• Boltzmann machines
• Search methods
• Page rank
• Embodied Cogntion for machines
• improving genetic algorithms
• Gradient descent
• Semantic modeling
• Deep learning