Explain SMBC — the wiki for Saturday Morning Breakfast Cereal

The comic engages with Immanuel Kant's concept of synthetic a priori knowledge, using simple arithmetic as a test case.

In the first panel, a character declares: "Immanuel Kant was right! We can know synthetic a priori things without reference to experience!" Another agrees: "Absolutely!" and offers the example: "One plus one equals one!"

A third character objects: "What?!" The first character explains: "You have one glob of water, and you glob on another glob of water. Now you really have one." This is a demonstration that if you combine one drop of water with another drop of water, you get one (larger) drop of water, not two drops. The counterargument continues: "We know this from pure reason! And then we go further. Consider that if you have one drop of water and combine it with another drop of water, you get one drop of water."

The skeptical character responds: "I know you're wrong, but I have to think about why you're wrong, which is disconcerting." The other character asks: "How is math so uncannily effective at describing reality?"

The joke plays with several deep philosophical and mathematical ideas. Kant argued that mathematical truths like "7 + 5 = 12" are synthetic a priori: they tell us something real about the world but are known through pure reason rather than experience. The comic challenges this by presenting an apparent counterexample where physical reality (water drops merging) contradicts basic arithmetic (1 + 1 = 2). This is actually a well-known philosophical puzzle about the relationship between mathematics and the physical world: arithmetic assumes discrete, countable objects, but physical substances like water do not always behave as discrete units.

The final line about math being "uncannily effective at describing reality" is a reference to physicist Eugene Wigner's famous 1960 essay "The Unreasonable Effectiveness of Mathematics in the Natural Sciences," used here ironically, since the comic has just shown a case where math seems to fail at describing reality.

The deeper humor is that the "counterexample" is not actually a refutation of arithmetic. It is a category error: the issue is not that 1 + 1 does not equal 2, but rather that water drops are not the right kind of discrete objects for counting in that way. Yet articulating exactly why the argument fails requires engaging with surprisingly deep questions about the foundations of mathematics and its relationship to physical reality.