Contents of
Learning, Maths & AI

  1. Brief History of AI
  2. Machine Learning
  3. Automated Reasoning
  4. Human Learning & Reasoning

This section has four parts.
First we look at a very brief history of Artificial Intelligence.
Then I look at work on machine learning,both symbolic and connectionist.
Next we look at previous work on automated reasoning, paticularly proving of mathematical theorems.
Finally, I want to consider human learning and reasoning, and some of the limitations of the current approaches.