Taming the Monster of Independence in Mathematics
Offered By: MUNI Seminar Series via YouTube
Course Description
Overview
Explore the challenges posed by Gödel's incompleteness theorem and the concept of independence in mathematics in this 54-minute MUNI Seminar Series lecture. Delve into the frustration mathematicians face when encountering problems independent of the widely-used ZFC axiom system, including the famous Continuum Hypothesis. Examine various approaches to "taming the monster of independence" and discover potential methods for resolving seemingly unsolvable mathematical problems. Gain insights into the ongoing efforts to overcome the limitations imposed by independence and maintain the belief that every genuine mathematical problem has a solution.
Syllabus
Menachem Magidor - Taming the Monster of Independence
Taught by
MUNI Seminar Series
Related Courses
Introduction to LogicStanford University via Coursera Logic: Language and Information 1
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera Information Service Engineering
openHPI Language, Proof and Logic
Stanford University via edX