Beyond the infinite: Rothschild Distinguished Visiting Professor Lecture
1 hour 1 min,
236.58 MB,
iPod Video
480x270,
29.97 fps,
44100 Hz,
529.52 kbits/sec
Share this media item:
Embed this media item:
Embed this media item:
About this item
| Description: |
Woodin, H (Harvard University)
Monday 5th October 2015 - 16:00 to 17:00 |
|---|
| Created: | 2015-10-08 17:08 |
|---|---|
| Collection: | Mathematical, Foundational and Computational Aspects of the Higher Infinite |
| Publisher: | Isaac Newton Institute |
| Copyright: | Woodin, H |
| Language: | eng (English) |
| Distribution: |
World
(downloadable)
|
| Explicit content: | No |
| Aspect Ratio: | 16:9 |
| Screencast: | No |
| Bumper: | UCS Default |
| Trailer: | UCS Default |
| Abstract: | The modern mathematical story of infinity began in the period 1879-84 with a series of papers by Cantor that defined the fundamental framework of the subject. Within 40 years the key ZFC axioms for Set Theory were in place and the stage was set for the detailed development of transfinite mathematics, or so it seemed. However, in a completely unexpected development, Cohen showed in 1963 that even the most basic problem of Set Theory, that of Cantor's Continuum Hypothesis, was not solvable on the basis of the ZFC axioms.
The 50 years since Cohen's work has seen a vast development of Cohen's method and the realization that the occurrence of unsolvable problems is ubiquitous in Set Theory. This arguably challenges the very conception of Cantor on which Set Theory is based. Thus a fundamental dilemma has emerged. On the one hand, the discovery, also over the last 50 years, of a rich hierarchy axioms of infinity seems to argue that Cantor's conception is fundamentally sound. But on the other hand, the developments of Cohen's method over this same period seem to strongly suggest there can be no preferred extension of the ZFC axioms to a system of axioms that can escape the ramifications of Cohen's method. But this dilemma was itself based on a misconception and recent discoveries suggest there is a resolution. |
|---|---|
Available Formats
| Format | Quality | Bitrate | Size | |||
|---|---|---|---|---|---|---|
| MPEG-4 Video | 640x360 | 1.97 Mbits/sec | 901.49 MB | View | Download | |
| WebM | 640x360 | 813.11 kbits/sec | 363.28 MB | View | Download | |
| iPod Video * | 480x270 | 529.52 kbits/sec | 236.58 MB | View | Download | |
| MP3 | 44100 Hz | 253.7 kbits/sec | 113.35 MB | Listen | Download | |
| Auto | (Allows browser to choose a format it supports) | |||||