Von Neumann paradox

In mathematics, the von Neumann paradox, named after John von Neumann, is the idea that one can break a planar figure such as the unit square into sets of points and subject each set to an area-preserving affine transformation such that the result is two planar figures of the same size as the original. This was proved in 1929 by John von Neumann, assuming the axiom of choice.

Metadata

  • Slug: 00478-von-neumann-paradox
  • Type: PARADOX
  • Tags: set-theory, choice
  • Sources: 1
Back to Vault

Axioms

  • Assume the rules of the domain apply uniformly.
  • Assume the observer’s criteria remain fixed.
  • Assume classification boundaries stay consistent.
  • Assume the model describes the real case.
  • Assume repeated steps do not change the outcome.
  • Assume no hidden variables are introduced midstream.

Contradictions

  • Two reasonable lines of inference yield opposite conclusions
  • A global rule conflicts with a local judgment
  • A stable resolution appears to violate a starting premise
  • Changing the framing reverses the outcome
  • Intuition and formalism diverge at the same step

Prompts

  • Which assumption is doing the most hidden work?
  • What changes if you relax the smallest constraint?
  • Does the paradox dissolve or relocate when reframed?
  • What is conserved, and what is sacrificed?

Notes

Sources

Overview

In mathematics, the von Neumann paradox, named after John von Neumann, is the idea that one can break a planar figure such as the unit square into sets of points and subject each set to an area-preserving affine transformation such that the result is two planar figures of the same size as the original. This was proved in 1929 by John von Neumann, assuming the axiom of choice.

Tension

  • Two reasonable lines of inference yield opposite conclusions.
  • A global rule conflicts with a local judgment.
  • A stable resolution appears to violate a starting premise.
  • Changing the framing reverses the outcome.
  • Intuition and formalism diverge at the same step.

Why It Matters

This entry tests how a stable rule-set can yield unstable conclusions under certain assumptions.

Prompts

  • Which assumption is doing the most hidden work?
  • What changes if you relax the smallest constraint?
  • Does the paradox dissolve or relocate when reframed?
  • What is conserved, and what is sacrificed?