Home Blog

Learning the Shape of Data: Topology, Algebra, and a New Vision for Machine Learning

The central challenge of modern machine learning lies in dealing with high-dimensional, complex, and noisy data. Classical approaches reduce this complexity by imposing linear or metric assumptions—for example, kernel methods, embeddings, or dimensionality reduction through PCA. But these approaches may miss crucial information about the global structure of data. They are powerful microscopes, yet sometimes we need a wide-angle lens.

Now let’s expand that picture.

When we say “high-dimensional,” we don’t just mean “lots of numbers.” We mean a regime where many of our geometric intuitions quietly fail. In very high dimensions, distances tend to “concentrate”: the farthest and nearest neighbors to a given point are not that different in absolute distance; many kernels become nearly flat; volume behaves strangely (most of it sits near the boundary of a hypercube); local neighborhoods either explode in size or vanish depending on your threshold. Meanwhile the distribution of data is rarely uniform—real data sit on folds, tendrils, and sheets: low-dimensional manifolds or unions of them, with seams, junctions, and holes.

This is why the microscope metaphor is apt. A local, distance-based method (nearest neighbors, local kernels, pointwise augmentations) can be exquisitely sensitive in a small neighborhood and still miss the way those neighborhoods stitch into a global whole. If you’re mapping a cave system by crawling, you can describe the rock right in front of you, but you won’t know you’re inside a loop unless you step back and see how the tunnels reconnect.

A First, Concrete Picture

Imagine handwritten digits. Each 28×28 grayscale image is a point in (\mathbb{R}^{784}). But the set of plausible digits occupies a tiny, wrinkled region—think of it as a family of surfaces-within-surfaces. The “0” images tend to form a loop-like band; “1” is line-ish; “8” can look like two loops sharing a stem. A method that only asks “Which pixels differ?” may find reasonable decision boundaries, but it doesn’t know that the class “0” has one fundamental loop while “8” has two. That knowledge—loop count, voids, connectivity—is global structure. Keeping track of it can make models simpler, more robust, and more explainable.

What Topology Notices That Geometry Often Forgets

Topology is the mathematics of shape under continuous deformation—stretching, bending, wiggling—so long as we don’t tear or glue. A mug and a torus are the same (one loop); a sphere is different (no loop, but one enclosed void). Topology ignores lengths and angles to focus on the pattern of connection. In data terms:

  • How many connected pieces does the data have? (clusters)
  • Do pieces form loops? (circular or periodic structure)
  • Are there voids—higher-dimensional “holes” where data wrap around something absent?
  • How do these features persist when we look at the data at coarser or finer scales?

Why is this valuable? Because topological features are:

  • Coordinate-free (independent of embedding tricks),
  • Scale-aware (via multiscale analysis),
  • Robust (small perturbations rarely change the big-picture topology),
  • Interpretable (a loop is a loop; a void is a void).

Why Abstract Algebra?

Of course, topology alone is a qualitative science—it gives us metaphors like “holes” and “connectedness.” To make this rigorous and computable, mathematicians brought in algebra.

Algebra provides a language of symbols and operations abstracted away from specific numbers. Where arithmetic manipulates numbers, algebra manipulates structures. In group theory, we care about symmetry and composition. In linear algebra, we care about vector spaces and transformations. And in abstract algebra more generally, we care about how objects relate through operations, regardless of what those objects “are.”

Algebraic topology marries these two worlds. It takes a topological space and assigns algebraic objects to it—groups, rings, vector spaces—whose structure reflects the connectivity of the space. A loop in space might correspond to a generator of a group; a void might correspond to a two-dimensional cycle. Once translated into algebra, these features can be counted, compared, and computed systematically.

The most important such objects are homology groups. They detect holes in different dimensions:

  • ( H_0 ) measures connected components.
  • ( H_1 ) measures loops.
  • ( H_2 ) measures voids enclosed by surfaces.
  • Higher ( H_k ) measure more abstract “holes” in higher dimensions.

The ranks of these groups, called Betti numbers, tell us how many such features exist. For instance, a torus has (\beta_0 = 1) (one connected piece), (\beta_1 = 2) (two independent loops), and (\beta_2 = 1) (one enclosed void).

Thus algebra provides us with a machine for turning messy geometry into crisp invariants.

From Pure Math to Data: Persistent Homology

But data are not smooth manifolds—they are point clouds, finite samples contaminated by noise. How can topology, a theory of continuous spaces, apply here?

The solution is to build simplicial complexes: combinatorial skeletons made of vertices (data points), edges, triangles, and higher-dimensional simplices. If two points lie within a certain distance, connect them with an edge; if three are mutually close, fill in a triangle, and so on. This creates a discrete topological space approximating the underlying data manifold.

Yet the choice of distance threshold is arbitrary. Too small, and nothing connects; too large, and everything fills in, leaving no holes. The breakthrough of persistent homology is to not choose at all: instead, it studies topology across all scales simultaneously.

As we increase the threshold, we track when topological features are born (a loop appears) and when they die (the loop fills in). The result is a barcode or persistence diagram: a record of which features persist across many scales. Long bars signal robust, meaningful structure; short bars often reflect noise.

Persistent homology thus gives us a way to extract stable, multiscale topological signatures from real, noisy data.


What Topology Offers Machine Learning

At this point, we can ask: why should machine learning care about topology? The answer lies in three properties that topology brings to the table:

  1. Robustness: Topological invariants are stable under small perturbations. Noise may move points around but rarely changes large-scale connectivity.
  2. Coordinate Independence: Topology does not depend on the coordinate system or embedding. Two datasets sampled from the same manifold but rotated differently yield the same homology.
  3. Interpretability: Loops, clusters, and voids are geometric features we can understand. Unlike abstract latent vectors, topological features can often be described and visualized.

Together, these make topology a powerful complement to the statistical and geometric perspectives already dominant in ML.

Deepening the Motivating Examples

  1. The circle (S^1): For small thresholds, a sampled circle looks like many disconnected points. As the threshold grows, components merge and eventually form a loop ((\beta_1 = 1)). Larger thresholds fill the loop and kill it. The persistence diagram shows this loop as a long bar, distinguishing it from noise.
  2. Two concentric circles: K-means clustering fails, but TDA detects two distinct 1D features—two persistent loops—immediately distinguishing the clusters.
  3. Digits “0,” “1,” “8”: Using cubical complexes on image intensity, persistent homology identifies that “0” has one persistent loop, “1” has none, and “8” has two. This difference is topological, not pixel-based, and therefore robust to style and stroke variations.
  4. Time series: Delay-embedded periodic signals trace loops, quasi-periodic signals wrap tori, and chaotic signals produce higher-dimensional attractors. Persistent homology recovers these distinctions without needing to assume a model class.

From Invariants to Features

Machine learning needs vectors, not diagrams. To bridge this, researchers vectorize persistence diagrams through:

  • Persistence landscapes (functions summarizing diagrams),
  • Persistence images (heatmaps of diagram points),
  • Kernels on diagrams (measures of similarity).

This makes topological features usable in classification, regression, and deep pipelines.

Where TDA Upgrades Core ML Tasks

  • Clustering & Manifold Learning: Reveals non-convex clusters and periodic structures invisible to linear tools.
  • Regularizing Representations: Ensures latent spaces in neural networks preserve meaningful topological features.
  • Generative Models: Detects and prevents mode collapse by checking whether generated manifolds have the right topology.
  • Signals, Medicine, Materials: Captures periodicity in EEG and heart rhythms, structural patterns in tissues, and pore connectivity in materials.
  • Graphs: Extends graph learning beyond edges, using higher-order cycles and voids as signal.

Concrete Applications of TDA in Practice

To close, let’s highlight a few domains where these abstract ideas have already borne fruit, and how TDA made a distinctive difference.


Neuroscience and Cognitive Science

Persistent homology revealed that hippocampal neural activity mirrors the topology of environments: firing patterns form loops and holes corresponding to physical space. Unlike PCA or clustering, which flatten the structure, TDA showed that the brain encodes shape itself, not just local metrics.


Materials Science

TDA quantified tunnels and cavities in porous materials, distinguishing samples with identical porosity but different connectivity. Traditional volume-based statistics couldn’t separate them, but persistence diagrams correlated directly with mechanical strength and permeability.


Genomics and Proteomics

By analyzing protein folds, TDA identified robust pockets and tunnels across noisy conformations. These were fingerprints for functional binding sites, outperforming purely geometric metrics that couldn’t handle flexibility. This became a differentiator in drug discovery.


Sensor Networks

With no sensor coordinates available, only connectivity, TDA proved coverage: homology detected whether holes remained in the sensed region. This was unique—no classical geometric method could rigorously guarantee coverage without positions.


Finance and Economics

Phase-space embeddings of financial signals showed topological differences between market regimes. Volatility models saw similar noise levels, but TDA distinguished “loop-like” stable phases from chaotic attractors. This gave early warning of regime shifts.


Climate and Earth Sciences

Persistent homology isolated long-lived circulation patterns in climate fields, filtering out transient noise. Where statistical anomaly detection flagged too much, TDA focused on structures persisting across scales—essential in distinguishing robust climate modes.


Computer Vision and Graphics

TDA descriptors remained stable when meshes were rotated, bent, or partially missing. In shape classification, persistence signatures separated biologically distinct structures where curvature or Fourier descriptors failed. The differentiator: topological invariance under deformation.


The Common Thread

Across these fields, the differentiator is always the same: topology captures connectivity and global structure, robustly and across scales, where geometry or statistics alone fall short. Whether it’s neurons encoding space, pores connecting in materials, or loops defining a time series attractor, TDA gave a lens that was both abstract enough to generalize and concrete enough to compute.


The Framing, One Last Time

Topology contributes the questions (connectivity, loops, voids) and the invariance we crave in noisy, high-dimensional regimes. Abstract algebra contributes the machinery—chain complexes, boundaries, kernels, quotients—that turns those questions into computable and differentiable objects. Together, they yield TDA: a pragmatic, stable, interpretable way to measure and control the shape of data. Fold that into your models—via features, losses, or priors—and you don’t just fit patterns; you learn the geometry of the phenomenon itself.


Le présent prédictif : langage, temps et l’essor de l’information

Introduction

Ce texte constitue l’introduction d’un projet de livre en cours, dont les chapitres seront publiés progressivement.
Plus d’informations : thepredictivepresent.com.

Par Dan Herbatschek

Par une matinée ordinaire, le futur se présente déjà sous forme de suggestions discrètes.

Un téléphone s’active avant même notre réveil. Il propose la météo sous la forme d’un intervalle de confiance, le trafic comme une probabilité, les rendez-vous du jour sous forme de plages inscrites sur une grille. Il achève nos phrases en gris pâle. Il hiérarchise les messages, en fait remonter certains, en laisse d’autres disparaître sans lecture. Il suggère quoi regarder, où manger, qui suivre, et ce qu’il convient de tenir pour l’actualité du moment. Et si nous marquons un temps d’arrêt — si nous hésitons — demeure cette impression diffuse que le monde poursuit sa course, que le temps s’est transformé en surface sans cesse actualisée, en flux dont l’état normal serait le rafraîchissement.

Nous avons pris l’habitude de décrire cette situation en termes technologiques : données, algorithmes, intelligence artificielle — quels que soient les mots retenus. Mais elle est tout autant d’ordre linguistique et temporel. Le monde contemporain ne repose pas seulement sur l’électricité et le code. Il repose sur les manières dont nous représentons le temps, dont nous formulons l’expérience en langage, et dont nous convertissons ces représentations en quantités comparables, stockables, transmissibles et mobilisables. Ce qui apparaît comme le dernier développement de l’informatique constitue en réalité l’aboutissement provisoire d’une histoire plus ancienne : celle de la construction progressive d’un monde dans lequel le futur peut être traité comme un objet de calcul.

C’est cette histoire que ce livre entreprend de retracer.

Le point de départ est une idée simple, dont les implications sont considérables : le langage constitue notre première technologie du temps. Avant les horloges et les calendriers, avant les registres et les bases de données, il a rendu le temps partageable. Il a permis de désigner ce qui excède l’immédiat — hier, demain, bientôt, encore —, de transformer l’expérience fugace en séquences racontables, et d’inscrire l’avenir dans des formes d’engagement : promesses, projets, vœux, contrats, lois. La grammaire des temps et des aspects, les opérateurs discrets que sont « déjà » et « pas encore », la portée sociale d’un énoncé tel que « je ferai » — rien de tout cela ne relève de l’ornement. Ce sont des instruments de coordination à travers le temps.

Très tôt, ces instruments ont fait l’objet d’une réflexion. Les motivations n’étaient pas d’abord scientifiques au sens moderne, mais culturelles et religieuses : interpréter correctement les textes, stabiliser leur sens, en assurer la transmission, contenir l’ambiguïté, encadrer les usages légitimes de la parole. Bien avant l’émergence de la linguistique comme discipline, les traditions grammaticales, rhétoriques et philologiques ont traité le langage comme une structure que l’on peut analyser et discipliner, en partie formaliser. Dans ce contexte, les questions de langage sont indissociables des questions de temporalité : comment le sens se maintient, se transforme ou se déplace dans le temps ; comment une parole singulière peut engager l’avenir.

Le langage, toutefois, ne suffit pas à lui seul à soutenir des formes étendues de coordination. La parole est éphémère ; la mémoire, bien que puissante, demeure limitée. À mesure que les communautés s’étendent — villes, États, économies interconnectées —, le travail temporel assuré par le langage doit s’appuyer sur des dispositifs plus durables : écriture, archives, calendriers, systèmes de mesure, procédures administratives. Le temps est alors progressivement inscrit dans des supports, stabilisé dans des institutions, rendu indépendant de la présence et de la mémoire des individus.

Une transformation décisive intervient avec l’essor du comptage. Compter est souvent perçu comme une simple opération de précision. Il s’agit en réalité d’un geste de transformation. Compter suppose de discrétiser l’expérience, de rendre comparables des phénomènes hétérogènes, de traduire la continuité du monde en unités. Compter le temps implique de définir ce qu’est un jour, une année, d’en fixer les limites, de décider quelles irrégularités doivent être négligées ou corrigées. Compter les populations suppose de déterminer ce qui constitue une unité pertinente : individu, foyer, catégorie sociale. Compter le langage exige de définir ce qu’est un mot, d’en tracer les frontières, d’arbitrer entre variation et identité. La quantification ne relève donc pas uniquement de la mesure : elle constitue une opération de traduction.

Dans ce mouvement apparaît de manière récurrente un projet : rendre le langage plus clair, plus régulier, moins ambigu, afin de fiabiliser la pensée et de stabiliser l’action. Les projets de langues parfaites — philosophiques, théologiques, administratifs ou politiques — traduisent cette ambition. Ils visent à aligner le langage sur la structure du réel, à éliminer l’erreur, à réduire les conflits d’interprétation. S’ils échouent presque toujours dans leurs propres termes, ils n’en sont pas moins révélateurs : ils indiquent ce que les sociétés attendent du langage et les risques qu’elles associent à son indiscipline.

Ce processus de traduction constitue l’un des moteurs majeurs de l’histoire des sociétés. Une fois le temps quantifié, il peut être synchronisé. Une fois les engagements comptabilisés, ils peuvent être évalués. Une fois les événements enregistrés, ils deviennent comparables. Une fois le langage fixé, standardisé et accumulé, il devient indexable, modélisable — et, à terme, susceptible d’être généré.

La notion d’information se situe au point de convergence de ces transformations. Elle a historiquement désigné des réalités diverses — instruction, nouvelle, renseignement — et conserve dans l’usage ordinaire une dimension de sens. Mais dans les cadres techniques contemporains, elle tend à être définie indépendamment de ce sens : comme une grandeur mesurable, compressible, transmissible, optimisable. Cette abstraction rend possibles des formes inédites de coordination à grande échelle. Elle introduit aussi une forme d’aveuglement : ce qui n’est pas quantifiable tend à être disqualifié ; ce qui n’est pas prédictible, tenu pour inutilisable.

Un autre déplacement accompagne ce processus : celui introduit par la science moderne. À travers les instruments, l’expérimentation et la formalisation mathématique, la nature — puis les sociétés — sont progressivement appréhendées comme des systèmes de variables et de lois. Le temps devient objet de mesure et de modélisation ; les relations causales ne sont plus seulement racontées, mais testées. Les mathématiques deviennent le langage privilégié de ces opérations. Leur développement participe du même mouvement : passage du particulier au général, de l’explication à l’anticipation.

La période contemporaine se caractérise par une étape supplémentaire. La traduction du langage et du temps en information mesurable s’articule désormais à des systèmes capables d’anticipation continue. Dans les marchés, les dispositifs de sécurité, les systèmes de crédit, les plateformes numériques, le futur est intégré au présent sous forme d’indicateurs : scores, classements, probabilités, recommandations. Le présent devient prédictif en ce que ces anticipations ne se contentent pas de décrire : elles organisent l’expérience. Elles orientent ce qui est visible, accessible, proposé, possible.

On peut dès lors parler d’un présent prédictif pour désigner un mode d’existence dans lequel le temps est vécu comme une succession d’anticipations, où le langage constitue à la fois le support du sens et la matière des modèles, et où l’information est valorisée pour sa capacité à orienter l’action à venir autant que pour sa fonction descriptive.

Ce livre ne vise ni à dénoncer la quantification, ni à regretter la prééminence du récit. Il cherche à comprendre comment leurs interactions structurent les formes contemporaines de connaissance — et comment l’on en vient à oublier qu’il s’agit de modes de représentation.

Nous vivons dans une situation où le futur tend à être mobilisé dans le présent sous forme d’hypothèses opératoires. La question n’est plus seulement ce qui a eu lieu, ni même ce que cela signifie, mais ce qui est probable — et les décisions que cette probabilité autorise. Une société organisée autour de la prédiction s’expose dès lors à un risque spécifique : confondre ses modèles avec le monde qu’ils décrivent, assimiler la lisibilité quantitative à la vérité, et laisser ce qui est calculable dominer ce qui ne l’est pas.

Le présent prédictif n’est pas seulement une condition technique. Il constitue une forme culturelle. Le comprendre, c’est se donner des prises pour agir sur la manière dont nous habitons le temps — et sur les formes de langage et de vie que nos systèmes rendent possibles.

— Dan Herbatschek

The Predictive Present: Language, Time, and the Rise of Information

0

On an ordinary morning, the future arrives in small, polite suggestions.

A phone wakes before we do. It offers the weather as a confidence interval, traffic as a probability, the day’s meetings as blocks on a grid. It finishes our sentences in pale gray. It decides which messages rise to the top and which sink without being read. It recommends what to watch, where to eat, who to follow, what to believe is happening now. And if we pause—if we hesitate—there is the faint sense that the world keeps moving anyway, that time has become an updating surface, a feed whose default state is “refresh.”

We are used to thinking of this as a technological condition: data, algorithms, artificial intelligence, whatever labels we’ve collectively settled on. But it is also a linguistic condition, and a temporal one. The modern world does not merely run on electricity and code. It runs on how we represent time, how we render experience into language, and how we translate both into quantities that can be compared, stored, transmitted, and acted upon. What looks like the newest chapter of computing is the latest turn of a much older story: the gradual construction of a world in which the future can be treated as something like a calculation.

This book is about that story.

It begins from a simple observation that becomes, on inspection, surprisingly deep: language is our first time technology. Before clocks and calendars, before ledgers and databases, language made time shareable. It allowed humans to point beyond the immediate — yesterday, tomorrow, soon, still — to turn fleeting experience into narrated sequence, and to bind the future with commitments: promises, plans, vows, contracts, laws. The grammar of tense and aspect, the modest machinery of “already” and “not yet,” the social force of “I will”—these are not ornaments of speech. They are tools for coordinating lives across time.

And from very early on, people did not merely use these tools; they tried to understand them. Often the motivations were not “scientific” in the modern sense, but cultural and religious: the desire to interpret sacred texts correctly, to preserve authoritative meanings across generations, to police heresy and ambiguity, to teach proper recitation, to defend a community’s identity through its words. Long before “linguistics” existed as a discipline, traditions of grammar, rhetoric, and philology treated language as something with structure—something that could be analyzed, disciplined, and, in a sense, engineered. In those efforts, questions about language were inseparable from questions about time: how meaning survives it, how interpretation shifts across it, how a word spoken once can bind the future.

And yet language alone does not scale. Speech is intimate and perishable; memory is powerful but fragile. As communities grew into cities, and cities into states, and states into interlocking markets and empires, the temporal work of language had to be supported by something more durable than voice: records, schedules, standardized measures, and the immense human labor of administration. We began to externalize time—into writing, archives, and institutions—so that coordination could extend beyond the circle of those who could hear and remember.

Then we did something even more consequential. We began to count.

Counting is often treated as a neutral act: a way of describing the world more precisely. But counting is a transformation. It requires that experience be broken into units, that differences be treated as commensurable, that the rich texture of the world be rendered into categories. To count time you must decide what a “day” is, what a “year” is, where the boundary falls, which irregularities are ignored, which are corrected, which are celebrated. To count people you must decide what a person is in the relevant sense—by household, by occupation, by legal status. To count language you must decide what a word is, where one ends and another begins, which variations count as the same. Quantification is never only measurement. It is also translation: a way of converting lived reality into symbols that a system can store and compare.

Along the way, this translation begins to tempt a particular dream: that if language could be made clearer, purer, more regular—if its ambiguities could be eliminated—then thought itself might become more reliable, and the world more governable. Again and again, across different centuries and contexts, we meet the hope for perfect languages: languages designed to mirror reality, to prevent error, to end dispute, to compress meaning without loss. Sometimes these projects are philosophical; sometimes theological; sometimes administrative; sometimes overtly political. They are rarely successful in the way their creators intend. But they are always revealing, because they show what a society believes language is for — and what it fears language might do if left untamed.

This translation is one of civilization’s great engines. Once time is counted, it can be scheduled and synchronized. Once obligations are counted, they can be priced and audited. Once events are recorded, they can be aggregated into trends. Once language is written, standardized, encoded, and collected, it can be searched, indexed, modeled, and—eventually—generated.

The word information sits at the convergence of these changes. It has meant many things across history: instruction, report, news, disclosure, intelligence. In everyday life, it still carries the warmth of meaning—something that informs you, that makes you see differently. But in the modern technical imagination, information increasingly becomes something else: something that can be measured, compressed, transmitted, and optimized—something that can be abstracted from what it is about.

That abstraction is both liberating and dangerous. It makes possible astonishing feats of coordination: global communication, scientific inference, rapid logistics, medical imaging, navigation, distributed knowledge. It also invites a particular kind of blindness: the belief that what cannot be quantified cannot be known, that what cannot be predicted cannot be managed, that what cannot be optimized does not matter.

To understand how we arrived here, we also have to follow another strand: the rise of mechanics and modern scientific method, not simply as a collection of discoveries, but as a style of thought. Instruments, experiments, and mathematical description teach a civilization to treat nature—and eventually society—as something that can be rendered into variables and laws. Time becomes not only lived and narrated, but measured and modeled. Causes become not only told, but tested. And mathematics—changing in its own history, growing new forms of abstraction—becomes the language in which those models can be built, compared, and refined. The development of modern and contemporary mathematical knowledge does not sit outside this story as a technical sidebar. It belongs to the same civilizational movement: away from the singular event and toward the general rule; away from explanation alone and toward prediction.

The world we inhabit now is defined by a further step. The translation of language and time into measurable information has been joined to systems that continuously infer what comes next. In markets, in policing, in credit, in advertising, in platforms, in the daily texture of attention, the future is treated as something that can be brought forward into the present as a score, a ranking, a risk, a recommendation. The present becomes “predictive” not simply because we make forecasts, but because forecasts become infrastructure: they shape what we see, what we are offered, what we are permitted, what we are nudged toward, what we are denied.

This is what I mean by the predictive present: a mode of life in which time is experienced as a stream of anticipations; in which language is both the medium of meaning and the raw material of modeling; and in which information is valued not only for what it tells us about what has happened, but for how effectively it can steer what will.

Three connected threads 

The book weaves three threads together—language, time, and information—but it is not a book with three separate topics. It is a book about the braid that forms when these threads tighten over centuries.

  1. Language makes time shareable.
    Language gives us portable pasts and negotiable futures. It allows not only narration but obligation: the ability to say “I will” and have it count.
  2. Societies scale by standardizing time and language.
    As coordination expands beyond intimate communities, systems demand common references: calendars, clocks, schedules, records, categories, forms. What begins as convenience becomes governance.
  3. Quantification makes time and language computable.
    Counting discretizes; mathematics abstracts; probability tames uncertainty; computation operationalizes rules. The world becomes legible to institutions and machines—and machines become capable of acting within that legibility.

This third thread has a distinctive intellectual history of its own, which repeatedly crosses the history of language. Efforts to formalize reasoning—logic, notation, symbolic systems—often begin as attempts to make thought clearer and argument less fragile. But they also create the preconditions for something unexpected: the idea that aspects of language and reasoning might be executed as procedures. In that sense, parts of computer science arrive not only through engineering, but as a side effect of trying to understand logic and language deeply enough to formalize them.

The braid has a direction. It tends toward compression (making messages shorter and more portable), standardization (making them interoperable), and prediction (making them actionable about the future). Each step generates new powers and new losses—new forms of knowledge and new forms of distortion. This book follows that direction historically, and then asks what it is doing to us now.

A note on method: clarity without flattening

A history of language, time, and mathematics can easily become either too technical or too impressionistic. My aim is neither. I want the complexity to be real but the reading experience to be graceful.

You will find scenes and artifacts—ritual calendars, contracts and chronicles, clocks and timetables, ledgers and interest tables, workshops and laboratories, telegraph offices, statistical charts, and the contemporary interface of the feed and the model. You will also meet thinkers, arguments, and obsessions: religious and cultural projects of interpretation, philosophical attempts to build perfect languages, the mechanistic imagination of modern science, the evolving power of mathematical models, and the strange moment when logic and language begin to look like a kind of machinery.

When a small amount of mathematics clarifies the story, I include it in short “windows”—not to prove, but to illuminate. No specialized background is required beyond patience for careful distinctions.

The book is not a claim that quantification is a villain, nor that narrative is a relic. It is a claim that modern life is shaped by how these modes of knowing interact—and by how often we forget that they are modes, not mirrors.

The argument this book will make 

Across the chapters that follow, several arguments recur and deepen.

  • Discretization changes reality.
    When we cut a continuum into units—days, minutes, tokens, categories—we create new kinds of action. We also create edge cases: everything that does not fit cleanly into the boxes we have built.
  • Standardization is never merely technical.
    To choose a calendar, a prime meridian, a time zone, a form, a category, an encoding standard is to choose what counts as same and different, what is compatible, what is excluded. Standardization is a form of politics conducted by other means.
  • Information gains power when it loses meaning—and loses responsibility when it gains power.
    Systems become extraordinarily effective when they treat messages as signals, language as data, time as a variable. But when meaning is bracketed, accountability can evaporate: decisions are justified by metrics without being understood as judgments.
  • Prediction is becoming a form of governance.
    The ability to forecast behavior—imperfectly, probabilistically—becomes valuable precisely because it can be fed into decisions at scale. Prediction is not only a mirror of society; it is a tool that reshapes incentives, attention, and opportunity.

If these claims sound sweeping, the book’s task is to earn them: not by insisting, but by showing how the world we recognize today came to be thinkable—and then inevitable.

Where we are going

Every era has its own anxiety about time. Some fear that time is cyclical, that nothing truly changes; others fear that time is accelerating, that nothing can be held. Ours is marked by a more peculiar sensation: that the future has moved into the present in the form of models, scores, and recommendations—that we live in a time that is always slightly ahead of itself.

This does not mean the future is known. Prediction is not prophecy. But it does mean the future is increasingly treated as known enough to justify action. The question is no longer only “What happened?” or even “What does it mean?” It is “What is likely, and what should we do now because of that likelihood?” And beneath that: “Who benefits when likelihood becomes destiny?”

A civilization that can coordinate at planetary scale needs measurement; it needs shared time; it needs information. But a civilization that organizes itself around prediction risks confusing the world with its models of the world, mistaking quantified legibility for truth, and allowing what is easy to compute to dominate what is hard to name.

The chapters ahead trace how we arrived here—how grammar and story, ritual and record, calendar and clock, laboratory and ledger, statistic and signal, code and model together produced the predictive present. And they end with a wager: that understanding this braid historically can give us leverage now. We cannot step outside quantification, and we should not wish to. But we can choose what we quantify, how we interpret what numbers can and cannot say, and how we keep human meaning—thick, contextual, irreducible—alive inside systems that prefer the thin and the countable.

The predictive present is not only a technological condition. It is a cultural achievement and a cultural decision. To see that is to regain, at least a little, the ability to decide what time will feel like—and what kinds of language, and what kinds of lives, we want our information to make possible.

The History of Time: Why Humans Measure Time

0

Before clocks, before calendars, before numbers, there was the sky. Imagine a hunter in the Paleolithic dusk, crouched at the edge of a forest. The shadows are lengthening, the air cooling, and in his bones he knows: the light is slipping away. If he lingers too long, predators will emerge from the dark. But if he withdraws too soon, he loses the last, precious moments when deer or boar still move through the open grass. In those fleeting instants lies the difference between returning with meat or returning empty-handed. He does not name this knowledge “time,” but it rules him all the same.

Every creature lives by rhythms—heartbeat, hunger, sleep—but humans begin to notice them. They notice that the moon waxes and wanes in a patient circle, that tides breathe in and out, that the stars return to the same places after a long absence. The world itself seems to whisper: I repeat. I return. Watch me, and you will know when to plant, when to hunt, when to gather, when to pray.

At first, there is no counting, only recognition. A flood comes when a certain star rises in the east. The length of a shadow warns when it is too late to travel. Mothers nurse their children by an inner calendar that needs no marking. Time is not yet a number on a dial; it is the pulse of survival.

But soon memory joins in. Last winter’s hunger lingers in the mind, and so people begin to mark: notches on bones, stones set in circles, the careful noting of when the herds return. These are the first calendars, not yet bound in books but etched into the earth. With them, a tribe can look beyond the present moment. They can say, “We will meet when the moon is new,” and expect it to mean the same thing to all.

From there, a slow revolution begins. To name a season, to measure a day, is to step into a kind of power. Suddenly the group can move as one: sowing fields together, gathering for ritual, planning long hunts. The sun’s journey across the sky becomes not just light and dark, but an invisible drumbeat pulling people into step.

In this way, time begins as a negotiation between the world and our awareness of it. Nature offers her rhythms; humans turn them into agreements. A shadow stretched across stone, a mark on bone, a feast declared when the harvest ripens—each is a first step toward what will later become gears and pendulums, watches and atomic pulses.

And yet, even in our age of satellites and digital clocks, the origin is still there: a human looking at the sky, sensing the pattern, feeling in their body that the world does not only change—it returns. That recognition is the seed from which all timekeeping grows.


The Deeper Question

The first question is not how humans measured time, but why they felt compelled to measure it in the first place. The stars were there long before us, the sun rose and fell for billions of years without anyone naming the hours. It was not until human eyes turned upward, human stomachs clenched in hunger, and human minds began to remember and anticipate, that “time” became something that could be grasped, counted, even ruled. To measure time is to live not only in the present moment, but in the thin thread that connects memory and expectation. That thread is what we call civilization.


Bodies That Keep Time

Our bodies are clocks of flesh. Even in the absence of sun or stars, a human heart ticks out its rhythm, lungs keep their metronome of breath, and deep in the brain the circadian cycle swells and ebbs like a hidden tide. Long before calendars, people knew what it was to grow tired at night, restless at dawn, hungry at predictable intervals. These rhythms whispered to early humans that life itself is not chaos, but pulse.

The earliest recognition of time may have been bodily: a newborn crying at regular intervals, a woman’s menstrual cycle, the fading strength of an old man. To live was to feel time press against the body, reminding us that nothing stays the same. Measuring time did not begin with astronomy; it began with sensation.


Prediction as Power

Survival is prediction. The family that knows when fruit will ripen, or when the herd will return, gains advantage over those who wander aimlessly. A river that swells unpredictably brings death; one that swells in rhythm becomes a guide, a promise of fertility. Human communities learned to look backward in order to look forward. The rains came after so many moons. The birds flew south when the air cooled. What began as observation became memory, and memory sharpened into foresight.

To measure time is, in essence, to tame uncertainty. By anticipating change, we are no longer helpless before it. Timekeeping is not an idle curiosity—it is the first science, the root of agriculture, and the beginning of power.


Turning the Sky Into a Schedule

Above the fragile human body stretches the vast and reliable canvas of the sky. The sun, the moon, the stars: they do not tire, they do not forget. Each day the sun rises and falls, each month the moon swells and vanishes, each year the stars return in their patient procession. Early humans learned to read this celestial script.

They set stones in circles to frame the solstices, they carved notches in bone to follow the moon’s changing face. Each mark was a step from instinct toward intention. Now the tribe could say: We will meet when the moon is full. They could sow seeds not when hunger grew desperate, but when the constellations signaled the right season. The sky became not only a spectacle, but a schedule—a stage where time itself performed.


Coordination and Community

A single hunter can say, “I’ll meet you when the shadows are long.” But a city of thousands cannot live on such vagueness. The larger the group, the more fragile the coordination, and the more crucial it becomes to agree on when. Imagine a field that must be irrigated before the sun sets, or a caravan that departs at dawn—what chaos if each person’s “dawn” is slightly different.

Time became the glue of cooperation. It turned isolated effort into communal rhythm. Bells or horns, fires lit on hillsides, the peal of a drum—all these were technologies of synchronization. In this way, timekeeping was never a luxury: it was the invisible scaffolding that allowed human communities to rise higher and hold together.

As settlements swelled into towns and towns into cities, the demands on timekeeping grew sharper. Farmers needed to know when to water fields, craftsmen when to open stalls, worshippers when to gather for ritual. The success of the group depended on the ability of strangers—who did not know each other personally—to act as if they did, to rise and rest, to begin and end, in harmony. Shared time transformed scattered individuals into a single, breathing organism.

It is no accident that some of the earliest public monuments—stone circles, pyramids, temple complexes—were not just places of worship but instruments of time. They tracked solstices, charted the rising of stars, and announced seasons to entire populations at once. Timekeeping, in this sense, was architecture: a stage upon which human life could play out in synchrony.

Even today, we feel this communal pulse. A school bell rings and hundreds of children move in unison. A countdown begins and millions watch the same ball drop at midnight. To measure time collectively is to experience belonging, to know that we are part of a rhythm larger than ourselves. Without such coordination, human society would fray. With it, we march together—sometimes in celebration, sometimes in labor, but always in step.


Power and Authority

Where there is order, there is power. To declare the new moon was not simply an astronomical observation; it was a political act. Priests and kings claimed the authority to say when the year began, when festivals were held, when debts came due. Monasteries rang bells that called peasants to prayer and to labor, intertwining the sacred and the practical in a single sound.

To measure time is to distribute obligation. If work is owed “by the harvest,” or taxes “by the new year,” then the keeper of the calendar is also the keeper of justice—or injustice. The story of timekeeping cannot be told apart from the story of power. Whoever holds the clock, holds the people.

Control over time was often control over meaning. To name the first day of spring, or the holy day of rest, was to bind a community not only in labor but in identity. A shared calendar told people not just what to do, but who they were—subjects of a kingdom, followers of a faith, members of a people bound by the same cycle of days. The calendar unified, but it also disciplined.

Rulers understood this well. Empires imposed their calendars on conquered peoples, erasing local rhythms to replace them with imperial ones. To obey a new calendar was to acknowledge a new master. The very act of telling time became an act of submission. Even today, the global adoption of standardized time zones reflects this inheritance: once a convenience for railways and telegraphs, it is now a quiet infrastructure of authority, binding billions of lives to the same invisible grid.

Yet timekeeping has also been a tool of resistance. When enslaved or colonized peoples kept their own festivals in secret, or clung to ancestral calendars alongside imposed ones, they reclaimed autonomy. To measure time differently was to say: our memory, our rhythm, still endures.

Thus, the politics of time is never neutral. Every bell that tolls, every calendar that begins anew, is not only a mark of passing hours but a statement about power—about who commands, who obeys, and who dares to live by a different clock.


The Drift Toward Precision

At first, knowing the season was enough. Later, the month became important. Later still, the hour. As human affairs grew more complex, so did their hunger for exactness. Trade demanded appointments. Armies demanded synchronization. Science demanded precision.

The invention of hours and minutes was not inevitable—it was demanded by necessity. When trains began to cross countries, when factories began to whistle at shift changes, when telegraphs began to pulse across continents, the cost of vagueness became too high. Precision ceased to be an abstract virtue; it became a daily requirement. The more finely we measured, the faster our world spun.

The first great step toward this precision came with the sundial, which cut the day into visible segments of shadow. Later, water clocks and sandglasses carried the measure of time into darkness, allowing life to unfold by increments even when the sun was gone. These devices did more than mark hours—they taught people to think of time not as a flow but as a series of slices, divisible and countable.

Mechanical clocks accelerated this shift. Bells in town squares or monasteries tolled not only to announce prayer but to regulate labor, commerce, and governance. Hours became units of obligation, measured against the demands of authority. By the Renaissance, clock towers loomed over cityscapes as much symbols of order as cathedrals were of faith.

Industrialization only sharpened the appetite for precision. A factory whistle could not blow “around dawn”—it had to blow exactly at six. Railroads revealed the absurdity of each town keeping its own local noon, as collisions and confusion mounted without a single standard. And so time was no longer local but national, then global: standardized zones, coordinated schedules, the earth itself parceled into slices of agreed-upon simultaneity.

Science, too, pressed the demand further. Telescopes and pendulums gave way to quartz oscillations and, eventually, atomic clocks that lose less than a second in millions of years. What began as an act of survival under the open sky became an obsession with perfection, a race to shave error into ever-smaller margins.

Yet every leap in precision reshaped human life. To know the exact moment a ship left port or a signal arrived meant more than accuracy—it meant profit, conquest, discovery. Precision was power. But it was also pressure. The more tightly we measured, the more tightly we were bound, until time itself seemed less like a backdrop to human life and more like its ruler.


Memory, Meaning, and Mortality

Not all timekeeping is practical. Some of it is deeply human, woven into the fabric of meaning. Birthdays, anniversaries, days of mourning—these are not survival tools but memory rituals. They remind us that our lives are not just endless cycles but finite stories.

By naming and measuring time, we refuse to let days dissolve into forgetfulness. We tether ourselves to history. A feast marks who we are; a fast remembers who we were; an anniversary declares who we hope to be. Time, in this sense, is not simply measured—it is sanctified.

But memory is inseparable from mortality. To mark a birthday is to acknowledge another year lived, and another year gone. To mark a death is to insist that the life mattered, that it leaves a trace on the living. Calendars and clocks become, in this way, tools of remembrance: they pin our fleeting existence to something larger, something that endures beyond the span of a single breath.

Cultures have always folded this awareness into ritual. New Year festivals do not merely welcome a cycle’s return; they confront the passing of the old. Harvest feasts are not only celebrations of plenty but also acknowledgments of decline, of waning light and withering fields. Even in the most joyful ceremonies, the shadow of impermanence is present, giving depth to the celebration.

To measure time, then, is not only to prepare for the future but to mourn and honor the past. It is an act of resistance against forgetting, a refusal to let lives vanish into the undifferentiated flow of days. In every candle lit, every date circled, every moment observed in silence, there is the same gesture: an insistence that though time passes, it leaves meaning in its wake.


The Paradox We Inherit

And yet, the more precisely we measure time, the less of it we seem to have. We divide our days into seconds, carry atomic accuracy in our pockets, synchronize with satellites, and still complain of scarcity: I have no time.

This paradox is the inheritance of all our progress. The first scratches on bone and the first stones aligned with the sun were meant to give us more control, more foresight, more harmony with the cycles of the world. But the more control we have gained, the more we feel the weight of time’s passing. Measuring time has always been an attempt to master it—but time, stubbornly, masters us in return.

The clock that once promised order now dictates urgency. Appointments stack against each other, deadlines close in, alarms carve the day into fragments too small to savor. The minute hand was invented to coordinate trade and travel, but it also taught us to count our lives in ever-shrinking units. We borrowed precision to serve our needs, and in return it made us servants of the schedule.

There is irony here: the hunter once watched the fading light to know when to return home; today we watch glowing numbers on a screen and feel we are already late. Technology has given us abundance of tools but not abundance of hours. We know more exactly where we are in the day, yet less clearly how to inhabit it.

And so the paradox deepens. The more closely we chase after time, the more elusive it becomes. We gain accuracy but lose ease; we secure predictability but forfeit presence. To measure time is to anchor ourselves in the cycles of the world, but to measure it too finely is to feel ourselves constantly slipping behind. In this tension lies the modern human condition: we invented the clock to free us, and now we live by its command.

On a humid night thousands of years ago, a small community gathers on the riverbank. The men are uneasy. The waters have not yet risen, and their fields are still dry. If the flood comes late, the seeds will wither in the ground; if it comes early, the young shoots will drown. Eyes turn to the heavens. Then, just before dawn, a bright star pierces the horizon — Sirius, the herald of the flood. Relief spreads through the crowd. They know now when to act. They know they will live.

This was not astronomy as we think of it, but survival. The heavens were a clock, and the clock’s accuracy meant the difference between hunger and plenty, wandering and settlement. From these fragile beginnings grew the recognition that to measure time is to master fate.


Time as the First Survival Map

In the wild, everything is urgent: eat before others eat, rest before exhaustion overtakes you, seek shelter before night falls. But humans learned to stretch urgency into foresight. A migrating herd does not return at random; its rhythm can be tracked. The tide rises not mysteriously, but predictably. The sun reaches its height at noon, its rest at night. These rhythms became coordinates — not of space, but of sequence.

Survival, then, was not only about knowing where the water lay or the game roamed. It was about knowing when they would be there. Time was the unseen map, and to those who could read it, the world became less cruel, more legible.


From Instinct to Memory

Instinct is fleeting; memory is enduring. A lone hunter might sense when dusk is near, but a community remembers how long the darkness lasts, when the rains will fall, when hunger will sharpen. That memory could not stay in fragile human recollection alone. It had to be etched — in the notched bone recording the moon’s phases, in the standing stones catching the solstice sun, in myths that preserved the cycles through story.

This was the great leap: when memory became external, survival no longer depended on one person’s intuition but on a collective record. Time itself became a resource, stored in stone and story, that could be drawn upon to guide the living.


Society as Shared Time

A family can live by instinct, but a society requires agreement. Planting a single field can be a solitary act, but planting for a whole village requires coordination. To harvest, irrigate, or celebrate together, people had to align their sense of time.

Shared time transforms survival into culture. The moon becomes not only a signal for sowing, but the marker of festivals. The equinox is not only a turning of seasons, but a reason to gather, feast, and remember ancestors. The more people aligned their days, the more their lives intertwined. Synchrony created solidarity.


Time as Obligation and Order

But time is never neutral. Once communities depend on shared cycles, someone must declare them. The priest announces when the new moon has begun. The king proclaims the year’s start. The monastery bell divides the day into hours of prayer and labor.

In this way, time becomes a lawgiver. Tribute is owed by a date, debts must be settled by harvest, soldiers must report at dawn. Authority is measured in the power to set the calendar and enforce the hour. What began as survival became obligation. To fall out of time was to fall out of society itself.


Belonging in a Shared Story

Still, time is not only survival and not only power; it is also meaning. A New Year festival is more than a celestial event — it is a collective rebirth. A weekly day of rest is not only a pause in labor, but a declaration of shared values. In remembering together — anniversaries, holy days, harvest feasts — people weave themselves into a larger story.

Timekeeping binds individuals into a narrative greater than themselves. To live in the same calendar is to live in the same imagined community. The clock and the calendar are not just instruments — they are symbols of belonging.


The Double-Edged Gift

Thus, time served both survival and society. It fed the body and bound the tribe, but it also yoked the individual to obligations beyond instinct. It created cooperation, but also hierarchy. It offered freedom from chaos, but demanded conformity.

In this paradox lies the enduring truth: time is never merely measured. It is lived, shared, enforced, and remembered. To track the cycles of nature is to endure. To share them with others is to become a people.

What Makes a Science a Science?

Dan Herbatschek | Philosophy of Science

Whenever we ask a big question, it quickly breaks down into smaller ones. What makes a science a science? is no exception. To answer it, we confront the problem of demarcation: how to distinguish, in a principled and non-arbitrary way, between genuine sciences and pseudosciences.

Not every non-science is a pseudoscience. Mathematics, engineering, or the arts are serious intellectual undertakings, but no one is likely to mistake them for sciences in the same way one might confuse astrology or homeopathy with scientific inquiry. The real issue arises with fields that lay claim to science’s special authority, without actually deserving it.

Calling something a pseudoscience is not to dismiss it as wholly false or useless. Astrology, for instance, may occasionally generate claims that turn out true. The problem is that these claims are not justified in the way scientific claims are. Conversely, to call something scientific is not to guarantee its truth—scientific history is filled with bold theories later proved wrong. What “scientific” signals is something like a qualification: entry into a kind of intellectual Olympics. A scientific theory may not be the champion, but it at least deserves a place on the field. Pseudoscientific theories, on this view, should never make it to the starting line.

This matters because what counts as science has real consequences. A discipline’s claim to scientific status shapes curricula (as in battles over creationism), influences funding (think of debates over alternative medicine), and even directs social practices (such as controversies over IQ testing). Science earns a special kind of cultural authority, and we want to know what justifies granting it.


Defining Science—or Trying To

One way to secure that authority is through a definition. Philosophers mean something specific by the word: a set of individually necessary and jointly sufficient conditions. Consider the simplified legal definition of bourbon: the mash must contain 51–79% corn, and the whiskey must age at least two years in new, charred oak barrels. Each condition is necessary; together they are sufficient. This is not just cataloging common usage (the lexicographer’s job), but aiming at the essence of what makes bourbon bourbon.

A definition like this, applied to science, would make explicit the criteria we are using to sort genuine inquiry from impostors. But such definitions are notoriously hard to come by. Agreement on cases—“this counts as science, that doesn’t”—doesn’t tell us why, nor whether our reasons are good ones.

And sometimes we manage without definitions. Justice Potter Stewart’s famous remark about pornography—“I know it when I see it”—captures the idea. Adequate for some contexts, but limited. People may agree on examples but disagree on borderline cases, or even agree for very different reasons. Unsurprisingly, science and pseudoscience provoke just these kinds of disputes.

Take the Parapsychological Association’s admission to the American Association for the Advancement of Science in 1969. Was that a scientific endorsement of ESP, or a philosophical and political gesture? Without clear criteria, we cannot tell. Still, even without full definitions, we can work with partial tools. If something fails a necessary condition, we can rule it out. If it meets a set of sufficient conditions, we can rule it in. You can, for instance, know that being born in the U.S. suffices for citizenship without knowing all the possible ways of becoming a citizen.


Popper’s Radical Move: Falsifiability

No philosopher looms larger in this discussion than Karl Popper. He came of age in Vienna after World War I, immersed in a culture overflowing with artistic creativity and scientific speculation. Popper was fascinated by Einstein’s relativity, Marx’s theory of history, and the psychologies of Freud and Alfred Adler (with whom he briefly worked).

At the time, these theories of history and psychology were often presented as scientific. Engels described Marxism as an extension of Darwin into the social world. Freud likewise likened psychoanalysis to Darwin’s revolution, shifting science from biology to psychology. Popper initially took these claims seriously. But over time, he became convinced that Einstein’s relativity was different: it embraced genuine risk, exposing itself to criticism and the possibility of failure.

This commitment to criticism carried into his political thought. In The Open Society and Its Enemies (1945), written in exile from Nazi Europe, Popper argued that a society is “open” when criticism is not only permitted but effective: rulers must respond to it. The same principle defined science for him: openness to being proved wrong. (Ironically, Popper himself was famously defensive about criticism—a reminder that one can devote life to an ideal without always embodying it.)

Why not simply say that science is defined by empirical support? Because, Popper argued, observation is cheap. Every pseudoscience brims with anecdotes, case studies, or selective data. Astrology has reams of biographical and astronomical detail; Freud and Adler amassed patient histories. But none of this counts as serious testing. Observation, Popper insisted, is theory-laden: what you “see” depends on what you expect. And when theories can reinterpret every failure as a hidden success, they never risk refutation.

Thus his proposal: the mark of science is falsifiability. A scientific theory must stick its neck out—it must make bold predictions that could prove it wrong. Relativity offered a perfect case: the prediction that starlight bends around the sun’s gravity. Eddington’s 1919 eclipse expedition put this to the test. The prediction held, and relativity triumphed—but for Popper, the triumph lay less in being right than in being testable. Genuine sciences can lose; pseudosciences cannot.


The Texture of Falsifiability

Popper’s principle, though elegant, raises complexities.

  • Degrees of science. He sometimes described theories as more or less scientific depending on their vulnerability to refutation. Marxism, for instance, began as a bold, predictive theory but was later shielded from counterexamples, becoming less scientific. This blurs the sharp boundary between “science” and “non-science.”
  • Descriptive and normative. Popper claimed both that this is how scientists in fact work (at their best) and that it is how they should work.
  • Necessary but not sufficient. Not all falsifiable claims are scientific. “Elvis will strike me down when I finish this sentence” is falsifiable (and false) but not science. Falsifiability is thus a necessary condition, not the whole story.
  • Metaphysical value. To be unscientific is not to be worthless. Atomism, for centuries, was untestable but fruitful. Even Darwin’s principle of natural selection, Popper once argued, was dangerously close to tautology—fitness defined by survival—though later he reconsidered, seeing it as a set of historical hypotheses testable against phenomena like genetic drift.

Challenges to Popper

Popper’s view also faces serious objections:

  1. Existential claims. “There exists a gold sphere a mile wide somewhere in the universe” cannot be falsified by finite search but does not seem unscientific. Popper’s reply: science cares about laws (e.g., “All copper conducts electricity”), which can be falsified by a single counterexample.
  2. Probabilistic statements. Much science is statistical. Fifty sixes in a row does not falsify the claim that a die is fair. Evolutionary biology relies heavily on probability, too. Popper suggested scientists could adopt agreed thresholds for when to treat a claim as falsified, but that reduces the criterion to convention.
  3. Theory versus practice. Is scientific status a property of the theory itself or of how it is handled by practitioners? One Marxist might cling to failed predictions; another might revise or abandon them. Popper often spoke as if falsifiability were a logical property of the theory, but practice complicates this.
  4. The tenacity of good theories. Scientists do not discard good theories at the first anomaly. Astronomers did not abandon Newtonian physics when Uranus’s orbit deviated; they posited Neptune, later confirmed. Some auxiliary moves are legitimate; others are ad hoc. Popper must explain the difference.
  5. Explanatory scope. Many philosophers see wide explanatory power and empirical confirmation as genuine virtues. Popper’s single-minded focus on risk-taking sometimes seems to undervalue these.

Where We End Up

Popper gave us a powerful insight: science distinguishes itself by courting refutation. Bold conjectures, exposed to failure, separate genuine inquiry from pseudoscience. Yet falsifiability alone is not enough to solve the demarcation problem. Science also relies on explanatory scope, predictive accuracy, reproducibility, independent testability of auxiliaries, and responsiveness to criticism.

Still, Popper’s criterion remains one of the most elegant and influential answers we have. It reframes science not as the pursuit of confirmation but as a willingness to risk being wrong—and that, perhaps more than anything, captures the spirit of the enterprise.

Kierkegaard and the Limits of Reason

Dan Herbatschek

Søren Kierkegaard was a singular figure. Alongside Nietzsche, he stands as one of the two 19th-century roots of what would later grow into 20th-century existentialism. The two could not be more different—Kierkegaard deeply religious, Nietzsche fiercely antireligious—yet both were brilliant stylists and solitary minds who frame the movement like opposite bookends. Still, Kierkegaard is even harder to place than Nietzsche, for his thought seems to emerge without real forerunners. His philosophy developed less from inspiration than from opposition, shaped by what he rejected and sought to escape. At the heart of his work lies a single pressing question: what does it mean to be a Christian? In what follows, we’ll explore the intellectual climate he resisted, the central ideas he advanced—especially those in his seminal work Fear and Trembling—and finally, the influence he left behind.

Much like Rousseau, Kierkegaard was a critic of modern life, though he wrote a century later, in an age increasingly shaped by cosmopolitanism, science, and industrial growth. Rousseau had argued that cultural progress did not amount to moral progress; Kierkegaard, in parallel fashion, insisted that it also did not signify spiritual or religious progress. His opposition was not directed at secularism—still not fully explicit in his time, since it makes more sense to date the rise of secular modernity to the later 19th century rather than the mid-19th century when Kierkegaard was writing—but at a Christianity reshaped to fit the demands of Reason. Above all, this rationalized version of the faith was represented by Hegel. Kierkegaard’s critique was aimed not at atheists or nonbelievers, but at Christians he thought had profoundly misunderstood their own religion. His message to a still largely Christian Europe was simple and radical: it did not truly grasp what Christianity meant.

Kierkegaard was also the most intricate philosophical writer since Plato—not because his prose was opaque like Kant’s or Hegel’s, but because he deliberately concealed his own voice behind pseudonyms. Like Plato, who presented arguments through his characters, Kierkegaard rarely spoke directly. Almost all of his works were written in the names of imagined figures, each embodying a perspective, and this strategy gave his writings an ironic and aesthetic character.

Born the son of a deeply religious father, Kierkegaard wrestled throughout his life with what it meant to be a Christian. Financially, he lived off an inheritance that sustained him until his death. Socially, he was isolated—recognized in Denmark, yet also mocked. Anecdotes (perhaps exaggerated) tell of children in Copenhagen chasing him through the streets, taunting him with chants of one of his book titles: “Either/Or, Either/Or!”

The defining moment of his personal life came at age 28, when he ended his engagement to Regine Olsen after three years. He concluded that marriage was incompatible with his calling. To Kierkegaard, his mission of uncovering Christianity’s true meaning demanded a particular way of life, and the obligations of marriage would have undermined that vocation.

Kierkegaard had a deep disdain for Hegel; he is perhaps the clearest representative of the mid-19th-century backlash against Hegelian philosophy. At one point, Kierkegaard remarked that if Hegel had written his Logic—one of his key works—and then admitted in the preface that it was merely a thought experiment, he would have been “the greatest thinker who ever lived.” But since Hegel presented it as truth, Kierkegaard concluded, he was “merely comic.” That remains one of the sharpest barbs ever delivered by one philosopher at another.

What infuriated Kierkegaard was Hegel’s drive to systematically subsume every dimension of human life—what Hegel himself called the “shapes of spirit”—into one unified system. For Hegel, nothing was beyond synthesis; every experience and aspect of reality could be reconciled into a comprehensive whole. Kierkegaard, by contrast, saw life as fractured. Human existence consists of distinct modes of living that cannot be harmonized. The individual must therefore make genuine choices—irreducible decisions between incompatible ways of life. This insistence on the necessity of choice is a cornerstone of Kierkegaard’s existentialist legacy.

He outlined three broad categories of existence. The first is the aesthetic life. This way of living revolves around pleasure—or more precisely, around whatever is interesting. It is fundamentally self-centered, though not necessarily immoral. Rather, it is amoral: it pursues its aims without concern for morality. The purest illustration of this comes in his literary masterpiece, Diary of a Seducer. There, Kierkegaard sketches a man who meticulously plots his entrance into a woman’s life—first arranging to be seen on the edges of her vision, then engineering a chance encounter, then ensuring a friend casually mentions his name. Gradually he insinuates himself into her world, causes her to fall in love with him, and then abandons her forever. The seducer’s goal is not cruelty but novelty—he acts out of a relentless pursuit of what is “interesting.”

The second category is the ethical life. This is the ordinary, social way of living, governed by reason and shared norms. In this mode, we justify our actions in terms that others can recognize, and we aim for harmony with those around us. Most people live primarily within this ethical framework. That doesn’t mean we never fail, but our lives are structured by moral rules and mutual understanding.

Within this stage, Kierkegaard describes an extreme figure: the knight of infinite resignation. Such a person is capable of surrendering every personal hope or desire, giving up all aesthetic satisfactions, for the sake of a moral duty. Not everyone can reach this level of ethical consciousness, but for Kierkegaard it represents its highest expression.

The third and highest stage of existence, for Kierkegaard, is the religious life. Unlike Hegel’s system, this third stage is not a reconciliation or synthesis of the first two. That alone signals how far Kierkegaard stands from Hegel—not just in his mocking comments, but in the very architecture of his thought. Hegel’s triads always resolved in a synthesis that integrated opposites; Kierkegaard’s triad resists that logic. The religious does not mediate between the aesthetic and the ethical. Instead, it stands apart, more akin to the aesthetic in its individualism, but infinitely deeper: it is the solitary, unmediated relation between the individual and God.

To recap: the aesthetic is the pursuit of pleasure, novelty, and the interesting; it may be refined but remains self-focused. The ethical is social and rational, embedded in human community and shared norms. But the religious transcends both: it is neither social like the ethical nor sensual like the aesthetic. Its essence lies in the individual’s absolute relation to God.

This becomes Kierkegaard’s central mission—to grasp the nature of this third stage, the religious life. His claim is that it has never truly been understood, and that Hegel’s attempt to fold religion into reason and society only obscured it further. Kierkegaard even confesses, in one of his writings, that while his age prides itself on sophistication—everyone reading Hegel’s Logic and Encyclopedia, marveling at scientific discoveries, inventing new machines for convenience—he remains stuck on the fundamentals. “I do not even understand Abraham and his faith,” he admits. That, he insists, is the mystery he wants to understand.

His pseudonymous voices acknowledge their own aesthetic tendencies, since Kierkegaard believes the religious cannot properly speak for itself. By its nature, it resists direct explanation. And the ethical perspective, he argues, is constitutionally incapable of grasping the religious. These are startling claims. We are used to thinking of religion and ethics as intertwined; Kierkegaard flatly denies this. To interpret religion ethically is to misinterpret it. The two stand worlds apart. For Kierkegaard, the biblical God demands acts that overturn ordinary moral reasoning. Even the central Christian command—forgiveness—is, in human terms, “unethical.”

Let’s pause to ask why Kierkegaard would go so far as to call forgiveness “unethical.” At first glance, this seems outrageous—forgiveness is celebrated in Christianity and many other religions as the pinnacle of moral life. Yet Kierkegaard insists otherwise. Ethics, he argues, rests on the rules of justice: wrong actions demand punishment, and those rules are binding. Forgiveness, however, interrupts this structure. It cancels justice’s demand by telling the guilty: even though you deserve punishment, you will not receive it. In Kierkegaard’s terms, forgiveness is the religious breaking into the ethical domain and overturning one of its fundamental principles.

And it gets more radical still. For Kierkegaard, religious faith cannot be reconciled with Reason, contrary to the claims of Hegel and the medieval Scholastic tradition. Recall that Thomas Aquinas in the 13th century had famously attempted to unite Christianity with Aristotle, arguing that Reason and faith complemented each other. Aquinas believed that rational inquiry into creation—the order and beauty of the natural world—was itself a form of worship, a way of moving closer to God. Across much of Western history, especially during its more optimistic periods, faith and Reason were viewed as harmonious, two powers of the human spirit working in concert.

Kierkegaard is uncompromising in rejecting this. Faith, he insists, is not simply beyond reason (arational)—it is actually against reason. It is irrational. This is a bold and unsettling claim.

Another hallmark of Kierkegaard’s thought is his insistence that “truth is subjectivity.” For him, truth is not primarily about objective reality but about the lived, inward experience of the individual subject. He makes this point forcefully in Concluding Unscientific Postscript. What matters in philosophy, he says, are not abstract descriptions of the world but the questions that compel a person to confront how he or she will live. Scientific, objective knowledge is thereby demoted to second-class status. Being human, Kierkegaard argues, cannot be understood through the methods of science. The inner life is fundamentally different from the outer world.

This emphasis on subjectivity was one reason Kierkegaard became so important for later thinkers, especially the early phenomenologists such as Martin Heidegger. For them, as for Kierkegaard, the ultimate philosophical question is about a way of life—and a way of life is not a purely intellectual matter but a passionate one. Choosing between the aesthetic, ethical, and religious modes of existence is not a decision that science or reason can settle. It is, instead, a matter of human existence itself: I must decide, I must commit, I must “bet” on one path of life, even without certainty.

Let’s turn now to Kierkegaard’s most famous illustration of such a choice, drawn from his masterpiece Fear and Trembling. In that book, he takes the biblical Abraham as the model of what he calls the knight of faith. You’ll recall the story: Isaac, Abraham’s beloved and long-awaited son, born in his old age, is demanded of him by God. Abraham is commanded to sacrifice Isaac, and he sets out to obey. Kierkegaard’s pressing question—characteristic of his approach in this strikingly beautiful text—is: what is happening within Abraham as he climbs the mountain, knife in hand, prepared to kill his only son? What is Abraham saying to himself to make sense of his action? That is what Kierkegaard longs to grasp. And here we see again how he differs from other philosophers—while they concern themselves with universal principles, the progress of science, or abstract metaphysics, Kierkegaard lingers in the Old Testament, struggling to comprehend Abraham.

First, he rules out a common interpretation: Abraham does not treat the ordeal as a divine prank or a mere test, as though he were secretly confident that God would not require him to go through with it. Second, Abraham’s stance is not one of tragic resignation either. If it were, he would be what Kierkegaard calls a knight of infinite resignation. That attitude would be fully rational, even philosophical, and comparable to the Buddha’s claim that all life is suffering. Abraham might have said: “I was wrong to love my son so deeply. Everything is fleeting. I will obey God’s command, and though it breaks me, I resign myself.” Such a view is intelligible—it accepts the loss and suppresses attachment. In Kierkegaard’s framework, that would count as an ethical response, a surrender of personal desire in obedience to a higher necessity.

But Kierkegaard insists that Abraham’s position is different, stranger, and more paradoxical. Abraham must believe both that he will kill Isaac and that he will somehow still keep Isaac—that Isaac will live. He walks up the mountain convinced that he will plunge the knife into his son, and simultaneously convinced that he will not lose him. To our ears this is contradictory, even absurd—and Kierkegaard agrees. This is precisely what makes it faith. Faith, he says, is not compatible with Reason; it is literally irrational. The Latin phrase credo quia absurdum—“I believe because it is absurd”—though wrongly attributed to Tertullian, captures Kierkegaard’s view more closely than that of any other modern thinker. Faith is the commitment to something that defies reason.

With this in mind, we can better see why faith stands apart from ethics. God’s command to Abraham—to kill his innocent son—is, by ordinary ethical standards, monstrously wrong. Just as forgiveness subverts the demands of justice, God’s command lifts Abraham out of the moral order altogether. Religion, for Kierkegaard, intrudes into the ethical sphere only to suspend and overturn it. And because faith is essentially a solitary relation between the individual and God, it cannot be mediated, justified, or even communicated to others. It is incommensurable with the social world, with rationality, and with ethics itself.

Kierkegaard is making a sharp point here, one that feels surprisingly modern. I don’t mean his insistence on irrationalism, but rather his observation that rationality is tied to the social. To act rationally is to be able to give reasons that others can recognize, to justify oneself in a way that makes sense to a community. Rationality, in this sense, requires communication.

Faith, by contrast, is none of these things. It is not rational, not social, and it cannot be communicated. Because of this, a knight of faith cannot be identified by any outward behavior. Take Abraham: he could never explain his action to another person. Nobody would understand him, because what he was doing was irrational by every human standard. Likewise, you could not point to any external sign that marks someone as a knight of faith. Kierkegaard has a marvelous passage where he says that the knight of faith might look no different from an ordinary tax collector. He wakes up in the morning, washes his face and hands, skims the newspaper, drinks his coffee, and goes to work. To outside observers searching for some trace of transcendence in his behavior, there is nothing to find. The inward reality of faith has no outward signature.

Kierkegaard’s sharp separation of the aesthetic, the ethical, and the religious—as incommensurable forms of life—creates real difficulties in understanding him. It also explains his curious literary strategy. His use of pseudonyms was not accidental. Because these spheres of existence cannot be reconciled, he needed different voices to explore them. In Fear and Trembling, for instance, the narrator is explicitly aesthetic. He admits openly: “I am an aesthetic character; I find Abraham’s faith fascinating and puzzling. I cannot grasp it, nor do I see how anyone could.” From Kierkegaard’s standpoint, only a true knight of faith could understand another knight of faith, and such figures are vanishingly rare. For the rest of us, we can only view them from the outside—through the aesthetic lens, or the ethical one. Both are distortions, but Kierkegaard suggests that the aesthetic point of view, strangely enough, gets us closer to glimpsing the religious than the ethical does.

This raises a further problem: if these forms of life are incommensurable, how can one ever move from one to another? How does someone transition from the aesthetic to the ethical, or more radically, from the aesthetic to the religious? Kierkegaard insists that there is no gradual ladder, no dialectical progression, no educational path that carries us from one to the next. Unlike Hegel, who always resolved opposites into a synthesis, Kierkegaard divides existence into starkly separate possibilities. The religious does not absorb or reconcile the other two; it is wholly other.

That is why Kierkegaard titled one of his most famous works Either/Or. As the (perhaps apocryphal) story goes, children in Copenhagen would tease him by shouting this title as he passed. The phrase captures his conviction: when it comes to ultimate ways of life, you must simply choose. And this choice is groundless, without reasons. Why? Because any reasons you might give are drawn from within the form of life you already inhabit. If you are living ethically, the ethical mode can only offer reasons to remain ethical, not reasons to leave it. The gulf between forms of existence is unbridgeable, and choice comes down to a leap.

Does this logical impasse trouble Kierkegaard? Not at all. His reply is consistent: of course it makes no sense—it is irrational. And that is precisely the point.

To conclude: Kierkegaard occupies a singular place among modern thinkers. Many philosophers—especially those tied to 20th-century existentialism—flirted with irrationalism. William Barrett even titled his classic overview of existentialism Irrational Man, pointing to how central the so-called irrational became for this tradition. Yet Kierkegaard stands apart. He is the most sophisticated and relentless critic of rationality in modern philosophy, and at the same time one of the most passionate, emotionally charged writers the field has ever produced.

What, then, is his legacy? In the 20th century, Kierkegaard left two distinct marks. On one side, he deeply influenced liberal Protestant theology, inspiring a movement within religious thought. On the other, though he was too unusual to shape mainstream philosophy widely, his existential view of religion had a surprising impact on the century’s leading atheist existentialist, Martin Heidegger. Heidegger leaned heavily on Kierkegaard’s insights in his landmark book Being and Time.

So what can we finally say about Søren Kierkegaard? Above all, he achieved the aim he set for himself. He crafted a philosophy that was personal to its core, a philosophy centered on subjective truth—truth bound up with the most profound and agonizing choices of human existence. Rejecting the standards of conventional rationalism, Kierkegaard turned philosophy back toward the life of the individual: a single finite life, filled with decisive moments that shape its meaning. If one were to ask Kierkegaard, “What should I do?” his counsel, in the end, would likely be distilled to a single imperative: choose.

Einstein, Measurement, and Meaning

Recognizing that it’s no easy task to pin down the essential features of science, let’s return to the story at hand. In Lecture Two we saw how a piece of Einstein’s general theory of relativity became a striking and inspiring case study of successful science for figures like Popper. This time, we rewind further, to Einstein’s special theory of relativity, first published in 1905 when Einstein was only 26.

This was a revolutionary advance in physics, though here we’re more interested in the philosophical impact—which is just as significant. The term “special” doesn’t mean “especially brilliant,” but rather “a special case of relativity.” Special relativity applies to constant-velocity motion, where objects move without forces that accelerate or redirect them. I’ll occasionally call this “inertial motion.” The general theory of relativity, by contrast, applies to all motion—accelerated as well as uniform—and so in a sense is the “grander” of the two. For our purposes, though, sticking with the simpler special theory will do.

An important historical note: many of the concepts most often attributed to Einstein weren’t originally his. His genius lay less in inventing the raw pieces of the theory than in weaving them together into a consistent framework, which was the truly difficult part.

We already know that inertial motion—motion at constant speed in a straight line—can only be described relative to some chosen frame of reference. Galileo argued this in the early 1600s: a ball rolls the same way on land as it does on a ship gliding steadily across calm waters. Clearly this was a thought experiment, since no ship actually sails in a perfectly uniform way, but his insight holds. You can sense when a ship speeds up or turns; but with the windows closed, there’s no experiment you can run that tells you whether you’re stationary or coasting smoothly forward. This idea came to be called the “principle of Galilean relativity.”

Since mechanical laws don’t distinguish between one state of steady motion and another, we might as well treat any inertial state as if it were at rest. In this sense, Einstein didn’t invent relativity—he extended and generalized Galileo’s principle.

Put differently: suppose you and I drift past one another in deep space. Neither of us can determine who is “truly” moving. All we can say is how each of us moves relative to the other. The natural temptation is to conclude that the question “which one is really in motion?” has no real meaning—at least no empirical meaning, since no test could answer it. But the situation is a little trickier than that. Other parts of physics—notably electromagnetism and light—seemed to suggest there might be some way to define “absolute” motion.

Here’s why: James Clerk Maxwell, the 19th-century Scottish physicist, had shown that light behaves like an electromagnetic wave. At the time, waves were assumed to require a medium—like water for ocean waves or air for sound. The medium for light was thought to be the “aether,” through which light rippled as sound ripples through air.

Think of sound in water. If you’re still with respect to the water, you’ll record the same speed of sound in every direction. But if you swim through the water, the sound’s measured speed will vary: it will seem faster if you’re heading toward the wave, slower if you’re moving away. The same logic applies to catching or fleeing from a thrown baseball: relative to you, its speed depends on your own motion.

Notice the trick—we’re talking about how things appear to you as the moving observer, not about the “true” underlying motion.

By the same reasoning, light should act this way too. If the Earth is plowing through the aether at a steady pace, then measurements of light’s speed should vary depending on the direction. In one direction, Earth would be “chasing” the light, so the light should seem slower; in the opposite direction, Earth would be moving away, so the light should seem faster.

Now, it wasn’t obvious that moving relative to the aether was identical to moving relative to space itself, but since the aether was thought to permeate everything, it looked like a natural candidate for an absolute frame of reference.

Here’s the kicker: experimenters repeatedly tried to detect Earth’s motion through the aether, but no matter what point in Earth’s orbit they measured from, they always got the same answer—the same speed of light. This was baffling. It was as if a baseball always approached you at the same speed whether you ran toward it or away from it.

Einstein didn’t discover this puzzling constancy of light speed—it had already been observed in experiments and predicted in Maxwell’s theory decades earlier. What Einstein did was far more daring: he accepted the experimental results at face value and sought a way to reconcile them with relativity.

This set up a genuine puzzle: on the one hand, relativity tells us that all steady motion is relative; on the other, light insists on traveling at a fixed speed no matter who’s moving. At first glance, those two principles flatly contradict each other.

Let’s spell it out. Galilean relativity says that to speak of motion you must reference some frame—“I’m going 55 miles per hour relative to the highway.” But light, in a vacuum, is said to move at about 670 million miles per hour, and that’s not relative to anything. Even if you were to chase after a beam of light at tremendous speed, the light would still recede from you at exactly 670 million miles per hour.

So it looked as though one of the principles had to be false. Nearly everyone assumed the culprit was the claim that light’s speed is constant regardless of the observer. But those stubborn experimental results wouldn’t vanish.

Scientists, unwilling to abandon the older framework, resorted to some desperate patches. One suggestion was that Earth dragged along a bubble of aether around it, meaning that locally we were always at rest with respect to the medium. Another, even more radical, was that instruments themselves were altered by motion: measuring rods shrank and clocks slowed whenever Earth moved through the aether.

That sounds bizarre, though it wasn’t entirely implausible within 19th-century physics. If electromagnetic forces held matter together, and those forces propagated through the aether, then perhaps motion through the medium distorted objects. Still, this “explanation” was a stretch: it said the speed of light really did vary, but conveniently, all our measuring tools were distorted in just the right way to hide it from us.

Einstein’s leap was to stop fighting the evidence. He accepted the data as it stood. Instead of assuming the contradiction was real, he asked whether the contradiction only appeared because we were holding on to unexamined assumptions about space and time.

The first step was to broaden the principle of relativity. Galileo had said that no mechanical experiment could reveal whether you were at rest or moving steadily. Einstein extended that: no experiment of any kind—mechanical, electromagnetic, or otherwise—can distinguish one uniform motion from another. And light, like Newton’s laws, obeys this principle.

But this reconciliation came with radical consequences. Different observers, moving relative to one another, would inevitably disagree about fundamental things: whether one event happened before another, or how long an event lasted.

To dramatize this, let’s borrow a thought experiment from physicist Brian Greene. Imagine two presidents, Enginefacer and Caboosefacer, about to sign a treaty. To ensure fairness, they sit equidistant from a light bulb in the middle of a train car, which is rolling at constant velocity across the border between their nations. When the car’s midpoint passes the border, the bulb flashes. Each president, upon seeing the flash, immediately signs. From their perspective inside the train, both sign simultaneously.

But observers standing on the platform see something different. To them, Enginefacer is moving toward the flash while Caboosefacer is moving away. Since light travels at the same speed in both directions, the beam reaches Enginefacer first. Thus, from the platform’s frame, Enginefacer signs earlier.

So which is right? The train observers or the platform observers? The astonishing answer is: both. Each perspective is correct within its own frame. The question “which signing came first?” has no answer until a frame of reference is specified.

This leads to equally strange results for time. If you and I are gliding past each other, my measurements will tell me that your clock runs slow, while you will say the same about mine. It feels impossible—surely both clocks can’t be slower than the other—but that impossibility rests on the pre-relativistic assumption that there’s a single, absolute timeline. Einstein showed that assumption was the mistake.

The same logic applies to space. To me, your meter stick looks contracted; to you, mine does. In our own frames, though, each appears normal.

Let’s look at another well-known illustration. Imagine we measure a barn and a pole at rest, side by side, and confirm they’re exactly the same length. Now picture someone sprinting at seven-tenths the speed of light, carrying the pole through the barn. From our vantage point at the barn, the pole appears shortened, so it seems both barn doors could close with the pole inside.

But from the runner’s perspective, things are reversed: the barn is what has contracted, not the pole, so the barn is too short to ever contain it.

So what actually happens? Both, depending on the frame. We see the doors close around the runner; the runner sees the back door still open and the pole sticking out before the front door shuts. At first this looks contradictory, but the tension vanishes if you calculate when light signals, traveling at their maximum speed, reach each observer from the critical points (the ends of the pole and the barn doors). Once you factor in the travel time of those signals, the apparent paradox dissolves.

Of course, nobody has ever run through a barn at relativistic speeds. But experiments with subatomic particles confirm the strange consequences of special relativity. Muons, for instance, normally decay very quickly. Yet when accelerated close to the speed of light, they “live” about ten times longer, because from our perspective, their clocks slow dramatically.

For us, the exact physics isn’t the main concern. What matters is the conceptual shock: physicists had assumed they knew what they meant by words like “simultaneous” or “length.” Einstein forced a reconsideration: those concepts only make sense when tied to the procedures of measurement and observation.

That realization profoundly shaped both science and philosophy. For decades, much of the debate revolved around how to connect scientific concepts securely to experience.

One of the first to push this idea was not a professional philosopher but a Nobel-winning physicist, P. W. Bridgman. Drawing inspiration from special relativity, he argued that the lesson was conceptual: never again should abstract ideas blind us to what experiments reveal.

Scientists had overlooked the constancy of light’s speed because their theories got in the way. Einstein succeeded by working through the implications of the data instead of forcing the data to match old assumptions. Bridgman’s response was a new view called operationalism.

According to operationalism, every scientific concept must be defined in terms of the operations used to measure or detect it. Take “length”: instead of defining it philosophically as “the amount of space something occupies,” Bridgman says it just is the procedure of laying a meter stick along an object and recording the number. If the object is longer than the stick, you move the stick and keep counting. The operation itself provides the meaning.

His idea was that if we had insisted on defining simultaneity operationally, we would never have been surprised by relativity. Since no signal can travel faster than light, observers moving relative to one another cannot agree on whether distant events happened at the same time. If we had tied the concept directly to measurement, the relativity of simultaneity would have been obvious instead of shocking.

Let’s see how operationalism works when applied more broadly. Strictly interpreted, each measurement procedure defines a distinct concept. For example, “temperature as read by an alcohol thermometer” is technically different from “temperature as read by a mercury thermometer.” If we swap instruments, we’ve switched the operation—and therefore the meaning.

At first glance that sounds manageable, but problems appear quickly. How finely do we draw the line between operations? Does “testing acidity with blue litmus paper while wearing a lab coat” count as the same operation as “testing acidity with blue litmus paper while wearing overalls”? They differ in one respect, however trivial. Bridgman might say in principle we should count these as separate, though in practice we don’t bother. But even if we ignore such trivialities, the challenge remains: how exactly should operations be individuated?

Another issue is that operational definitions can’t regress forever. Eventually, they must bottom out in basic, unanalyzed acts—like “look at the scale and write down the number.” At some stage, scientists must assume certain observations are immediate and unproblematic. Bridgman accepted this, but it sets him apart from philosophers like Karl Popper, who denied that there is a privileged layer of “pure” observation immune from further critique.

Even with these difficulties, operationalism proved highly influential in the early 20th century. In psychology especially, it shaped practice: diagnosing “depression,” for some schools of thought, simply meant scoring below a threshold on a particular test. No extra meaning was allowed beyond the operational definition. The appeal was clear—psychology is complicated, so tying concepts to standardized procedures ensured consistency.

But most philosophers now view operationalism as too restrictive. If every concept must be fully defined by a single measuring operation, science either loses important meanings or cheats by smuggling them back in. Bridgman’s view risked crippling inquiry.

Take “weight” as measured with a pan balance. If the pans balance, the objects weigh the same; if one side falls, that side is heavier. Straightforward enough—except this presumes no hidden forces are interfering. But how do we operationally guarantee that? We could add steps: check for someone pressing on the scale, test for magnetic fields, and so on. Yet the list of possible disturbances is endless. Clearly, our notion of weight isn’t reducible to just the pan balance’s behavior—we assume the balance is tracking something real, not defining it.

The same holds for thermometers. We assume that alcohol and mercury thermometers measure the same property. We even talk about temperatures too small for current instruments to detect. That confidence shows we treat “temperature” as something out there, not something created by the act of measurement.

Here’s another example: a thermometer plunged into the sun would explode, killing the observer. Yet we still believe the sun has a temperature, and we seek instruments capable of measuring it. That assumes an independent concept of temperature—one not reducible to current operational methods.

And this, ironically, is what operationalism was meant to eliminate. Einstein’s revolution had warned against sneaking in extra meaning beyond measurement. Bridgman took that warning seriously, but his solution proved too rigid.

Still, his operationalist call made an important contribution: it reminded scientists to anchor their terms in measurable practice rather than abstract speculation. As we’ll see later, this idea has a long philosophical history, and thinkers had been grappling with these issues for centuries. What Einstein did was make them freshly urgent.

Nietzsche’s Critique of Morality

Friedrich Wilhelm Nietzsche is probably the most controversial philosopher who has ever lived in the Western tradition. We will examine his ideas chronologically, from his early work on Greek tragedy to his excoriating criticisms of the Judeo-Christian tradition, his famous slogan that “God is dead,” and finally his later notions of the eternal recurrence, and his legacy.

Nietzsche was a brilliant young student of ancient languages, achieving a professorship at the unheard of age of 24; he was widely regarded as brilliant. But also at an early age, he was wracked by chronic medical problems that forced him into a very early retirement from his teaching position. Nietzsche twice proposed to women through intermediaries, which was not an unusual practice in the later 19th century; but each time he chose as an intermediary a man who was, in fact, the secret fiancé of the woman he hoped to marry. This bad luck in matters of the heart does not end there: He lost his mind at age 45, probably from general paresis, the final stage of syphilis, presumably contracted by visiting a prostitute in his student days, and lived until 56 as an insane invalid. But before that time, Nietzsche traveled Europe on a small pension, writing voraciously, and writing things that no one had ever seen before.

Nietzsche may seem so unique in his ideas that you might assume he emerged fully formed from the head of Zeus. But he had a precursor named Arthur Schopenhauer, the great pessimistic philosopher—literally pessimistic, that is, he called his philosophy the philosophy of pessimism—who so opposed Hegel in the very early 19th century while Hegel was still alive. Schopenhauer had taken the Kantian system and made will, sheer urge or irrational desire, the essence of things in themselves. That is, if you remember the Kantian system, we have experience, and we have synthetic a priori knowledge of regularities in the field of experience. Kant says we don’t know anything about the things in themselves; what’s outside experience? What Schopenhauer says is that which is outside experience are not things at all, but they are the dynamics of power; will is the source of everything, and we experience this will through the categories of intuition and understanding in Kant’s philosophy. This already is kind of a real break from the modern tradition, the medieval tradition, and the Greek tradition, because for Schopenhauer, the ultimate underlying reality of things is not Reason or rational at all.

With this as a background, Nietzsche asked a deep question about all civilizations; and if you want to understand Nietzsche, it’s probably best to think of this as his basic question: What are the conditions that will maximize the power and health of a culture? What makes a culture great? As a prominent young student of ancient languages and literatures, Nietzsche’s early work reinterpreted the spirit of the ancient Greeks, which is, of course, an enormous task. Since the Renaissance right up into the beginning of the 20th century, philosophers have frequently gone back to the Greeks and tried to decide what made the Greeks so good, the Greeks who initiated the philosophical tradition in the West. It was typical to see the ancient Greeks—and it still is today, when one takes a course in Greek drama, takes a course in Greek sculpture—as the embodiment of rationality and moderation. But that is not how Nietzsche saw them. Nietzsche thought that the Greeks, Greek culture, whipsawed between two opposed, antagonistic cultural principles symbolized by the gods Apollo and Dionysus.

The Apollonian spirit is rationality, moderation, and light, and these were the aspects of ancient Greek civilization that everybody interpreted to be the essence of Greek culture. But Nietzsche points out—just as important—there was another side to Greek culture: It was embodied in the cult of Dionysus, the god of drunkenness and destruction. If you want some confirmation of this, you can look at some of the Greek tragedies, for example, Euripides’s the Bacchae. What Nietzsche claimed is that both sides—creation of beautiful structure, in a very broad, vague sense; and the urge to destroy, tear things apart, and reduce them to their most fundamental components—these two impulses are at war in Greek culture. Both sides deal with the pain of existence; the Apollonian spirit covers over the pain of existence with what Nietzsche called a beautiful dream image; the Dionysian spirit in Greek culture revels in the pain, losing the individuality of the sufferer, surrendering to the chaos of Nature’s power, hence identifying with it through a loss of ego. The great Greek tragedians, Nietzsche balanced the two.

This is what made the Greeks a model of what Nietzsche admired: health in cultures, manifesting through intellectual, artistic, or political-military greatness, yielding tremendous creativity. He thought he had the recipe, if you will, for the Greek success in this: that they balanced the Apollonian and the Dionysian. But, in fact, in Nietzsche’s retelling of Greek history, it was the Greek philosophers (Plato and Aristotle) who rejected Dionysus for Apollo and brought about a decadent age of Greek culture. In other words, philosophy, with its Apollonian, rational, moderate concerns, ruined what was most alive in Greek culture.

The bulk of Nietzsche’s mature work—he wrote his Birth of Tragedy, his description of ancient Greek tragic drama, early in his career, his first book—is an unrelenting critique of Judeo-Christian morality. He is the most vicious critic of Judaism and Christianity that ever lived. He attacked the religious tradition and its morality as injurious to the greatness, power, and health of Western civilization. Nietzsche literally thinks that Christianity has made Western civilization sick. One way of describing this is in his book, The Genealogy of Morals. Nietzsche contrasts an aristocratic with a slave morality. What he’s doing is he’s going back and generalizing about many ancient societies, and many ancient societies had slaves, including the Greeks, and before then the Egyptians (the Jews were the slaves); there were many, many ancient societies like this. He says, let’s contrast the moral values of the aristocracy with the moral values of those who are slaves. This could literally include not just actual slaves but indentured servants, peasants, etc.; the morality of those who are in power known and the morality of those who have no power.

How should we distinguish these two? From the point of view of the aristocratic morality, the aristocrats valued, above all, power. If you asked the aristocrat what is good, what is good is what is like themselves: powerful, truthful, noble. What is bad? The contemptible slaves who are weak. The slave morality, on the other hand, what does the slave regard as good and not so good? What’s good for the slave is precisely what is weak, because what is weak is nonthreatening. The slave regards as good themselves, and whatever else cannot harm the slaves. But here, something new happens: The slave morality invents a new term. For the aristocrats, for the nobles, the opposite of good is bad, contemptible, low, decadent, unimportant, disgusting. For the slaves, the opposite of what is good is evil. “Evil” is the label that the slaves invent to describe those creatures they resent and fear; in other words, the nobles themselves. The concept of evil, Nietzsche’s point is, was invented in human history; it doesn’t come from God, and it doesn’t come from nature; it comes from human beings in certain social situations.

The slave morality goes further: From the point of view of the slaves, they create God as a beloved judge who will reward them in the next life and, just as important, torture the powerful (the aristocrats) eternally in the fires of hell. This gives the slaves and the poor a meaning for their suffering. Nietzsche at one point said human beings can live with almost any kind of suffering, as long as the suffering has a meaning—they can think of it as serving a purpose or having some payoff in the end. For the poor and the slaves, why remain alive? Only because there is a God: The God will reward us; we will sit at the right hand of the Father in the afterlife. So those defeated by life, those lacking in strength or creativity to make this life meaningful—the losers, if you will, in life—must invent a meaning in the next world, ruled by a new king, God, where they will be rewarded; and this makes their suffering bearable.

Another way of putting this that Nietzsche had—another very unattractive way, for the slaves, to put it—is that the slaves transform weakness into merit. From Nietzsche’s point of view, to be a slave, one must intrinsically be a coward. This seems a little harsh to us, but what he means is pretty straightforward: If you’re not a coward, and someone tries to enslave you, you die trying to fight against the master; those who don’t do that become slaves. What the slaves then do intellectually, imaginatively in their own minds since they cannot take or fear to take a real-world antagonism or victory over the master, they try to get revenge in their heads. The slaves transform weakness into merit, for example, when the master whips me, and I say to myself, I could fight back, but I shouldn’t because I would be lowering myself to his level; and I’m better than that because God has taught me, and I’ve learned not to fight back; I should turn the other cheek. What Nietzsche has to say is I (the slave) have just transformed fear and cowardice into merit. I’m not fighting back, that’s true, but the reason is not that I’m afraid; the reason is I could fight back, but I freely choose not to fight back. It’s a virtue that I’m not fighting back. Filled with resentment and self-loathing, afraid of their own stronger instincts, the slaves live a life of guilt that they think God wants from them; that is, God in some sense enjoys their guilt.

The remarkable fact, from Nietzsche’s point of view, the remarkable thing in his perspective is that the slave morality, which he believes was invented in Western history by Judaism, and then Christianity—which from Nietzsche’s point of view, Christianity is simply high-octane Judaism; it’s the form in which Judaism spread over many, many cultures, the most successful form of Judaism—in each case, Judaism and Christianity are slave moralities. The Sermon on the Mount (blessed are the meek; they will inherit the kingdom of heaven) is a perfect expression of the slave morality from Nietzsche’s point of view. The strange thing historically, Nietzsche says, the bizarre thing, is that the slave morality won. That is, the Roman Empire converted to Christianity, which essentially meant the aristocrats who owned the world—that is, the Roman world—came to accept the morality of slaves. This, from Nietzsche’s point of view, is bizarre, and it’s something that should be remedied.

Nietzsche’s philosophy is somehow associated with nihilism. Nihilism could be defined on the one hand as the belief in nothing, or perhaps more helpful is to say it’s the rejection of all values, the belief that nothing has any value. Nietzsche is not a nihilist; Nietzsche claims that it is Judaism and Christianity that are nihilistic. Why? Because, he says, they devalue humanity and Nature and life. From Nature’s point of view, Nietzsche is an atheist: There is nothing outside this world of Nature; there is no God outside this world. From his perspective, anyone who says this world is a mere precursor to the next; the true world is someplace else; this one is a mere shadow or sham—that person is a nihilist, because they are disparaging the reality and value of things in this world.

As a result, people who adopt the slave morality discourage pride, desire, and power; these, by the way, were classical virtues. If you go back to Aristotle, one is supposed to have pride. In Christianity, it’s a sin. The Judeo-Christian morality, the slave morality, discourages pride, desire, and power in favor of meekness and weakness, making people ashamed of their strongest instincts, arguing that the greatest achievements of humanity are nothing before the throne of God. For Nietzsche, the greatest nihilism, and what he fears most, is not Judaism and Christianity, but what he thinks they’ve led to: devaluing man; considering human being a weak little puppy, a pleasant, kind, moral but impotent creature incapable of greatness. He claims that is the doing of Judaism and Christianity, and he thinks it is making Western society sick.

But what kind of moral order, or disorder, was Nietzsche advocating? Here we have to be very careful in reading Nietzsche. Nietzsche did literally say that no act of torture, rape, or murder is intrinsically wrong. Why would he say such a horrible thing? Because, he says, Nature, which is the only reality, is intrinsically torturous, rapacious, and murderous. That is, take a walk in the woods and see what the creatures there are doing to each other. There is no reason to expect human beings would treat each other any better. But this doesn’t mean that he actually recommended cruelty. In general, Nietzsche opposed any morality centered on the patient, on the object of the act as opposed to the actor. It is not the case that Nietzsche opposes all moralities. What Nietzsche does is look at a morality, or even a religion, and weighs it in terms of its likely contribution to the aesthetic greatest of the culture in which it’s practiced; it’s the effect of a morality or a religion that he’s interested in. For Nietzsche, a proper morality ought to be based in the effect of the act on the actor. That is why ancient ethics, like Aristotle’s, was much less objectionable for him than modern utilitarian and Kantian ethics, which decide whether my acts are right or wrong solely based on how they affect other people. From Nietzsche’s point of view, in the ancient moral tradition, part of what makes the act right or wrong is the status it gives to the actor.
Nietzsche believes that every organism naturally seeks and should seek the conditions for the maximal expression of its powers. He thinks this is simply the way of nature; this is how things are made. This holds for different types of human beings as well. Nietzsche rejects the idea—this is very important—that one reality fits all. A different type of person needs a different type of moral system to release their maximal powers: The warrior needs a war and needs a moral code that befits a warrior; the artist requires sensual beauty; the philosopher requires a quiet study; average, everyday people need to be given a set of beliefs so that they’ll keep working every day and not commit mass suicide. He also believes that no culture can produce greatness without social order; so by no means would Nietzsche admire anarchy in the streets. What we need in average people, he once wrote, is solid metronomes of the spirit: people to go to work, go home and sleep, raise their children, go back to work, go home and sleep, etc.

Nietzsche is also not making any generalized moral proposals, precisely because he believes humans come in different types; and the proper rules for release of the most creative energies in one type will not hold for another. There’s actually a remarkable passage in which Nietzsche says there is something to be said in favor of the exception, but only if he does not try to become the rule. That’s a quite remarkable statement, and what he means is this: He’s highly self-conscious about his own role in his own philosophy. If you asked Nietzsche, what kind of type are you, and what rule should hold for you? Nietzsche would say that he’s a free spirit. As a free spirit, he is supposed to avoid many of the rules of society—not all, but avoid many of them. For example, at one point, even though he did try to get married twice, he said a married philosopher is a joke; in other words, true philosophy requires opting out of normal family life. Nevertheless, what Nietzsche means by saying that there is something to be said for the exception but only if it doesn’t try to become the rule, his point is simply this: I am a free spirit; my social role is to say these seemingly insane things and give a critical analysis of society. But I do not presuppose that other social members should live like me. He is not proposing a general morality, only a sort of overall criterion, an aesthetic criterion, for what counts as a creative moral system. And what is a creative moral system will vary with type of person to type of person.

Arguably, Nietzsche views reality as a chaotic work of sheer power; in fact, at one point he essentially said the way to understand existence is simply as the will to power. This is a bit like Schopenhauer’s notion, the will to power; that is, reality is a will or urge to create forms that are powerful. The only proper normative standard to judge all this is really aesthetic, not moral, artistic. Moral standards are then beneficial when they serve aesthetic standards.

Nietzsche was virtually the first major intellectual to see, or at least to write and say out loud, in the second half of the 19th century that Western society was abandoning God, in other words, that Western society was becoming more and more secularized. We ought to say a little bit about the secularization thesis, which has been written about much in the last century or so. If you judged from the point of view of today, in our new century, we might say American society is quite religious, and Nietzsche might agree. But what Nietzsche’s referring to more broadly is hard to deny: In the modern age, in Western society people may still identify with religion, but religion ceases to be the focus of everyday life. Very few people decide the production goals for their factory based on a reading of the Bible; very few people choose their career based on advice from their priest. We may go to church, or mosque, or temple on Friday, Saturday, or Sunday, but those decisions we keep distinct from our economic, everyday decisions.

At any rate, Nietzsche was one of the first to notice that this change was taking place, and he famously wrote the phrase “God is dead.” What he meant is that human beings, from Nietzsche’s point of view, had made God, of course—we had invented God; there never was one—and we are now ceasing to believe in him. We who created God are now in the process of killing God by ceasing to believe in him. Nietzsche did not regard the loss as an unalloyed improvement—and to understand this is to understand Nietzsche—for when Nietzsche said to himself “God is dead,” what he then asked is what values will replace the dominant Christian values in Western civilization? His own hints at what ought to replace Judeo-Christian values in the oncoming modern civilization were two: One of them, and one of his most compelling notions, was the something called the eternal recurrence, or the eternal return.

This is Nietzsche’s own myth; he actually got it from thinking about the thermodynamics of his own day. Here’s the idea: This is a kind of pseudoscientific hypothesis; that is, it’s Nietzsche’s version of an idea from thermodynamics at the time. Let us suppose for the moment that matter is atomic (made out of little atoms) and finite (that is, the total number of atoms is finite). But let us also suppose that time is infinite. If that’s true, then sooner or later every possible combination of that finite number of atoms must occur. Not only that, though: If time’s infinite, then every possible combination of atoms must occur endlessly; it will happen again and again and again.

How the Money Supply Is Measured: Understanding M0, M1, M2, and Beyond

0

Why Do We Measure the Money Supply?

When people hear “money,” they often think only of the coins and bills in their pocket. But the actual money supply is much broader: it includes bank deposits, savings, and other financial assets that can quickly be converted into cash.

Economists and central banks measure money because it is the lifeblood of the economy. It helps answer key questions:

  • How much liquidity exists for households and businesses to spend?
  • Is the economy at risk of overheating (inflation) or cooling down (recession)?
  • Are central bank policies (like interest rate cuts or quantitative easing) working as intended?

To make sense of this, the money supply is divided into categories: M0, M1, M2, and M3. Each category captures a broader circle of money, starting with the most liquid (cash) and extending outward to less liquid but still important assets.

M0 – The Monetary Base

Definition: M0 is the narrowest measure of money, often called the “monetary base” or “high-powered money.”

What it includes:

  • Physical currency in circulation (coins and notes held by the public).
  • Bank reserves held at the central bank (plus vault cash).

Why it matters:

  • M0 is directly created and controlled by the central bank.
  • It provides the foundation for the rest of the money supply.
  • Increases in M0 can enable banks to create more deposits through lending.

Example: When the U.S. Federal Reserve buys government bonds during quantitative easing, it credits banks with new reserves. This increases M0.

M1 – Spendable Money

Definition: M1 adds to M0 by including money that can be spent immediately. It reflects everyday purchasing power.

What it includes:

  • Everything in M0.
  • Demand deposits (checking accounts).
  • Traveler’s checks (rare today, but historically included).
  • Other highly liquid deposits.

Why it matters:

  • M1 shows the amount of money available for immediate spending in the economy.
  • Rapid growth in M1 often indicates households and businesses have more cash ready to spend, which can drive consumption.

Example: When you swipe your debit card for groceries, you’re using M1.

M2 – Near-Money and Broader Liquidity

Definition: M2 is a broader measure. It adds “near-money” assets — not spendable at the grocery store instantly, but easily converted into cash.

What it includes:

  • Everything in M1.
  • Savings deposits.
  • Small time deposits (like CDs under $100,000).
  • Retail money market mutual funds.

Why it matters:

  • M2 is the most widely used measure in U.S. monetary policy.
  • It captures both money in circulation (M1) and savings that can quickly flow into spending.
  • Rising M2 can signal stronger future consumption and investment, while falling M2 may suggest households are holding back.

Example: Your savings account balance counts toward M2, since you can transfer it into checking almost instantly.

M3 – Broad Money (Where Tracked)

Definition: M3 is the broadest measure, including large and less liquid assets.

What it includes:

  • Everything in M2.
  • Large time deposits (over $100,000, often used by corporations).
  • Institutional money market funds.
  • Short-term repurchase agreements (repos).
  • Eurodollar deposits (U.S. dollar accounts held outside the U.S.).

Why it matters:

  • M3 shows the fullest picture of liquidity in the economy, including financial markets.
  • It is especially useful for analyzing large-scale capital flows and institutional behavior.
  • The U.S. stopped publishing M3 in 2006, but other economies (like the Eurozone) still track it.

The Money Multiplier Effect

The connection between these measures lies in the money multiplier.

  • Central banks issue base money (M0).
  • Commercial banks hold a fraction as reserves and lend out the rest.
  • These loans become new deposits, which others can spend or save.
  • The process repeats, multiplying the original amount of base money into larger amounts of M1, M2, and M3.

This explains why M0 is called “high-powered money.” Small changes in M0 can ripple out into much larger changes in broader money supply.

Logical Recap of the Hierarchy

To summarize the layers:

  • M0: Currency + reserves (the foundation).
  • M1: M0 + checking deposits = spendable money.
  • M2: M1 + savings + small CDs = money + near-money.
  • M3: M2 + large institutional deposits = broad liquidity.

Think of them as concentric circles of money:

  • Center: M0.
  • Next: M1.
  • Wider: M2.
  • Outermost: M3.

What the Money Supply Indicates

The money supply is more than a statistic — it tells us about the economy’s health and direction:

  • Economic Growth Potential: A growing money supply supports higher spending and investment.
  • Inflation Risk: If money grows too quickly compared to goods and services, prices rise.
  • Deflation Risk: A shrinking money supply can trigger falling prices and reduced spending.
  • Liquidity in the System: Policymakers watch M1 and M2 closely to gauge whether businesses and households can access funds easily.
  • Policy Effectiveness: If M0 is rising but M2 is stagnant, it may signal banks are not lending — a warning that monetary policy isn’t reaching the real economy.

Why This Matters for You

Even if you’re not an economist, understanding the money supply helps you interpret the world around you:

  • Rising M2 might mean inflationary pressure ahead — affecting your savings and investments.
  • Declining money supply might mean credit tightening, potentially slowing job growth or business expansion.
  • Central banks’ actions (interest rates, QE) are directly tied to how they influence M0–M2.

Covering Spaces

This map is a covering map by the same argument from Theorem 2.


p on its own takes each unit interval in ℝ and wraps it around the unit circle. p×p takes each unit square

[n,n+1]×[m,m+1] where n,m∈ℝ and wraps it around the torus.







In reality this would be a surface in ℝ4, but to make it easier to visualize we have dropped down to to ℝ3


Let’s look at a specific example. Let D be the donut-shaped surface that is obtained from rotating the circle C1 centered at (1,0,0) and with radius 13 in the xz plane about the z axis.


Let C2 be the circle of radius 1 centered at the origin. So we have an image that looks like this:






We can show that S1×S1 is homeomorphic to D. Let a be a point on the circle C1 and let b be a point on C2. Define

f:C1×C2⟶Dby
defining f(a×b) to be the the point where a ends up after rotating C1 around the z axis until its center hits point b.

We can show that this is homeomorphism of C1×C2 with D. Firstly, we can see that f is continuous since it involves only rotating continuously about the z axis. The inverse will also be continuous since it simply rotates backwards.

To show that it f is bijective, we will employ two different approaches. First, we will show that f is surjective.

Let x0 be any point that lies on our torus lite. We can draw a circle which lies on the torus that contains it. This circle has a center b0. Furthermore, we can measure some angle from the axis of rotation. That angle, when places on the original C1, will correspond to a. Therefore, every point is mapped to, and f is surjective.

Now, to show that f is injective, we can come up with the formula that for f(a,b)

For clarity, we can first express C1 and C2 in Cartesian coordinates

C2=x2+y2=1
C1=(x−1)2+z2=19
Now we can see that the formula
f(a×b)

b=(cosφ,sinφ,0)0≤φ≤2π
gives us any point on C2 and

a=(13cosθ+1,0,13sinθ)0≤θ≤2π
gives us any point on C1. The x component will correspond to the radius of the partial circle drawn by f(a×b) while the z terms corresponds to the height of that partial circle

This gives us the map

f(a×b)=((13cosθ+1)cosφ,(13cosθ+1)sinφ,13sinθ)
For 0≤θ,φ≤2π…

If

(13cosθ+1)cosφ=(13cosθ′+1)cosφ′

(13cosθ+1)sinφ=(13cosθ′+1)sinφ′

13sinθ=13sinθ′
only if θ=θ′ and φ=φ′

Just looking at the first equation, assume that θ≠θ′. In order for the first equality to be true, we need either

θ=π4,θ′=7π4orviceversa, or

θ=3π4,θ′=5π4
But if we look at the third equality, both of these pairs will give us

13sinθ=−13sinθ′
Hence, there is no way for all three equalities to hold unless we have θ=θ′ and, using the same reasoning, φ=φ′, proving injectivity.

We will end this section with a few more examples of covering maps which involve Cartesian products.



Example 3.11
Consider the covering map

p×p:ℝ×ℝ⟶S1×S1
Let b0 be the point p(0)∈S1 and let B0 be the subspace

B0=(S1×b0)∪(S1×b0)
In other words, B0 is the union of two circles that have a single point b0 in common. We call this the figure eight space .

The space

E0=p−1(B0)
is the infinite grid

E0=(ℝ×ℤ)×(ℝ×ℤ)
Thus, the map

P0:E0⟶B0
obtained by restricting p×p is a covering map.



Example 3.12
Consider the covering map

p×i:ℝ×ℝ+⟶S1×ℝ+
where i is the identity map on ℝ+ and p is the map

p(x)=(cosx,sinx)
Take the standard homeomorphism of S1×ℝ+ with ℝ2/{0}. That is,

f((cosx,sinx),r)=(rcosx,rsinx)
This gives us a covering map

ℝ×ℝ+⟶ℝ2/{0}