Mathematical Reasoning, Formal Proof Systems and Artificial Intelligence
Offered By: International Centre for Theoretical Sciences via YouTube
Course Description
Overview
Explore the intersection of mathematical reasoning, formal proof systems, and artificial intelligence in this lecture by Siddhartha Gadgil at the International Centre for Theoretical Sciences. Delve into the foundations of mathematical logic and its applications in AI during this 1 hour and 15 minute presentation. Gain insights into how formal proof systems are utilized in computer science and machine learning. Discover the role of mathematical reasoning in developing robust AI algorithms and systems. Learn about cutting-edge research combining traditional mathematical approaches with modern AI techniques. Enhance your understanding of the theoretical underpinnings that drive advancements in artificial intelligence and formal mathematics.
Syllabus
Mathematical Reasoning, Formal Proof Systems and Artificial Intelligence by Siddhartha Gadgil
Taught by
International Centre for Theoretical Sciences
Related Courses
Introduction to Artificial IntelligenceStanford University via Udacity Probabilistic Graphical Models 1: Representation
Stanford University via Coursera Artificial Intelligence for Robotics
Stanford University via Udacity Computer Vision: The Fundamentals
University of California, Berkeley via Coursera Learning from Data (Introductory Machine Learning course)
California Institute of Technology via Independent