YoVDO

Computability and Problems with Set Theory - Math History

Offered By: Insights into Mathematics via YouTube

Tags

Set Theory Courses Turing Machines Courses Computability Courses Measure Theory Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the historical controversies and foundational issues in mathematics through this 47-minute lecture on computability and set theory. Delve into Cantor's set theory definition, the formalist approach to resolving difficulties, and Gödel's impact on Hilbert's program. Examine the Zermelo-Fraenkel axiomatic approach to sets and investigate Alan Turing's ideas on computability using Turing machines. Analyze the consequences of these concepts, including the countability of computable sequences. Review historical perspectives on infinite sets from Aristotle to Abraham Robinson, and consider the ongoing debates in mathematical foundations. Gain insights into the work of influential mathematicians like Kurt Gödel and Émile Borel, and explore the connections between set theory, computability, and measure theory.

Syllabus

Computability & problems with set theory
Cantor's definition of a "set"
K. Godel 1906-1978
Zermelo - Fraenkel Axioms for "set theory"
Computability
Consequences; countable numbers of computable sequences
E.Borel 1871-1956- founder of Measure theory


Taught by

Insights into Mathematics

Related Courses

Computability, Complexity & Algorithms
Georgia Institute of Technology via Udacity
Paradox and Infinity
Massachusetts Institute of Technology via edX
Mathematical Logic and Algorithms Theory
Tomsk State University of Control Systems and Radioelectronics via iversity
Introduction to Computer Science and Programming
Tokyo Institute of Technology via edX
Theory of Computation
YouTube