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

Introduction to Logic
Stanford 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