The foundations of mathematics are becoming more mysterious, leading to the development of novel mathematical subjects like 'embedded maximality'.  …more

Gödel's incompleteness theorems, while foundational, address statements and set theory concepts that are abstract and largely separate from the mathematics mathematicians typically work with.  …more

World-renowned physicist Michio Kaku discusses humanity's future, the nature of the universe through string theory, the possibilities of alien life, and the impact of advanced technology like AI and quantum computing.  …more

AI has transitioned from being chronically overhyped for decades to being underhyped in the last four years, as its capabilities have rapidly exceeded expert predictions.  …more

The discussion covers the erosion of public safety in major U.S. cities due to political decisions and the urgent need to reassess surveillance technologies like Flock and ShotSpotter, alongside the transformative potential and societal challenges of advanced AI, including asset taxation, job impact, and ethical considerations.  …more

Professor Harvey Friedman, a mathematical logic prodigy and founder of reverse mathematics, discusses how even finite mathematical concepts can unexpectedly require axioms beyond standard set theory (ZFC), making the foundations of mathematics more mysterious than ever.  …more