philosophy and logic
turing machine
ai at mit - 1950
first ai winter
1972
second ai winter
deep learning
2000s