Skip to content
Back to the question

Evidence record

Why does mathematics describe the world?

Every sentence on the exploration belongs to at least one claim below. Each says what kind of statement it is, what it rests on, what the evidence does not establish, and how far it was checked. Nothing here is a score, and none of it is a verdict on a belief or a theory.

Last checked 24 September 2026.

  • A judgement, not a fact: 15
  • Source checked: 33
  • Presented as open: 2

If something here is wrong, misquoted, out of date or unfair, write to support@unknownoceans.com and give the claim number, which does not change.

What the question takes for granted

A question in the philosophy of mathematics and of science. That mathematics describes much of physics with great accuracy is documented; whether that is surprising, and what would explain it, are argued positions, and none has been settled by any test.

  • Mathematics describes much of physics with great accuracy

    Established

    Wigner’s examples are measured agreements between calculation and experiment, and his critics grant them. What they dispute is what follows.

  • The accuracy is surprising, and needs an explanation

    Contested

    Wigner and Hamming held that it does and found none. Others, among them Grattan-Guinness, argue that the effectiveness is reasonable to a large extent once the size of the mathematical repertoire is taken into account (claim 43).

  • Mathematical objects exist independently of us

    Contested

    This is mathematical platonism, which the reference literature describes as among the most hotly debated positions in the philosophy of mathematics. The page does not settle it.

How the question is labelled

Claim: The unreasonable fit

Kind
This page’s reading. A judgement the page makes from the evidence. Others read it differently.
Review
A judgement, not a fact. Reviewed for whether it is fairly put and follows from the checked claims. No source can confirm it.

The page’s title, borrowed from the word in Wigner’s.

Claim 1 · checked 24 September 2026 · AI-assisted audit

Claim: Mathematics

Kind
Framing. Signposting. It asserts nothing a source could check.

The question

Claim: Structures invented for their own sake keep turning out to be what physics needed decades later

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

Wigner’s observation, in the page’s voice. The examples in the opening are claims 8 to 10.

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencessection “What is mathematics?”

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: were so devised that they are apt subjects on which the mathematician can demonstrate his ingenuity and sense of formal beauty

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencessection “The role of mathematics in physical theories”

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: were developed, in many if not most cases, independently by the physicist and recognized then as having been conceived before by the mathematician

Other readings

Grattan-Guinness argues the pattern is reasonable to a large extent (claim 43), and Riemann built his geometry with physical space in mind (claim 12).

Claim 3 · checked 24 September 2026 · AI-assisted audit

Claim: and nobody has an accepted explanation for that.

Kind
Open question. Something the page says is not known.
Review
Presented as open. The page says this is unresolved, and the review found that it is.

  • Supports

    The Unreasonable Effectiveness of MathematicsConclusion

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: all of the explanations I have given when added together simply are not enough to explain what I set out to account for

  • Supports

    The Applicability of Mathematicsintroduction

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Reference work

    The source reads: Many agree that the problem of understanding the significant tie between mathematics and modern science is an interesting and significant challenge for the philosopher of mathematics.

What this does not establish

Explanations have been proposed, and some of their authors think they succeed (claims 42 and 43). None is accepted across the field.

Later work looked for

Crossref, 2015 on, “unreasonable effectiveness of mathematics”: historical and philosophical essays, none reporting an accepted resolution.

Claim 4 · checked 24 September 2026 · AI-assisted audit

Claim: Mathematics developed without reference to the physical world repeatedly turns out to describe it with extraordinary precision.

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

Wigner’s first main point, stated in the page’s voice.

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencesintroduction

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: mathematical concepts turn up in entirely unexpected connections. Moreover, they often permit an unexpectedly close and accurate description of the phenomena in these connections

Claim 5 · checked 24 September 2026 · AI-assisted audit

Claim: Eugene Wigner called this unreasonable in 1960 and offered no solution.

Kind
Historical claim. A statement about the past that historical evidence can test.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencesintroduction

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Primary text

    The source reads: the enormous usefulness of mathematics in the natural sciences is something bordering on the mysterious and that there is no rational explanation for it

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencessection “The role of mathematics in physical theories”

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Primary text

    The source reads: Einstein’s observation can at best explain properties of theories which we are willing to believe and has no reference to the intrinsic accuracy of the theory

    The nearest thing to an explanation he mentions, and he sets it aside.

  • Supports

    The Unreasonable Effectiveness of Mathematicssection “The Effectiveness of Mathematics”

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: attempting to do what I think Wigner evaded-to give at least some partial answers to the implied question of the title

Claim 6 · checked 24 September 2026 · AI-assisted audit

Claim: The proposed explanations since are philosophical positions rather than results.

Kind
This page’s reading. A judgement the page makes from the evidence. Others read it differently.
Review
A judgement, not a fact. Reviewed for whether it is fairly put and follows from the checked claims. No source can confirm it.

Follows from the survey of proposals in the reference literature and from claims 38 to 44.

  • Context

    The Applicability of Mathematicsintroduction

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Reference work

    The source reads: it is suggested that a piecemeal approach to understanding the applicability of mathematics is the most promising strategy for philosophers to pursue

Claim 7 · checked 24 September 2026 · AI-assisted audit

Claim: Riemann’s geometry of curved space was more than sixty years old when general relativity put it at its core.

Kind
Historical claim. A statement about the past that historical evidence can test.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    Nineteenth Century Geometrysection 5, The differential geometry of Riemann

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Reference work

    The source reads: delivered to the Faculty of Philosophy at Göttingen in 1854 and posthumously published in 1867, Bernhard Riemann

  • Supports

    Nineteenth Century Geometryend of section 3

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Reference work

    The source reads: the differential geometry of Riemann (§5), which Einstein (1915, 1916) placed at the core of his general theory of relativity

What this does not establish

From the 1854 lecture to 1915 is sixty-one years; from its publication in 1867, forty-eight.

Corrected

24 September 2026. Previously: “Non-Euclidean geometry was a curiosity for seventy years before general relativity needed it.” “Seventy years” matched no pair of dates, and general relativity rests on Riemann’s differential geometry rather than on the non-Euclidean geometry of Lobachevsky and Bolyai. Nor was either a curiosity: Lobachevsky tried to test his against the stars, and Riemann wrote with physical space in mind.

Claim 8 · checked 24 September 2026 · AI-assisted audit

Claim: Group theory began in nineteenth-century algebra and became the way particle physics sorts its particles.

Kind
Historical claim. A statement about the past that historical evidence can test.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    Symmetry and Symmetry Breakingsection 1

    Cited · Link answered, 19 October 2026 · The cited passage was read, 24 September 2026 · Reference work

    The source reads: the group-theoretic definition of symmetry, which arose following the nineteenth-century development of the algebraic concept of a group

  • Supports

    Symmetry and Symmetry Breakingsection 2.2

    Cited · Link answered, 19 October 2026 · The cited passage was read, 24 September 2026 · Reference work

    The source reads: of classifying elementary physical systems by studying the irreducible representations of the symmetry groups

  • Supports

    Symmetry and Symmetry Breakingsection on the status of symmetries

    Cited · Link answered, 19 October 2026 · The cited passage was read, 24 September 2026 · Reference work

    The source reads: the famous case of the 1962 prediction of the particle Omega-in the context of the hadronic classification scheme known as the “Eightfold Way”

What this does not establish

Group theory reached physics before particle physics: in crystallography, in nineteenth-century dynamics and in the quantum mechanics of the 1920s.

Corrected

24 September 2026. Previously: “Group theory was pure algebra before it became the language of particle physics.” The group concept was already being used in crystallography and dynamics in the nineteenth century, so it was not pure algebra until particle physics. The source supports its algebraic origin and its classifying role.

Claim 9 · checked 24 September 2026 · AI-assisted audit

Claim: Complex numbers were a device for solving problems about real numbers before quantum mechanics made them close to a necessity.

Kind
Historical claim. A statement about the past that historical evidence can test.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The Unreasonable Effectiveness of Mathematicssection “What is Mathematics?”, on Cardan and Cauchy

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: He found that by bending the path of integration into the complex plane he could solve real integration problems.

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencessection “The role of mathematics in physical theories”

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: the use of complex numbers is in this case not a calculational trick of applied mathematics but comes close to being a necessity in the formulation of the laws of quantum mechanics

What this does not establish

“Close to a necessity” is Wigner’s judgement of 1960, and he hedged it himself.

Later work looked for

Crossref, 2021 on, “real quantum theory complex numbers”: Renou and colleagues (Nature, 2021) showed real and complex quantum theory make different predictions in network experiments, which supports rather than changes the sentence; page left as corrected.

Corrected

24 September 2026. Previously: “Complex numbers were a computational trick before quantum mechanics made them structural.” Brought into line with the sources: Wigner says complex numbers come close to being a necessity in quantum mechanics, not that they became structural, and Hamming describes their earlier use in solving real problems.

Claim 10 · checked 24 September 2026 · AI-assisted audit

Claim: Each time, the mathematics was already there when the physics arrived.

Kind
This page’s reading. A judgement the page makes from the evidence. Others read it differently.
Review
A judgement, not a fact. Reviewed for whether it is fairly put and follows from the checked claims. No source can confirm it.

Follows from claims 8 to 10.

Corrected

24 September 2026. Previously: “Each time, a mathematician built something for internal reasons and a physicist found the world already using it.” Not true of the first example: Riemann proposed his geometry to prepare physicists for space turning out not to be Euclidean.

Claim 11 · checked 24 September 2026 · AI-assisted audit

Claim: Riemann, at least, was thinking about physical space when he built his.

Kind
Historical claim. A statement about the past that historical evidence can test.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    Nineteenth Century Geometrysection 5

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Reference work

    The source reads: To prepare physicists for this eventuality, Riemann proposed a more general conception of geometry.

Corrected

24 September 2026. Previously: “” Added with the correction recorded on claim 11.

Claim 12 · checked 24 September 2026 · AI-assisted audit

The observation

Claim: The observation

Kind
Framing. Signposting. It asserts nothing a source could check.

The observation, stated precisely

Claim: The observation, stated precisely

Kind
Framing. Signposting. It asserts nothing a source could check.

Claim: In a lecture at New York University in 1959, published the next year, Wigner rested the puzzle on two observations.

Kind
Historical claim. A statement about the past that historical evidence can test.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencesCrossref record, title

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Primary text

    The source reads: Richard courant lecture in mathematical sciences delivered at New York University, May 11, 1959

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencesend of the section “Is the success of physical theories truly surprising?”

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Primary text

    The source reads: should illustrate the appropriateness and accuracy of the mathematical formulation of the laws of nature in terms of concepts chosen for their manipulability

Corrected

24 September 2026. Previously: “Wigner set out the puzzle in two parts.” Wigner names two “main points” of his own, and the second is the uniqueness of physical theories, not accuracy. The two observations the page gives are the ones his puzzle rests on, which is what the sentence now says.

Claim 15 · checked 24 September 2026 · AI-assisted audit

Claim: Mathematical concepts are chosen for their amenability to clever manipulation, and nothing in experience suggests the advanced ones.

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencessection “The role of mathematics in physical theories”

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: for their amenability to clever manipulations and to striking, brilliant arguments

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencessection “What is mathematics?”

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: the same does not seem to be true of the more advanced concepts, in particular the concepts which play such an important role in physics

    Elementary concepts, he says, were suggested by the actual world; advanced ones were not.

Corrected

24 September 2026. Previously: “Mathematical concepts are chosen for their amenability to clever manipulation rather than for applicability.” Wigner contrasts manipulability with simplicity, not with applicability; what he says about the world is that it does not suggest the advanced concepts.

Claim 16 · checked 24 September 2026 · AI-assisted audit

Claim: And theories built on them predict quantities to accuracies far beyond the data they were constructed from.

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencessection “Is the success of physical theories truly surprising?”

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: the mathematical formulation of the physicist’s often crude experience leads in an uncanny number of cases to an amazingly accurate description of a large class of phenomena

Claim 17 · checked 24 September 2026 · AI-assisted audit

Claim: His cleanest example was Newton on gravitation.

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

“Cleanest” is the page’s word; Wigner puts it first.

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencessection “Is the success of physical theories truly surprising?”

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: the example of Newton’s law, quoted over and over again, must be mentioned first as a monumental example of a law

Claim 18 · checked 24 September 2026 · AI-assisted audit

Claim: Newton could check the law to about four per cent, and by 1960 it had held to less than a ten thousandth of a per cent.

Kind
Historical claim. A statement about the past that historical evidence can test.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencessection “Is the success of physical theories truly surprising?”

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Primary text

    The source reads: which he could verify with an accuracy of about 4% has proved to be accurate to less than a ten thousandth of a per cent

What this does not establish

Wigner’s figures, as of 1960. He notes that physicists had only recently begun again to ask where the law’s accuracy ends.

Corrected

24 September 2026. Previously: “and it has since held to less than a ten thousandth of a per cent.” The figure is Wigner’s, of 1960, and is now dated to him.

Claim 19 · checked 24 September 2026 · AI-assisted audit

Claim: He gave two more.

Kind
Historical claim. A statement about the past that historical evidence can test.
Review
Source checked. The cited passage was read, and it says this.

Claim 20 · checked 24 September 2026 · AI-assisted audit

Claim: Quantum mechanics got the lowest energy level of helium right to one part in ten million, the accuracy of the measurements, although the rules it was abstracted from cannot be applied to that atom at all.

Kind
Historical claim. A statement about the past that historical evidence can test.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencessection “Is the success of physical theories truly surprising?”, the helium example

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Primary text

    The source reads: Heisenberg’s rules cannot be applied to these cases. Nevertheless, the calculation of the lowest energy level of helium ... agrees with the experimental data within the accuracy of the observations, which is one part in ten million

What this does not establish

Wigner’s figure for calculations of 1959, limited by the measurements of the time rather than by the theory.

Later work looked for

Crossref, 2015 on, “helium ground state energy theory experiment”: nothing found that bears on a figure dated to 1959.

Corrected

24 September 2026. Previously: “Quantum mechanics gets the ground state of helium right to one part in ten million, from rules that do not formally apply to that atom at all.” It is Heisenberg’s rules, from which matrix mechanics was abstracted, that cannot be applied to helium; the calculation used the theory itself. The figure is dated to Wigner and said to be the limit of the measurements, as he says.

Claim 21 · checked 24 September 2026 · AI-assisted audit

Claim: And the theory of the Lamb shift, into which experiment fed little more than the fact that there was an effect to measure, agreed with measurement to better than one part in a thousand.

Kind
Historical claim. A statement about the past that historical evidence can test.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencessection “Is the success of physical theories truly surprising?”, the last example

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Primary text

    The source reads: is a purely mathematical theory and the only direct contribution of experiment was to show the existence of a measurable effect. The agreement with calculation is better than one part in a thousand.

What this does not establish

Wigner’s account of how the theory was built, and his figure as of 1960.

Claim 22 · checked 24 September 2026 · AI-assisted audit

It is not only that some mathematics is useful

Claim: It is not only that some mathematics is useful

Kind
This page’s reading. A judgement the page makes from the evidence. Others read it differently.
Review
A judgement, not a fact. Reviewed for whether it is fairly put and follows from the checked claims. No source can confirm it.

Heading for claims 24 to 27.

Claim 23 · checked 24 September 2026 · AI-assisted audit

Claim: A weak version of the puzzle dissolves easily: mathematics is a large enough body of structures that some of them are bound to fit, and physicists select the ones that do.

Kind
This page’s reading. A judgement the page makes from the evidence. Others read it differently.
Review
A judgement, not a fact. Reviewed for whether it is fairly put and follows from the checked claims. No source can confirm it.

The page’s own framing of an objection both authors state.

Claim 24 · checked 24 September 2026 · AI-assisted audit

Claim: The strong version does not dissolve that way, because the fits are predictive.

Kind
This page’s reading. A judgement the page makes from the evidence. Others read it differently.
Review
A judgement, not a fact. Reviewed for whether it is fairly put and follows from the checked claims. No source can confirm it.

Wigner’s reply to the selection objection, in the page’s voice.

Other readings

Grattan-Guinness argues that the effectiveness is reasonable to a large extent (claim 43).

Claim 25 · checked 24 September 2026 · AI-assisted audit

Claim: A theory chosen to match one set of measurements goes on to predict phenomena nobody had looked for

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

Hamming’s examples are Maxwell’s equations and Newton’s prediction of unknown planets.

  • Supports

    The Unreasonable Effectiveness of Mathematicssection “The Effectiveness of Mathematics”

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: Science is composed of laws which were originally based on a small, carefully selected set of observations, often not very accurately measured originally; but the laws have later been found to apply over much wider ranges of observations

  • Supports

    The Unreasonable Effectiveness of Mathematicssection “The Effectiveness of Mathematics”

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: in time the radio waves that the theory predicted were found by Hertz

Claim 26 · checked 24 September 2026 · AI-assisted audit

Claim: which selection cannot explain.

Kind
Disputed. A contested point, where the page reports a side or the disagreement.
Review
A judgement, not a fact. Reviewed for whether it is fairly put and follows from the checked claims. No source can confirm it.

The page takes Wigner’s side here.

  • Qualifies

    The Applicability of Mathematicssection 2

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Reference work

    The source reads: theory-building can be seen as reasonable to a large extent

Other readings

Hamming counts selection as a partial answer, and Grattan-Guinness argues that a large enough repertoire of mathematics makes much of the fit reasonable (claim 43).

Claim 27 · checked 24 September 2026 · AI-assisted audit

The reply from a mathematician

Claim: The reply from a mathematician

Kind
Framing. Signposting. It asserts nothing a source could check.

Claim: In 1980 Richard Hamming took up Wigner's puzzle, under four headings of his own.

Kind
Historical claim. A statement about the past that historical evidence can test.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The Unreasonable Effectiveness of Mathematicsprologue

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Primary text

    The source reads: The inspiration for this article came from the similarly entitled article

  • Supports

    The Unreasonable Effectiveness of Mathematicssection “Some Partial Explanations”

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Primary text

    The source reads: I will arrange my explanations of the unreasonable effectiveness of mathematics under four headings.

Claim 29 · checked 24 September 2026 · AI-assisted audit

Claim: We see what we look for, and more physical law than the textbooks allow turns out to follow from how we think rather than from what was measured.

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The Unreasonable Effectiveness of Mathematicsheading 1

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: 1. We see what we look for. ... I know that the textbooks often present the falling body law as an experimental observation; I am claiming that it is a logical law, a consequence of how we tend to think.

  • Supports

    The Unreasonable Effectiveness of Mathematicsheading 1

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: I am only suggesting that a surprising amount can be so deduced.

Corrected

24 September 2026. Previously: “more physical law than anyone admits” Hamming sets his claim against how textbooks present the laws, not against everyone.

Claim 30 · checked 24 September 2026 · AI-assisted audit

Claim: We select the kind of mathematics to use, and invent a new kind when the old one fails.

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The Unreasonable Effectiveness of Mathematicsheading 2

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: We select the kind of mathematics to use. Mathematics does not always work. When we found that scalars did not work for forces, we invented a new mathematics, vectors.

Claim 31 · checked 24 September 2026 · AI-assisted audit

Claim: Science in fact answers comparatively few of the questions people ask.

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The Unreasonable Effectiveness of Mathematicsheading 3

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: Science in fact answers comparatively few problems. We have the illusion that science has answers to most of our questions, but this is not so.

Claim 32 · checked 24 September 2026 · AI-assisted audit

Claim: And the evolution of man provided the model, selecting for minds that find this sort of regularity.

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The Unreasonable Effectiveness of Mathematicsheading 4

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: The evolution of man provided the model. ... Darwinian evolution would naturally select for survival those competing forms of life which had the best models of reality in their minds

What this does not establish

Hamming reports the selection claim from others, and thinks evolution explains only a small part of the puzzle.

Claim 33 · checked 24 September 2026 · AI-assisted audit

Claim: He judged all four inadequate to the size of the puzzle, and said so in his opening paragraphs as well as at the end.

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The Unreasonable Effectiveness of Mathematicsprologue

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: But when all my explanations are over, the residue is still so large as to leave the question essentially unanswered.

  • Supports

    The Unreasonable Effectiveness of MathematicsConclusion

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: all of the explanations I have given when added together simply are not enough to explain what I set out to account for

Claim 34 · checked 24 September 2026 · AI-assisted audit

Claim: The value of the paper is its honesty: partial answers, set out by someone who wanted a whole one and did not find it.

Kind
This page’s reading. A judgement the page makes from the evidence. Others read it differently.
Review
A judgement, not a fact. Reviewed for whether it is fairly put and follows from the checked claims. No source can confirm it.

The page’s judgement, following from claim 34.

  • Context

    The Unreasonable Effectiveness of Mathematicssection “The Effectiveness of Mathematics”

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026

    The source reads: to give at least some partial answers to the implied question of the title

Corrected

24 September 2026. Previously: “The value of the paper is that it is the honest inventory of the available answers, written by someone who wanted one and did not find it.” Hamming offers his own partial answers, not an inventory of the answers available; the reference literature records others (claims 42 and 43).

Claim 35 · checked 24 September 2026 · AI-assisted audit

The proposals

Claim: The proposals

Kind
Framing. Signposting. It asserts nothing a source could check.

The candidate explanations

Claim: The candidate explanations

Kind
Framing. Signposting. It asserts nothing a source could check.

Claim: That mathematics is discovered rather than invented, and the fit reflects the world being mathematical in its structure.

Kind
Hypothesis. A proposed explanation, not an established one.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    Platonism in the Philosophy of Mathematicsopening paragraph

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Reference work

    The source reads: Mathematical truths are therefore discovered, not invented.

  • Supports

    The Mathematical Universesection II.E

    Cited · Link answered, 19 October 2026 · The cited passage was read, 24 September 2026 · Argument

    The source reads: It explains the utility of mathematics for describing the physical world as a natural consequence of the fact that the latter is a mathematical structure

What this does not establish

Platonism alone says mathematical objects exist independently of us; the step to the world being mathematical is a further one, which Tegmark takes.

Claim 38 · checked 24 September 2026 · AI-assisted audit

Claim: That mathematics is invented but shaped by minds evolved in this world, so its abstractions inherit its regularities.

Kind
Hypothesis. A proposed explanation, not an established one.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The Unreasonable Effectiveness of Mathematicsheading 4

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: Darwinian evolution would naturally select for survival those competing forms of life which had the best models of reality in their minds

What this does not establish

Hamming himself doubted it could explain more than a small part, given how few generations science has had.

Claim 39 · checked 24 September 2026 · AI-assisted audit

Claim: That the puzzle is a selection effect operating on which parts of mathematics we notice and on which parts of the world we can describe at all.

Kind
Hypothesis. A proposed explanation, not an established one.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The Unreasonable Effectiveness of Mathematicsheadings 2 and 3

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: we select the mathematics to fit the situation, and it is simply not true that the same mathematics works every place

  • Supports

    The Unreasonable Effectiveness of Mathematicsheading 3

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: When you consider how much science has not answered then you see that our successes are not so impressive as they might otherwise appear.

What this does not establish

Hamming offered it as part of an answer and judged it not enough (claim 34).

Claim 40 · checked 24 September 2026 · AI-assisted audit

Claim: Each has serious defenders.

Kind
What scholars argue. A report of what specialists argue, or where they disagree.
Review
Source checked. The cited passage was read, and it says this.

Platonism is argued over in the reference literature; Hamming defends the other two as partial answers.

  • Supports

    Platonism in the Philosophy of Mathematicsopening paragraphs

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Reference work

    The source reads: Mathematical platonism has been among the most hotly debated topics in the philosophy of mathematics over the past few decades.

  • Supports

    The Unreasonable Effectiveness of Mathematicsheading 4

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: There is no doubt that there is some truth in this.

Claim 41 · checked 24 September 2026 · AI-assisted audit

Claim: Max Tegmark holds the first in its strongest form, that the physical world is a mathematical structure, and says it makes testable predictions.

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The Mathematical Universeabstract

    Cited · Link answered, 19 October 2026 · The cited passage was read, 24 September 2026 · Argument

    The source reads: it implies the Mathematical Universe Hypothesis (MUH) that our physical world is an abstract mathematical structure

  • Supports

    The Mathematical Universeintroduction

    Cited · Link answered, 19 October 2026 · The cited passage was read, 24 September 2026 · Argument

    The source reads: I will push this idea to its extreme

  • Supports

    The Mathematical Universesection II.E

    Cited · Link answered, 19 October 2026 · The cited passage was read, 24 September 2026 · Argument

    The source reads: The MUH makes the testable prediction that further mathematical regularities remain to be uncovered

What this does not establish

The predictions are his. The first is that more mathematical regularity will be found; the second, that a multiverse of all mathematical structures exists, needs a solution to the measure problem before it can be tested.

Corrected

24 September 2026. Previously: “” The page said none of the explanations had a way of being tested. Tegmark, who proposes the strongest version of the first, says his makes testable predictions; the page now reports his claim.

Claim 42 · checked 24 September 2026 · AI-assisted audit

Claim: Others question how unreasonable the fit really is: Ivor Grattan-Guinness argued that, with a wide and growing repertoire of mathematics, theory-building “can be seen as reasonable to a large extent”.

Kind
What scholars argue. A report of what specialists argue, or where they disagree.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The Applicability of Mathematicssection 2, Formulation and Discovery

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Reference work

    The source reads: Some agree with Wigner that mathematics has been effective in science, but question the degree to which this effectiveness has been unreasonable. For example, Ivor Grattan-Guinness

  • Supports

    The Applicability of Mathematicssection 2, quoting Grattan-Guinness 2008, p. 15

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Reference work

    The source reads: With a wide and ever-widening repertoire of mathematical theories and an impressive tableau of ubiquitous topics and notions, theory-building can be seen as reasonable to a large extent

What this does not establish

Grattan-Guinness’s paper (Mathematical Intelligencer, 2008) was not read; the quotation is taken from the IEP article, which cites its page.

Corrected

24 September 2026. Previously: “” The page reported only views that accept the puzzle. The reference literature records a line of work that disputes how unreasonable the effectiveness is, and it is now named.

Claim 43 · checked 24 September 2026 · AI-assisted audit

Claim: No test has settled any of it, which is why this sits where it does rather than in physics.

Kind
This page’s reading. A judgement the page makes from the evidence. Others read it differently.
Review
A judgement, not a fact. Reviewed for whether it is fairly put and follows from the checked claims. No source can confirm it.

Follows from claims 4, 41 to 43: the proposals remain argued positions.

  • Context

    The Applicability of Mathematicsintroduction

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026

    The source reads: This article suggests some potential solutions to these problems.

Corrected

24 September 2026. Previously: “None has a way of being tested, which is why this sits where it does rather than in physics.” Tegmark says his version makes testable predictions, so “none has a way of being tested” was contradicted by one of the proposals’ own authors. That none has been settled by a test is what the sources support.

Claim 44 · checked 24 September 2026 · AI-assisted audit

Where the fit fails

Claim: Where the fit fails

Kind
This page’s reading. A judgement the page makes from the evidence. Others read it differently.
Review
A judgement, not a fact. Reviewed for whether it is fairly put and follows from the checked claims. No source can confirm it.

Heading for claims 46 to 51.

Claim 45 · checked 24 September 2026 · AI-assisted audit

Claim: Mathematics describes physics extraordinarily well and most other things poorly.

Kind
This page’s reading. A judgement the page makes from the evidence. Others read it differently.
Review
A judgement, not a fact. Reviewed for whether it is fairly put and follows from the checked claims. No source can confirm it.

The page’s summary of the point Wigner and Hamming both make (claims 47 to 51).

  • Context

    The Unreasonable Effectiveness of Mathematicsheading 3

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026

    The source reads: almost all of our experiences in this world do not fall under the domain of science or mathematics

Claim 46 · checked 24 September 2026 · AI-assisted audit

Claim: Wigner said so himself.

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

Claim 47 · checked 24 September 2026 · AI-assisted audit

Claim: The laws he was admiring are of almost fantastic accuracy and strictly limited scope, and the regularity behind them applies to a very small part of what we know even of the inanimate world.

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

Corrected

24 September 2026. Previously: “and the regularity behind them covers a very small part of even the inanimate world.” Wigner says a small part of our knowledge of the inanimate world, not a small part of that world.

Claim 48 · checked 24 September 2026 · AI-assisted audit

Claim: He noted that the laws of heredity and of physics had, at present, nothing in common, and believed that something close to a conflict between them already existed.

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencessection “The uniqueness of the theories of physics”

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: it is possible that there always will be some laws of nature which have nothing in common with each other. At present, this is true, for instance, of the laws of heredity and of physics.

  • Supports

    The unreasonable effectiveness of mathematics in the natural sciencessection “The uniqueness of the theories of physics”, last paragraph but one

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: an abstract argument can be found which shows that there is a conflict between such a theory and the accepted principles of physics. ... this writer’s belief that something rather akin to the situation which was described above exists if the present laws of heredity and of physics are confronted

Corrected

24 September 2026. Previously: “He expected the laws of heredity and the laws of physics to stay unrelated, and thought they might turn out to conflict.” Wigner did not expect them to stay unrelated; he said they were unrelated at present, and went further than a possible conflict, saying he believed something akin to one already existed.

Claim 49 · checked 24 September 2026 · AI-assisted audit

Claim: That is evidence about which parts of the world are simple rather than about mathematics.

Kind
This page’s reading. A judgement the page makes from the evidence. Others read it differently.
Review
A judgement, not a fact. Reviewed for whether it is fairly put and follows from the checked claims. No source can confirm it.

The page’s reading of claims 46 to 49.

Claim 50 · checked 24 September 2026 · AI-assisted audit

Claim: Hamming made the same point in the third of his four headings.

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    The Unreasonable Effectiveness of MathematicsSome Partial Explanations, opening and heading 3

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Argument

    The source reads: I will arrange my explanations of the unreasonable effectiveness of mathematics under four headings. ... 3. Science in fact answers comparatively few problems.

Corrected

24 September 2026. Previously: “Hamming made the same point one of his four headings: science in fact answers comparatively few of the questions people ask.” The heading was already given word for word two passages earlier (claim 32).

24 September 2026. Previously: “Hamming made the same point the third of his four headings.” Integrity pass: a missing word; the count and the heading were checked and hold.

Claim 51 · checked 24 September 2026 · AI-assisted audit

The underlying question

Claim: The underlying question

Kind
Framing. Signposting. It asserts nothing a source could check.

Claim: A theory fitted to crude measurements, predicting decimal places nobody had asked for.

Kind
This page’s reading. A judgement the page makes from the evidence. Others read it differently.
Review
A judgement, not a fact. Reviewed for whether it is fairly put and follows from the checked claims. No source can confirm it.

A one-line image of Wigner’s Newton example (claim 19).

Claim 53 · checked 24 September 2026 · AI-assisted audit

Whether mathematics exists

Claim: Whether mathematics exists

Kind
Framing. Signposting. It asserts nothing a source could check.

Claim: The question of whether mathematical objects are real, in any sense other than being consistently describable, is genuinely unresolved

Kind
Open question. Something the page says is not known.
Review
Presented as open. The page says this is unresolved, and the review found that it is.

  • Supports

    Platonism in the Philosophy of Mathematicsopening paragraphs

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Reference work

    The source reads: Mathematical platonism has been among the most hotly debated topics in the philosophy of mathematics over the past few decades.

Claim 55 · checked 24 September 2026 · AI-assisted audit

Claim: and probably not empirical.

Kind
Disputed. A contested point, where the page reports a side or the disagreement.
Review
A judgement, not a fact. Reviewed for whether it is fairly put and follows from the checked claims. No source can confirm it.

The page’s own judgement, and it reports the argument against it in the next sentence.

  • Qualifies

    Platonism in the Philosophy of Mathematicssection 1.1

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Reference work

    The source reads: the so-called indispensability argument, which seeks to give a broadly empirical defense of mathematical platonism

Other readings

Quine and those who follow the indispensability argument hold that empirical science itself bears on the question (claim 57).

Claim 56 · checked 24 September 2026 · AI-assisted audit

Claim: One line of argument, from Quine and Putnam, disputes even that: if our best physical theories cannot be stated without quantifying over numbers, then believing those theories commits you to numbers.

Kind
An argument. An argument a named thinker makes. That it is made is checked; whether it succeeds is argued.
Review
Source checked. The cited passage was read, and it says this.

  • Supports

    Platonism in the Philosophy of Mathematicssection 2.3

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Reference work

    The source reads: The Quine-Putnam indispensability argument provides an example. First it is argued that any indispensable part of empirical science is likely to be true and therefore something we are justified in believing. Then it is argued that large amounts of mathematics are indispensable to empirical science.

  • Supports

    Platonism in the Philosophy of Mathematicssection 2.4

    Cited · Link answered, 19 October 2026 · Read in full, 24 September 2026 · Reference work

    The source reads: ontologically committed to such objects as must be assumed to be in the range of the variables for the sentence (or collection of sentences) to be true

    Quine’s criterion, which is what “quantifying over” refers to.

What this does not establish

Whether the argument succeeds is itself contested.

Corrected

24 September 2026. Previously: “One line of argument disputes even that:” An argument is attributed to the thinkers who made it.

Claim 57 · checked 24 September 2026 · AI-assisted audit

Claim: It matters here because the boldest explanation of the fit, that the world is mathematical, requires mathematics to be the kind of thing a world could be made of.

Kind
This page’s reading. A judgement the page makes from the evidence. Others read it differently.
Review
A judgement, not a fact. Reviewed for whether it is fairly put and follows from the checked claims. No source can confirm it.

Follows from claims 38 and 42.

  • Context

    The Mathematical Universesection II.E

    Cited · Link answered, 19 October 2026 · The cited passage was read, 24 September 2026

    The source reads: the physical world really is completely mathematical

Corrected

24 September 2026. Previously: “the strongest explanation of the fit” “Strongest” ranked the explanations, which no source does; “boldest” says only that it claims the most, which its author says himself.

Claim 58 · checked 24 September 2026 · AI-assisted audit

What was read

  • The unreasonable effectiveness of mathematics in the natural sciencesWigner, Communications on Pure and Applied Mathematics · Transcription of the paper at math.dartmouth.edu/~matc/MathDrama/reading/Wigner.html, read in full; the lecture’s place and date from the Crossref record for 10.1002/cpa.3160130102Read in full, 24 September 2026 · Copyright; quoted brieflyThe transcription drops some dashes, which the saved copy leaves as found; excerpts avoid those runs. Wiley’s typeset pages were not read.
  • The Unreasonable Effectiveness of MathematicsHamming, The American Mathematical Monthly · Transcription by Larry Frazier, with Hamming’s permission, at math.dartmouth.edu/~matc/MathDrama/reading/Hamming.html, read in fullRead in full, 24 September 2026 · Copyright; quoted brieflyJSTOR’s scan was not read.
  • Platonism in the Philosophy of MathematicsØystein Linnebo, Stanford Encyclopedia of Philosophy · Stanford Encyclopedia of Philosophy, revision of 28 March 2023Read in full, 24 September 2026 · Copyright; quoted briefly
  • The Mathematical UniverseTegmark, Foundations of Physics (arXiv:0704.0646) · arXiv:0704.0646v2, matched to the Foundations of Physics version; abstract, introduction, section II.E and the conclusion readThe cited passage was read, 24 September 2026 · Copyright; quoted briefly
  • The Applicability of MathematicsChristopher Pincock, Internet Encyclopedia of Philosophy · Internet Encyclopedia of Philosophy, article by Christopher PincockRead in full, 24 September 2026 · Copyright; quoted brieflyThe article reports Grattan-Guinness (2008) and Steiner (1998); neither was read directly.
  • Nineteenth Century GeometryRoberto Torretti, Stanford Encyclopedia of Philosophy · Stanford Encyclopedia of Philosophy, revision of 20 October 2016Read in full, 24 September 2026 · Copyright; quoted briefly
  • Symmetry and Symmetry BreakingBrading, Castellani and Teh, Stanford Encyclopedia of Philosophy · Stanford Encyclopedia of Philosophy, revision of 1 August 2023; sections 1 and 2 and the section on the status of symmetries readThe cited passage was read, 24 September 2026 · Copyright; quoted briefly