Artificial Intelligence is not the same as it looks today, it took many years to bring the AI to this shape as it sees today, and many researchers, scientists, and mathematicians play vital roles in developing AI to the position where it is now. AI utilizes many previous scientific inventions not identified here because AI as a science has only existed since the middle of the 20th century. The information below provides examples of key milestones and major trends in AI. Learn more about the basics of AI in our comprehensive guide: Introduction to AI . 1931: In 1931, an Austrian mathematician, Kurt Gödel, demonstrated that in first-order predicate logic, every true statement can be derived. When it comes to higher-order logic, on the other hand, there are true statements that can not be derived. 1937: In 1937, Alan Turing, an English Mathematician and Computer scientist, pointed out the limits of intelligent machines with the halting problem. 1943: In 1943, McCulloc...