Study the history of the development of artificial intelligence from ancient times to the 20th century, focusing on logic, mathematical logic, and theories by prominent figures like Alan Turing