Joel David Hamkins on Infinity, Gödel's Theorems and Set Theory | Philosophical Trials #1
Joel David Hamkins is an American Mathematician who is currently Professor of Logic at the University of Oxford. He is well known for his important contributions in the fields of Mathematical Logic, Set Theory and Philosophy of Mathematics. Moreover, he is very popular in the mathematical community for being the highest rated user on MathOverflow.
Outline of the conversation:
00:00 Podcast Introduction
00:50 MathOverflow and books in progress
04:08 Mathphobia
05:58 What is mathematics and what sets it apart?
08:06 Is mathematics invented or discovered (more at 54:28)
09:24 How is it the case that Mathematics can be applied so successfully to the physical world?
12:37 Infinity in Mathematics
16:58 Cantor's Theorem: the real numbers cannot be enumerated
24:22 Russell's Paradox and the Cumulative Hierarchy of Sets
29:20 Hilbert's Program and Godel's Results
35:05 The First Incompleteness Theorem, formal and informal proofs and the connection between mathematical truths and mathematical proofs
40:50 Computer Assisted Proofs and mathematical insight
44:11 Do automated proofs kill the artistic side of Mathematics?
48:50 Infinite Time Turing Machines can settle Goldbach's Conjecture or the Riemann Hypothesis
54:28 Nonstandard models of arithmetic: different conceptions of the natural numbers
1:00:02 The Continuum Hypothesis and related undecidable questions, the Set-Theoretic Multiverse and the quest for new axioms
1:10:31 Minds and computers: Sir Roger Penrose's argument concerning consciousness
Enjoy!
Apple Podcasts:
https://podcasts.apple.com/gb/podcast/philosophical-trials/id1513707135
Spotify:
https://open.spotify.com/show/3Sz88leU8tmeKe3MAZ9i10
Google Podcasts:
https://podcasts.google.com/?q=philosophical%20trials
Instagram:
https://www.instagram.com/tedynenu/
Видео Joel David Hamkins on Infinity, Gödel's Theorems and Set Theory | Philosophical Trials #1 канала Philosophical Trials
Outline of the conversation:
00:00 Podcast Introduction
00:50 MathOverflow and books in progress
04:08 Mathphobia
05:58 What is mathematics and what sets it apart?
08:06 Is mathematics invented or discovered (more at 54:28)
09:24 How is it the case that Mathematics can be applied so successfully to the physical world?
12:37 Infinity in Mathematics
16:58 Cantor's Theorem: the real numbers cannot be enumerated
24:22 Russell's Paradox and the Cumulative Hierarchy of Sets
29:20 Hilbert's Program and Godel's Results
35:05 The First Incompleteness Theorem, formal and informal proofs and the connection between mathematical truths and mathematical proofs
40:50 Computer Assisted Proofs and mathematical insight
44:11 Do automated proofs kill the artistic side of Mathematics?
48:50 Infinite Time Turing Machines can settle Goldbach's Conjecture or the Riemann Hypothesis
54:28 Nonstandard models of arithmetic: different conceptions of the natural numbers
1:00:02 The Continuum Hypothesis and related undecidable questions, the Set-Theoretic Multiverse and the quest for new axioms
1:10:31 Minds and computers: Sir Roger Penrose's argument concerning consciousness
Enjoy!
Apple Podcasts:
https://podcasts.apple.com/gb/podcast/philosophical-trials/id1513707135
Spotify:
https://open.spotify.com/show/3Sz88leU8tmeKe3MAZ9i10
Google Podcasts:
https://podcasts.google.com/?q=philosophical%20trials
Instagram:
https://www.instagram.com/tedynenu/
Видео Joel David Hamkins on Infinity, Gödel's Theorems and Set Theory | Philosophical Trials #1 канала Philosophical Trials
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
![Simon Blackburn on Philosophy, Truth and Morality | Philosophical Trials #2](https://i.ytimg.com/vi/sckmAGcq9Ec/default.jpg)
![Gödel's Incompleteness Theorem - Numberphile](https://i.ytimg.com/vi/O4ndIDcDSGc/default.jpg)
![Timothy Williamson on Relativism and Vagueness | Philosophical Trials #8](https://i.ytimg.com/vi/qpyrJrBnVdU/default.jpg)
![Exploring the Frontiers of Incompleteness: Joel Hamkins](https://i.ytimg.com/vi/WndanxPlDFk/default.jpg)
![Cristian Presură despre Știință, Mecanică Cuantică și Filosofie | Philosophical Trials (RO) Ep. 2](https://i.ytimg.com/vi/-t8bjs_Goe4/default.jpg)
![Gregory Chaitin - Is Mathematics Invented or Discovered?](https://i.ytimg.com/vi/1RLdSvQ-OF0/default.jpg)
![Thomas Cormen on The CLRS Textbook, P=NP and Computer Algorithms | Philosophical Trials #7](https://i.ytimg.com/vi/GDwqQjfehKE/default.jpg)
![The Importance of Set Theory | Silvia Jonas](https://i.ytimg.com/vi/9n3QsegLU3U/default.jpg)
![David Deutsch on Brexit and Error Correction](https://i.ytimg.com/vi/xdtssXITXuE/default.jpg)
![Scott Aaronson on Computational Complexity, Philosophy & Quantum Computing | Philosophical Trials #6](https://i.ytimg.com/vi/S7ipfH749fw/default.jpg)
![Math's Existential Crisis (Gödel's Incompleteness Theorems)](https://i.ytimg.com/vi/YrKLy4VN-7k/default.jpg)
![Tim Crane on Minds, Artificial Intelligence and Consciousness | Philosophical Trials #3](https://i.ytimg.com/vi/0uTP-dQ4GNg/default.jpg)
![Professor Chris Janaway defends Nietzsche](https://i.ytimg.com/vi/-VQBs3SEnNM/default.jpg)
![Mathematician W. Hugh Woodin Explains Continuum Hypothesis](https://i.ytimg.com/vi/ZC7wglkBWMM/default.jpg)
![Saunders Mac Lane: "Mysteries and Marvels of Mathematics"](https://i.ytimg.com/vi/qyBBD32pT98/default.jpg)
![Non-Dual Conscious Realism ~ Neil Theise](https://i.ytimg.com/vi/AC0CePsV2rs/default.jpg)
![Is There Life after Death? Fifty Years of Research at UVA](https://i.ytimg.com/vi/0AtTM9hgCDw/default.jpg)
![Joel David Hamkins: Bi-interpretation of weak set theories](https://i.ytimg.com/vi/8KxlpMOXoP4/default.jpg)
![Our Mathematical Universe with Max Tegmark](https://i.ytimg.com/vi/_3UxvycpqYo/default.jpg)
![Consciousness is Not a Computation (Roger Penrose) | AI Podcast Clips](https://i.ytimg.com/vi/hXgqik6HXc0/default.jpg)