Computability and Problems with Set Theory - Math History
Offered By: Insights into Mathematics via YouTube
Course Description
Overview
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 & AlgorithmsGeorgia 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