YoVDO

Taming the Monster of Independence in Mathematics

Offered By: MUNI Seminar Series via YouTube

Tags

Mathematical logic Courses Foundations of Mathematics Courses Proof Theory Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Language, Proof and Logic
Stanford University via edX
Proof Theory Impressionism - Blurring the Curry-Howard Line
Strange Loop Conference via YouTube
Topics in Pure Model Theory - Lecture 10
Fields Institute via YouTube
David Cerna: Proof Schema and the Refutational Complexity of Their Cut Structure
Hausdorff Center for Mathematics via YouTube
Graham Leigh: On the Computational Content of Classical Sequent Calculus
Hausdorff Center for Mathematics via YouTube