Lecture 3: The Human Calculating Machine