<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Ergo — Philosophy Begins in Wonder</title>
    <link>https://www.ergo.org</link>
    <description>Ergo is a nonprofit that publishes structured philosophical lectures online, without ads or paywalls. We film brilliant thinkers known for the depth and clarity of their teaching.</description>
    <language>en</language>
    <lastBuildDate>Mon, 06 Jul 2026 19:50:32 GMT</lastBuildDate>
    <atom:link href="https://www.ergo.org/rss.xml" rel="self" type="application/rss+xml"/>
    <item>
      <title>Defeat as Philosophical Victory</title>
      <link>https://www.ergo.org/videos/richard-polt-defeat-as-philosophical-victory.html</link>
      <guid>https://www.ergo.org/videos/richard-polt-defeat-as-philosophical-victory.html</guid>
      <description>In this fifth lecture, Richard Polt walks through the final stretch of Plato's Theaetetus, where Socrates and his interlocutors try every available strategy to pin down what knowledge really is. Starting from the problem of false judgment, the discussion moves through the aviary model of memory, the dream theory of perceivable but unknowable elements, and three versions of what it means to give an &quot;account&quot; of something: putting judgment into words, listing elements, and identifying a distinguishing mark. Each attempt collapses under scrutiny. The lecture highlights how spelling a name correctly could be a lucky guess, anticipating the modern Gettier problem that undermines justified true belief. Polt also connects these ancient puzzles to Descartes's self-evident truths, the unity of music and memory, and even questions about AI and learning. The dialogue ends without a definition of knowledge, but Socrates insists this apparent defeat is itself a philosophical victory.</description>
      <author>Richard Polt</author>
    </item>
    <item>
      <title>The Soul Behind the Senses</title>
      <link>https://www.ergo.org/videos/richard-polt-the-soul-behind-the-senses.html</link>
      <guid>https://www.ergo.org/videos/richard-polt-the-soul-behind-the-senses.html</guid>
      <description>In this fourth session on Plato's Theaetetus, Richard Polt traces Socrates' final arguments against the idea that knowledge is simply perception. The lecture examines how the psyche unifies consciousness across the separate senses, and why concepts like being, sameness, and goodness cannot be delivered by perception alone. These common concepts require reasoning that unfolds over time through education and effort. With perception defeated, the dialogue turns to a new proposal: knowledge as true judgment. But this raises an immediate puzzle. How is false judgment even possible? Polt walks through three arguments that seem to rule out false belief entirely, then introduces the wax block model of memory as Plato's attempt to rescue the possibility of error. The model works in some cases but ultimately breaks down, setting the stage for the dialogue's final move: the proposal that knowledge is true judgment plus an account, and the deep difficulty of defining what counts as a genuine account.</description>
      <author>Richard Polt</author>
    </item>
    <item>
      <title>Does Relativism Refute Itself?</title>
      <link>https://www.ergo.org/videos/richard-polt-does-relativism-refute-itself.html</link>
      <guid>https://www.ergo.org/videos/richard-polt-does-relativism-refute-itself.html</guid>
      <description>In this third session on Plato's Theaetetus, Richard Polt guides students through one of the dialogue's richest stretches. The lecture begins by revisiting the equation of knowledge with perception and the Protagorean claim that each person is the measure of truth. Can Protagoras consistently claim special wisdom if everyone's perceptions are equally valid? The famous argument suggests relativism may refute itself. Polt then examines how experts and their power of prediction challenge relativist assumptions, especially in politics. The lecture takes a dramatic turn with Socrates's famous digression comparing the philosopher and the lawyer, raising questions about freedom, ignorance, and nobility of character. The story of Thales falling into a well introduces the archetype of the absent-minded thinker. Polt asks whether Socrates is really describing himself. The session closes by tracing the radical Heraclitean doctrine of universal flux to its logical extreme, where constant change destroys the very possibility of language, setting up the final refutation of knowledge as perception.</description>
      <author>Richard Polt</author>
    </item>
    <item>
      <title>When Every Perception is True</title>
      <link>https://www.ergo.org/videos/richard-polt-when-every-perception-is-true.html</link>
      <guid>https://www.ergo.org/videos/richard-polt-when-every-perception-is-true.html</guid>
      <description>In this second session on Plato's Theaetetus, Richard Polt guides viewers through one of philosophy's most provocative stretches of dialogue. Beginning with a recap of the characters and the proposal that knowledge is perception, the lecture traces how Socrates connects this idea to Heraclitean flux, the claim that everything is constantly changing like a river. From there, Polt unpacks a series of vivid thought experiments: the six dice paradox, color theory and secondary qualities, and a radical &quot;secret doctrine&quot; that abolishes stable being altogether. The discussion turns to whether every perception is true for the perceiver, testing the idea against dreams, insanity, and the embarrassing implication that humans are no wiser than pigs or baboons. Socrates deploys his famous midwife metaphor and ironic style to press these questions further. The lecture closes by examining whether wisdom can still mean anything if &quot;better&quot; is always relative, setting up deep problems of ethical relativism that carry into the next reading.</description>
      <author>Richard Polt</author>
    </item>
    <item>
      <title>Is Knowledge Just Perception?</title>
      <link>https://www.ergo.org/videos/richard-polt-is-knowledge-just-perception.html</link>
      <guid>https://www.ergo.org/videos/richard-polt-is-knowledge-just-perception.html</guid>
      <description>In this opening lecture of a course on Plato's Theaetetus, Richard Polt guides viewers through one of philosophy's most entertaining and enduring dialogues. He begins by addressing the challenge of reading Plato, a writer who never speaks in his own voice, and the paradox of a philosopher who distrusted writing yet produced some of the greatest texts in history. Polt then walks through the prologue's themes of death, character, and everyday knowledge before introducing the dialogue's central question: what is knowledge? Along the way, he unpacks Socrates' role as intellectual midwife, the difference between giving examples and offering definitions, and the problem of circular reasoning. The lecture builds toward the first major answer proposed in the dialogue: that knowledge is perception, connecting it to Protagoras' relativism and even modern physics. Polt shows why this ancient conversation still matters for anyone trying to understand what it means to truly know something.</description>
      <author>Richard Polt</author>
    </item>
    <item>
      <title>Set Theory's Deepest Mystery</title>
      <link>https://www.ergo.org/videos/joel-david-hamkins-set-theorys-deepest-mystery.html</link>
      <guid>https://www.ergo.org/videos/joel-david-hamkins-set-theorys-deepest-mystery.html</guid>
      <description>Is there an infinity between the integers and the real numbers? This question has puzzled mathematics for over a century. Joel David Hamkins guides viewers through Cantor's continuum hypothesis, beginning with surprising results about equinumerosity: the line has as many points as the plane, and continuous functions on the reals can be counted in unexpected ways. He then traces the dramatic twentieth-century discoveries that transformed the problem. Gödel showed the hypothesis is consistent with standard mathematics, and Cohen proved it is independent, meaning it can be neither proved nor disproved from the usual axioms. Hamkins explains why even large cardinals cannot settle the question, then turns to the deeper philosophical divide: should we seek one true universe of sets, or embrace a multiverse where different set theories coexist? Drawing a striking analogy to pluralism in geometry, he argues that the continuum hypothesis reveals something fundamental about the nature of mathematical truth itself.</description>
      <author>Joel David Hamkins</author>
    </item>
    <item>
      <title>Beyond Countable Infinity</title>
      <link>https://www.ergo.org/videos/joel-david-hamkins-beyond-countable-infinity.html</link>
      <guid>https://www.ergo.org/videos/joel-david-hamkins-beyond-countable-infinity.html</guid>
      <description>Starting from countable infinity and Hilbert's Hotel, Joel David Hamkins guides viewers into the stunning discovery that not all infinities are the same size. He presents Cantor's diagonal argument in careful detail, showing why the real numbers cannot be listed in a sequence, and revisits Cantor's original 1874 nested interval proof. Along the way, Hamkins addresses common crank objections, explores the tension between potential and actual infinity, and traces how the number concept expanded over centuries to include transcendental numbers like the Liouville constant. The lecture then builds toward an even more remarkable conclusion: power sets are always strictly larger than the sets they come from, generating an endless hierarchy of infinities. Vivid analogies involving committees, salads, barbers, and baristas make the abstract ideas concrete, before Russell's paradox arrives to shatter naive set theory and close the discussion.</description>
      <author>Joel David Hamkins</author>
    </item>
    <item>
      <title>Hilbert's Hotel Is Always Open</title>
      <link>https://www.ergo.org/videos/joel-david-hamkins-hilberts-hotel-is-always-open.html</link>
      <guid>https://www.ergo.org/videos/joel-david-hamkins-hilberts-hotel-is-always-open.html</guid>
      <description>What happens when an infinite hotel with no vacancies gets new guests? Joel David Hamkins walks through the famous Hilbert's Hotel thought experiment, starting with the problem of fitting one more guest into a completely full hotel. From there, the challenges escalate: a thousand new guests, an infinite bus, and even an infinite train carrying infinitely many passengers per car. Each scenario illustrates a deeper property of countable infinity. Hamkins then formalizes these ideas, explaining what it means for a set to be countable and proving that countable sets remain countable under unions, Cartesian products, and other operations. Along the way, he introduces the Cantor pairing function, shows why the rational numbers are countable, and notes the hidden role of the axiom of choice. The lecture closes with a tantalizing puzzle: Cantor's cruise ship arrives carrying passengers labeled by real numbers. Can Hilbert's Hotel accommodate them? The answer awaits in the next lecture.</description>
      <author>Joel David Hamkins</author>
    </item>
    <item>
      <title>What Does Finite Really Mean?</title>
      <link>https://www.ergo.org/videos/joel-david-hamkins-what-does-finite-really-mean.html</link>
      <guid>https://www.ergo.org/videos/joel-david-hamkins-what-does-finite-really-mean.html</guid>
      <description>Defining what it means for a set to be finite seems straightforward, but the history of mathematics reveals a tangle of competing proposals, each with subtle strengths and surprising failures. In this lecture, Joel David Hamkins surveys the landscape of finiteness definitions, beginning with Aristotle's potentialist view of infinity and moving through Galileo's paradox, Dedekind infinite sets, and a range of alternatives including order infinite, discretely finite, Stöckel finite, and Tarski finite sets. He examines how these notions relate to one another and where they come apart, especially in the absence of the axiom of choice. Hamkins then turns to the numerical approach championed by Frege and Dedekind, showing how Dedekind's three axioms ground arithmetic and why this framework ultimately won out. The lecture concludes by revealing that expressing finiteness inherently requires second-order logic, explaining why the concept is far more delicate than it first appears.</description>
      <author>Joel David Hamkins</author>
    </item>
    <item>
      <title>Galileo's Paradox of Infinity</title>
      <link>https://www.ergo.org/videos/joel-david-hamkins-galileos-paradox-of-infinity.html</link>
      <guid>https://www.ergo.org/videos/joel-david-hamkins-galileos-paradox-of-infinity.html</guid>
      <description>How can a part be the same size as the whole? Joel David Hamkins walks through Galileo's famous paradox, which reveals a deep tension between two seemingly obvious principles: that sets matched one-to-one must be the same size, and that the whole must be greater than any proper part. Beginning with a simple dinner party analogy for one-to-one correspondence, Hamkins traces the history of this puzzle through Aristotle's wheel paradox, Bolzano's geometric observations about arcs and line segments, and Galileo's original 1638 dialogue about natural numbers and perfect squares. Along the way, he shows how finite line segments can be matched point-for-point with infinite lines, and how circles of different sizes contain equally many points. The lecture concludes with the modern resolution: the Cantor-Hume principle and the Cantor-Schröder-Bernstein theorem, which together provide a coherent framework for comparing the sizes of infinite sets.</description>
      <author>Joel David Hamkins</author>
    </item>
    <item>
      <title>Potential vs Actual Infinity</title>
      <link>https://www.ergo.org/videos/joel-david-hamkins-potential-vs-actual-infinity.html</link>
      <guid>https://www.ergo.org/videos/joel-david-hamkins-potential-vs-actual-infinity.html</guid>
      <description>Are there infinitely many numbers all at once, or can we only ever reach more and more of them without end? Joel David Hamkins traces this fundamental question from ancient geometry and Archimedes through Galileo's arguments for actual infinity, arriving at the modern landscape of potentialism and actualism. He examines ultrafinitism, the radical view that very large numbers may not meaningfully exist, and the famous challenge of drawing a line between numbers that exist and those that don't. The lecture then takes a precise turn, showing how modal logic can formalize different varieties of potentialism. Using axiom systems like S4, S4.2, and S4.3, Hamkins distinguishes linear, convergent, and radically branching forms of potentialism, culminating in a potentialist translation theorem. He closes by explaining how actualism, the view that infinite totalities are fully real, became the dominant framework in modern mathematics, with infinities built upon infinities as routine practice.</description>
      <author>Joel David Hamkins</author>
    </item>
    <item>
      <title>The Largest Tweetable Number</title>
      <link>https://www.ergo.org/videos/joel-david-hamkins-the-largest-tweetable-number.html</link>
      <guid>https://www.ergo.org/videos/joel-david-hamkins-the-largest-tweetable-number.html</guid>
      <description>What is the largest number you can describe in a tweet? With only 280 characters, there must be a finite number of possibilities, which means a largest tweetable number must exist. Joel David Hamkins takes this question on a journey through ever more powerful notations for large numbers, from googolplex to Knuth's up-arrow notation and beyond. But the real puzzle emerges when a clever contestant tries to win a largest number contest by exploiting the concept of definability itself. This leads directly into Berry's paradox, the halting problem, and Kolmogorov complexity, showing why no computer or formal system can determine which descriptions actually define numbers. Hamkins ultimately invokes Tarski's theorem to resolve the paradox: definability itself is not definable. The lecture reveals how a playful question about tweeting numbers opens onto deep results about the limits of language, computation, and mathematical truth.</description>
      <author>Joel David Hamkins</author>
    </item>
    <item>
      <title>Volume, Surface, and the Infinite</title>
      <link>https://www.ergo.org/videos/joel-david-hamkins-volume-surface-and-the-infinite.html</link>
      <guid>https://www.ergo.org/videos/joel-david-hamkins-volume-surface-and-the-infinite.html</guid>
      <description>Why could giants never actually roam the Earth? Joel David Hamkins begins with a question from Galileo: how do volume, surface area, and strength change as creatures scale up or down? The square-cube law reveals that giants would collapse under their own weight, while tiny humans would be bizarrely strong for their size. This insight about dimensional scaling opens the door to a series of mathematical surprises. Gabriel's Horn holds finite volume but has infinite surface area, raising the question of whether you can paint a surface that stretches on forever. The Koch Snowflake challenges our intuitions about area and perimeter. Hypersphere volumes peak unexpectedly at dimension five and then shrink toward zero. Hypercubes become &quot;all corners&quot; in high dimensions, and a blue sphere somehow escapes its bounding box. Each paradox deepens our understanding of how geometry behaves in ways that defy everyday experience, revealing the strange and beautiful consequences of infinity and dimension.</description>
      <author>Joel David Hamkins</author>
    </item>
    <item>
      <title>Supertasks: Doing Infinite Things</title>
      <link>https://www.ergo.org/videos/joel-david-hamkins-supertasks-doing-infinite-things.html</link>
      <guid>https://www.ergo.org/videos/joel-david-hamkins-supertasks-doing-infinite-things.html</guid>
      <description>What happens when you complete infinitely many steps? Joel David Hamkins walks through a series of supertasks that challenge ordinary intuition about infinity. He begins with Thompson's Lamp, a puzzle about toggling a light switch infinitely many times, then connects it to Zeno's paradox to show that supertasks may not be as exotic as they seem. The lecture builds toward deeper puzzles: a deal with the devil, balls placed into and removed from a sack where the final count defies expectation, and a stochastic version where probability-zero events become surprisingly relevant. Hamkins carefully distinguishes between what holds for every individual ball and what holds for all balls collectively, exposing a subtle logical gap. The lecture culminates in the chocolatier's game, where questions about finite versus infinite servings, memory, and the axiom of choice determine whether a glutton can guarantee tasting every flavor. Throughout, Hamkins shows how rigorous thinking about infinity upends common sense.</description>
      <author>Joel David Hamkins</author>
    </item>
    <item>
      <title>Zeno's Paradox and Infinite Sums</title>
      <link>https://www.ergo.org/videos/joel-david-hamkins-zenos-paradox-and-infinite-sums.html</link>
      <guid>https://www.ergo.org/videos/joel-david-hamkins-zenos-paradox-and-infinite-sums.html</guid>
      <description>Can you cross a room if you must first travel half the distance, then half again, forever? Zeno of Elea argued all motion is impossible, and his ancient paradox opens the door to profound questions about infinity. In this lecture, Joel David Hamkins traces a path from Zeno's challenge through the mathematics of infinite sums. He asks whether 0.999... truly equals 1, unpacks what decimal notation actually means, and derives the geometric series formula to resolve Zeno's puzzle. But not all infinite sums behave so neatly. The harmonic series diverges to infinity, and its alternating cousin converges, yet Riemann's rearrangement theorem reveals something fascinating: when you add infinitely many numbers, the order in which you add them can change the result entirely. This lecture sets the stage for a deeper exploration of supertasks and the strange logic of the infinite.</description>
      <author>Joel David Hamkins</author>
    </item>
    <item>
      <title>Infinity Has a Story to Tell</title>
      <link>https://www.ergo.org/videos/joel-david-hamkins-infinity-has-a-story-to-tell.html</link>
      <guid>https://www.ergo.org/videos/joel-david-hamkins-infinity-has-a-story-to-tell.html</guid>
      <description>In this opening lecture, Joel David Hamkins invites viewers into a wide-ranging exploration of infinity. He previews the major puzzles and paradoxes the series will tackle, from Zeno's paradox and supertasks to Galileo's paradox and the crucial distinction between the potentially infinite and the actually infinite. The series traces a historical arc from classical thinkers like Aristotle and Archimedes through Galileo, Frege, Dedekind, and Cantor, arriving at twentieth-century giants such as Gödel, Tarski, and Russell. Hamkins highlights Cantor's discovery of the difference between countable and uncountable infinity as a particularly profound turning point. At the heart of the lecture is an optimistic claim: the study of infinity represents a case of genuine intellectual progress. Ideas that once seemed hopelessly confusing have, over centuries of careful thought, yielded real insight. Hamkins makes the case that we now understand infinity far better than ever before, and he invites viewers to follow along as the story unfolds.</description>
      <author>Joel David Hamkins</author>
    </item>
    <item>
      <title>AI, Quantum Computing, and Beyond</title>
      <link>https://www.ergo.org/videos/tim-roughgarden-ai-quantum-computing-and-beyond.html</link>
      <guid>https://www.ergo.org/videos/tim-roughgarden-ai-quantum-computing-and-beyond.html</guid>
      <description>Building on his earlier introduction to the P vs. NP problem, Tim Roughgarden dives into the deeper consequences of this open question. He examines NP-intermediate problems like factoring and graph isomorphism, which sit awkwardly between easy and hard, and explains why these cases matter for encryption and network analysis. Roughgarden then considers three possible futures: What if P does not equal NP? What if it does, with fast algorithms? And what if it does, but only in a useless theoretical sense? Each scenario carries radically different implications. The lecture then turns to whether new technologies can sidestep classical limits. Quantum computers appear genuinely capable of solving certain problems, like factoring via Shor's algorithm, far more efficiently than classical computers, prompting a revision of the Extended Church-Turing Thesis and a race toward post-quantum cryptography. But AI, despite appearances, does not overcome fundamental computational barriers. Roughgarden closes with a striking claim: computation's deepest truths transcend any particular technology, offering a kind of permanence in a rapidly changing world.</description>
      <author>Tim Roughgarden</author>
    </item>
    <item>
      <title>Two Worlds We Might Live In</title>
      <link>https://www.ergo.org/videos/tim-roughgarden-two-worlds-we-might-live-in.html</link>
      <guid>https://www.ergo.org/videos/tim-roughgarden-two-worlds-we-might-live-in.html</guid>
      <description>Tim Roughgarden dives into the P versus NP question, widely considered the most important open problem in computer science. Building on earlier groundwork about easy and hard problems, he traces the historical origins of NP-completeness, from Karp's landmark list of 21 problems to the pioneers who shaped the field. Roughgarden highlights two threads of research: the more engineering-oriented pursuit of efficient algorithms, and the more mathematically focused quest for lower bounds and impossibility results, that converged on the P versus NP question. He lays out the two possible worlds: one where P equals NP and what were thought to be hard problems can actually be solved quickly, and one where they cannot. He examines why most experts bet that P does not equal NP, considers the intuitive &quot;vibes argument&quot; for this belief, and confronts the sobering reality that proving it may be nearly impossible. The episode sets the stage for a final installment on the real-world ramifications of either answer.</description>
      <author>Tim Roughgarden</author>
    </item>
    <item>
      <title>Easy Problems, Hard Problems</title>
      <link>https://www.ergo.org/videos/tim-roughgarden-easy-problems-hard-problems.html</link>
      <guid>https://www.ergo.org/videos/tim-roughgarden-easy-problems-hard-problems.html</guid>
      <description>Building on his earlier discussion of shortest paths and Dijkstra's algorithm, Tim Roughgarden asks a crucial question: do efficient algorithmic shortcuts always exist? Starting with the Traveling Salesman Problem, he shows that some problems can be solved in principle but appear to resist any efficient solution. This leads to a careful explanation of polynomial-time algorithms, the class P, and why the distinction between polynomial and exponential growth matters so profoundly, especially in the age of Moore's Law. Roughgarden then introduces NP problems, those for which solutions are easy to verify, and explains how the concept of reductions allows mathematicians to prove that certain problems are &quot;NP-complete,&quot; at least as hard as every other problem in NP. He recounts the stories of Stephen Cook and Leonid Levin, whose independent discoveries of NP-completeness required remarkable tenacity, setting the stage for a deeper exploration of P versus NP.</description>
      <author>Tim Roughgarden</author>
    </item>
    <item>
      <title>How Algorithms Outsmart Complexity</title>
      <link>https://www.ergo.org/videos/tim-roughgarden-how-algorithms-outsmart-complexity.html</link>
      <guid>https://www.ergo.org/videos/tim-roughgarden-how-algorithms-outsmart-complexity.html</guid>
      <description>Tim Roughgarden continues his exploration of computation by revealing how algorithms crack seemingly impossibly large problems with elegant, efficient solutions. The lecture begins with the story of Karatsuba, a 23-year-old who disproved a conjecture by the legendary Kolmogorov, showing that grade school multiplication could be beaten through a simple but brilliant trick: reusing partial results instead of computing them from scratch. Roughgarden walks through the mechanics step by step, demonstrating how splitting numbers and recombining them cleverly saves an entire multiplication at every level of recursion. The lecture then turns to finding shortest paths in networks, where checking every possible route leads to an explosion of options that dwarfs the number of atoms in the universe. Dijkstra's algorithm solves this beautifully, like an expanding balloon finding optimal paths as it grows. The discussion builds toward a profound open question: are there problems that have easy-to-check solutions but nevertheless require brute-force search? This is the essence of the P versus NP question, the deepest unsolved problem in computer science.</description>
      <author>Tim Roughgarden</author>
    </item>
    <item>
      <title>Is There Anything Computers Can't Do?</title>
      <link>https://www.ergo.org/videos/tim-roughgarden-is-there-anything-computers-cant-do.html</link>
      <guid>https://www.ergo.org/videos/tim-roughgarden-is-there-anything-computers-cant-do.html</guid>
      <description>Tim Roughgarden takes us back to the origins of computer science, before computers even existed, to reveal a profound and lasting disappointment at the heart of the discipline. Beginning with Hilbert's ambitious program to put mathematics on solid foundations, Roughgarden traces how Gödel shattered the dream of completeness and how Alan Turing, in his landmark 1936 paper, defined what computation really is through the elegantly simple Turing machine. From there, the lecture builds toward Turing's devastating result: certain problems, including the famous halting problem, are fundamentally unsolvable by any computer, not just today's machines but any machine that could ever be built. Roughgarden walks through the key proof techniques, including the universal Turing machine, diagonalization, and reductions, showing how impossibility spreads across problems. The lecture closes with Church's lambda calculus, the question of whether anything could be more powerful than a Turing machine, and a charming anecdote about the eccentric rituals of mathematical life.</description>
      <author>Tim Roughgarden</author>
    </item>
    <item>
      <title>Computation and Its Limits</title>
      <link>https://www.ergo.org/videos/tim-roughgarden-computation-and-its-limits.html</link>
      <guid>https://www.ergo.org/videos/tim-roughgarden-computation-and-its-limits.html</guid>
      <description>What are computers, at a fundamental level, capable of doing, and what lies beyond their reach? In this introductory lecture, Tim Roughgarden frames computation not as a feature of modern technology, but as a set of deep laws governing the universe itself. He previews a series of questions that have shaped computer science, from Turing's proof that some problems are unsolvable to the enduring mystery of P versus NP. Along the way, he sketches how ideas like universality, reduction, and algorithmic efficiency reveal unexpected connections between seemingly unrelated problems. This episode serves as a guide to the five lectures that follow, offering a map of the concepts, questions, and intellectual stakes of the series.</description>
      <author>Tim Roughgarden</author>
    </item>
    <item>
      <title>Three Ways to Save Reality</title>
      <link>https://www.ergo.org/videos/david-albert-three-ways-to-save-reality.html</link>
      <guid>https://www.ergo.org/videos/david-albert-three-ways-to-save-reality.html</guid>
      <description>Quantum mechanics works extraordinarily well, yet its standard formulation harbors a deep puzzle: the measurement problem. When no one is looking, particles evolve smoothly according to the Schrödinger equation, but measurements seem to force abrupt, random outcomes, and a fundamental theory of nature shouldn't depend on vague notions like &quot;measurement.&quot; In this lecture, David Albert examines three ambitious attempts to resolve this tension while preserving a realistic picture of the physical world. GRW theory introduces spontaneous collapses that eliminate macroscopic superpositions. Everett's many-worlds interpretation keeps the smooth evolution but posits a branching universe, raising thorny questions about probability. Bohm's mechanics restores determinism through hidden variables but faces its own challenges, including nonlocality and the role of configuration space. Albert carefully weighs the advantages and costs of each approach, making vivid the intellectual stakes of one of the deepest problems in the foundations of physics.</description>
      <author>David Albert</author>
    </item>
    <item>
      <title>Bell's Impossible Proof</title>
      <link>https://www.ergo.org/videos/david-albert-bells-impossible-proof.html</link>
      <guid>https://www.ergo.org/videos/david-albert-bells-impossible-proof.html</guid>
      <description>We carry a deep conviction that events in one place can only affect distant events through an unbroken chain of influence, like a row of dominoes falling one into the next. Physicists call this the principle of locality, and David Albert traces its remarkable history from Newton through the present day. Newton's theory of gravity seemed to violate locality with its mysterious action at a distance, but over three centuries, physicists found ways to restore it, first through Faraday and Maxwell's electromagnetic fields, which became real physical entities in their own right, and then through Einstein's general relativity, which finally made gravity local too. Just when it seemed the principle was secure, quantum mechanics shattered it. Albert walks through the Einstein-Podolsky-Rosen argument and Bell's theorem to show why quantum mechanics demands genuine non-locality, distant particles influencing each other with no chain of dominoes in between. The deepest intuition we have about how the world works turns out to be wrong.</description>
      <author>David Albert</author>
    </item>
    <item>
      <title>Two Laws That Can't Both Be True</title>
      <link>https://www.ergo.org/videos/david-albert-two-laws-that-cant-both-be-true.html</link>
      <guid>https://www.ergo.org/videos/david-albert-two-laws-that-cant-both-be-true.html</guid>
      <description>What happens when the most successful scientific theory ever devised can't explain its own central procedure: measurement? In this lecture, David Albert lays out the deep crisis at the heart of quantum mechanics. He begins with the astonishing predictive success of the quantum algorithm, then reveals the tension between its two fundamental laws: the smooth, deterministic Schrödinger equation and the abrupt, probabilistic collapse that occurs during measurement. Albert contrasts Bohr's radical response (that physics should abandon the ambition of telling stories about what particles actually do) with Von Neumann's attempt to formalize two distinct laws, one for measured systems and one for unmeasured ones. He then follows the problem to its strangest conclusion through Wigner, who argued that consciousness itself might play a role in physical reality, arriving at a form of mind-body dualism reminiscent of Descartes. The lecture makes vivid why this isn't merely a technical puzzle but a genuine crisis for the scientific project.</description>
      <author>David Albert</author>
    </item>
    <item>
      <title>When Physics Stops Making Sense</title>
      <link>https://www.ergo.org/videos/david-albert-when-physics-stops-making-sense.html</link>
      <guid>https://www.ergo.org/videos/david-albert-when-physics-stops-making-sense.html</guid>
      <description>In this lecture, David Albert traces one of the most unsettling developments in the history of science: the moment quantum mechanics forced leading physicists to abandon the goal of telling an intelligible story about physical reality. Beginning with Niels Bohr's insistence that no coherent picture can be drawn of what happens between measurements, Albert walks through the key experiments that reveal why. He shows how the uncertainty relation is not merely a gap in our knowledge but a deeper fact about the world, that asking about an electron's hardness when it is known to be white is like asking about the marital status of the number five. Albert then introduces the two core rules of quantum mechanics, explaining how their combination produces the most successful predictive algorithm in history while remaining, in his words, &quot;clearly madness.&quot; The lecture makes vivid the intellectual stakes of a science that works perfectly yet resists understanding.</description>
      <author>David Albert</author>
    </item>
    <item>
      <title>The Experiment That Broke Reality</title>
      <link>https://www.ergo.org/videos/david-albert-the-experiment-that-broke-reality.html</link>
      <guid>https://www.ergo.org/videos/david-albert-the-experiment-that-broke-reality.html</guid>
      <description>In this engaging lecture, David Albert guides viewers through some of the most surprising discoveries in modern physics by telling stories about what happens when you measure the properties of electrons. Starting with simple experiments involving &quot;color&quot; and &quot;hardness,&quot; stand-ins for components of quantum spin, Albert builds toward increasingly baffling results. Electrons seem to defy every classical expectation: their measured properties resist prediction, filtering has no effect on seemingly random outcomes, and ingenious experimental setups reveal that electrons cannot be said to have taken any definite path at all. Through thought experiments involving magnetic boxes, the Aharonov-Bohm effect, and &quot;total of nothing&quot; boxes, Albert shows how quantum mechanics challenges our deepest assumptions about physical reality. The lecture is designed for a broad audience, requiring no technical background, yet it confronts head-on the profound limits of scientific explanation that quantum phenomena impose.</description>
      <author>David Albert</author>
    </item>
    <item>
      <title>The Crisis In Physics</title>
      <link>https://www.ergo.org/videos/david-albert-the-crisis-in-physics.html</link>
      <guid>https://www.ergo.org/videos/david-albert-the-crisis-in-physics.html</guid>
      <description>In this brief introduction to a five-part series, David Albert describes one of the most extraordinary moments in modern science: when leading physicists concluded that quantum mechanics had shattered the core aspiration of the scientific project. He traces how experiments on subatomic particles led Niels Bohr and the Copenhagen school to argue that any straightforward, realistic account of what happens behind the scenes of quantum experiments would inevitably collapse into paradox. Crucially, this wasn't an abstract philosophical critique. It came from working physicists simply trying to understand very small rocks passing through measuring devices. Albert introduces the measurement problem at the heart of quantum theory, touches on Bell's theorem, and previews three major attempts to resolve the crisis. He also recommends accessible books for viewers who want to explore the technical details further.</description>
      <author>David Albert</author>
    </item>
    <item>
      <title>Making Your Beliefs Your Own</title>
      <link>https://www.ergo.org/videos/lee-braver-making-your-beliefs-your-own.html</link>
      <guid>https://www.ergo.org/videos/lee-braver-making-your-beliefs-your-own.html</guid>
      <description>In this concluding lecture, Lee Braver looks back over the arc of his course spanning Descartes, Hume, Kant, and Nietzsche, and draws inspiration from the way in which each philosopher took the best ideas of their predecessors and pushed them further. Descartes rebuilt knowledge from scratch so that his beliefs would truly be his own. Hume turned Descartes' doubts into a deeper insight about habit and experience. Kant unified reason and experience by showing that we impose structure on the world. Nietzsche then took Kant's insight to its most radical conclusion: if the known world has been shaped by our minds all along, then we can create a better one. The initial horror of losing objective meaning gives way to a profound liberation. Our greatest strength is not any fixed truth but our endless creativity, our ability to grow, explore, and become something unrecognizable to who we were before. Braver closes by urging us to keep evolving and never settle into a final version of ourselves.</description>
      <author>Lee Braver</author>
    </item>
    <item>
      <title>Nietzsche's Warning to the Future</title>
      <link>https://www.ergo.org/videos/lee-braver-nietzsches-warning-to-the-future.html</link>
      <guid>https://www.ergo.org/videos/lee-braver-nietzsches-warning-to-the-future.html</guid>
      <description>Nietzsche predicted wars and upheaval unlike anything the world had seen, and the twentieth century proved him right. In this lecture, Lee Braver traces the crisis Nietzsche diagnosed, as science dismantled the cosmic framework that once gave human life its meaning. Copernicus displaced us from the center of the universe, Darwin revealed us as animals shaped by chance, and the reassuring certitude of divine authority gave way to nihilism. But Nietzsche's famous declaration that God is dead was never meant to sound a note of finality. It was a warning. The real danger, he argued, was not God's absence but the failure to take up the mantle of creation ourselves. If no fixed horizon defines us, we are free to remake our values, our lives, and our sense of what is possible.</description>
      <author>Lee Braver</author>
    </item>
    <item>
      <title>How Your Mind Builds Reality</title>
      <link>https://www.ergo.org/videos/lee-braver-how-your-mind-builds-reality.html</link>
      <guid>https://www.ergo.org/videos/lee-braver-how-your-mind-builds-reality.html</guid>
      <description>What if the world you experience isn't the world as it really is? In this engaging lecture, Lee Braver unpacks Kant's revolutionary answer to one of philosophy's deepest questions: how can we have knowledge that goes beyond mere observation? Using vivid analogies, including a black-and-white television that can only display gray, Braver shows how Kant argued that the mind doesn't passively receive information but actively organizes it through built-in structures like space, time, and causality. This means everything we perceive has already been shaped by our mental apparatus before we become aware of it, much like how our brains regulate our heartbeat without conscious effort. Braver traces how Kant synthesized the competing traditions of empiricism and rationalism, drew a sharp line between things as they appear to us and things as they are in themselves, and ultimately set limits on what reason can and cannot know, opening the door to faith while closing it to certain kinds of metaphysical proof. The lecture concludes by showing how Kant's framework influenced the Enlightenment and set the stage for German Idealism.</description>
      <author>Lee Braver</author>
    </item>
    <item>
      <title>Kant Wakes from His Dogmatic Sleep</title>
      <link>https://www.ergo.org/videos/lee-braver-kant-wakes-from-his-dogmatic-sleep.html</link>
      <guid>https://www.ergo.org/videos/lee-braver-kant-wakes-from-his-dogmatic-sleep.html</guid>
      <description>By the late eighteenth century, philosophy had reached an impasse. Rationalists and empiricists held fundamentally incompatible views about what we can know and how we can know it. Hume had argued that our deepest convictions, like the belief that one event causes another, rest on nothing more than animal habit. Our prized human reason is nothing more than the reactive instinct that allows animals to seek out morsels of food. Kant found this intolerable. As a champion of the Enlightenment, he insisted that rational beings must have reasons for their beliefs or forfeit the right to hold them. And so he set out to redeem realms of knowledge disallowed by Hume. In this lecture, Lee Braver traces Kant's revolutionary response, beginning with his famous &quot;awakening from dogmatic slumbers&quot; and working through the crucial distinctions between knowledge gained from experience and knowledge independent of it, between judgments that merely unpack definitions and those that genuinely extend what we know. These tools allowed Kant to conceive of a category of knowledge that neither Descartes nor Hume thought possible, a category neither fully rationalist or fully empiricist that allowed the reunification of epistemology on new ground.</description>
      <author>Lee Braver</author>
    </item>
    <item>
      <title>Why You Can't Prove Tomorrow</title>
      <link>https://www.ergo.org/videos/lee-braver-why-you-cant-prove-tomorrow.html</link>
      <guid>https://www.ergo.org/videos/lee-braver-why-you-cant-prove-tomorrow.html</guid>
      <description>In this lecture, Lee Braver unpacks one of the most striking arguments in the history of philosophy: Hume's problem of induction. Starting with the billiard ball thought experiment, Braver shows that we cannot reason our way from cause to effect without experience. But the truly shocking claim goes further. Even after a lifetime of experience, we still have no rational basis for expecting the future to resemble the past. Every attempt to justify that expectation ends up assuming the very thing it tries to prove, committing the logical fallacy of begging the question. So what saves us? Not reason, but custom and habit, the same mental machinery that drives Pavlov's dogs and Skinner's pigeons. Braver carefully distinguishes between being irrational and being arational, and explains how Hume uses these insights to draw firm boundaries around what human beings can legitimately claim to know, with devastating consequences for traditional philosophy.</description>
      <author>Lee Braver</author>
    </item>
    <item>
      <title>Hume's Map of the Mind</title>
      <link>https://www.ergo.org/videos/lee-braver-humes-map-of-the-mind.html</link>
      <guid>https://www.ergo.org/videos/lee-braver-humes-map-of-the-mind.html</guid>
      <description>David Hume is the philosopher that contemporary philosophers themselves most identify with, and this lecture explains why his ideas remain so compelling. Lee Braver walks through Hume's Inquiry Concerning Human Understanding, a book built around one big argument that unfolds in three phases: preparation, the argument itself, and its consequences. The lecture begins with Hume's foundational distinction between impressions and ideas, separated by their force and vivacity. Every idea, Hume claims, traces back to experience, a principle Braver illustrates with vivid examples like imagining the flavor of a pineapple or building unicorns from familiar parts. From there, Hume divides all knowledge into two types: relations of ideas, which are certain but tell us nothing new, and matters of fact, which are informative but uncertain. The central question emerges with striking clarity: how do we actually know anything about the world? Hume's answer, Braver promises, is very surprising indeed.</description>
      <author>Lee Braver</author>
    </item>
    <item>
      <title>The Birth of Modern Science</title>
      <link>https://www.ergo.org/videos/lee-braver-the-birth-of-modern-science.html</link>
      <guid>https://www.ergo.org/videos/lee-braver-the-birth-of-modern-science.html</guid>
      <description>How does Descartes move from doubting everything to building the foundations of modern science? In this lecture, Lee Braver walks through the crucial middle steps of Descartes' philosophical project. Starting with the &quot;clear and distinct perception&quot; truth rule, the idea that we can know something fully when we grasp it completely, with no hidden corners where error could lurk, Braver shows how Descartes applies this standard first to mathematical and geometrical truths, then confronts a devastating problem: the evil demon hypothesis threatens even our most certain reasoning. This forces Descartes to prove God's existence through the ontological argument, borrowed from Saint Anselm, which reasons from the very idea of a supremely perfect being to its necessary existence. With God secured as a guarantor against deception, Descartes can finally return to the empirical world, but on new terms. Braver concludes by revealing how Cartesian coordinates exemplify Descartes' revolutionary insight: by quantifying sensory experience through measurement, we transform vague perception into precise, replicable knowledge, laying the groundwork for modern science.</description>
      <author>Lee Braver</author>
    </item>
    <item>
      <title>Descartes Reboots Everything</title>
      <link>https://www.ergo.org/videos/lee-braver-descartes-reboots-everything.html</link>
      <guid>https://www.ergo.org/videos/lee-braver-descartes-reboots-everything.html</guid>
      <description>What happens when a brilliant thinker decides to tear down everything he believes in order to rebuild knowledge from scratch? In this lecture, Lee Braver guides you through Descartes' Meditations on First Philosophy, one of the most consequential texts in Western intellectual history. Beginning with the famous night in 1619 when Descartes resolved to transform how we acquire knowledge, Braver explains why Descartes was so dissatisfied with the education of his era: it produced no practical benefits, no medicine, no technology to improve human life. The lecture then unpacks Descartes' revolutionary strategy of methodological doubt, systematically attacking every category of belief, from empirical observations to mathematical truths, searching for anything that survives the most extreme skeptical scenarios imaginable. Braver illuminates how this process leads Descartes to his famous indubitable foundation, the certainty of his own existence as a thinking thing, and explores the deeper question of what it means to know not just that you exist, but what you are.</description>
      <author>Lee Braver</author>
    </item>
    <item>
      <title>When the Old Map Stopped Working</title>
      <link>https://www.ergo.org/videos/lee-braver-when-the-old-map-stopped-working.html</link>
      <guid>https://www.ergo.org/videos/lee-braver-when-the-old-map-stopped-working.html</guid>
      <description>In this brief intro to a seven-part series, Lee Braver traces how the Western world's dominant approach to knowledge, deferring to scripture and divine authority, began to crack during the 17th century. As he vividly illustrates, the Bible once functioned like Google Maps for human existence, and reasoning on your own seemed as foolish as wandering a strange city without directions. But growing dissatisfaction with inherited knowledge, combined with a hunger to cure diseases and reshape the world, fueled the scientific revolution. With that shift came a profound philosophical crisis: in the absence of divine authority, what is the foundation for truth? Braver introduces epistemology (the study of truth, knowledge, and how we achieve it) as the defining concern of early modern philosophy. The lecture culminates with Descartes, the thinker who dared to start from scratch and rebuild the entire edifice of Western knowledge from the ground up.</description>
      <author>Lee Braver</author>
    </item>
  </channel>
</rss>