The utopian situation in mathematics would be that the statement and the proof of every result would live "in the same world", at the same level of mathematical complexity (in a broad sense), unless there were a good conceptual reason for the contrary. The typical situation would be for a proof in finite combinatorics to be proven purely within the realm of finite combinatorics, a statement about integers to be proven using only the rationals (perhaps together with some formal symbols such as $\sqrt {2}$ and $\sqrt{-1}$), and so on. When the typical situation breaks down, the reason would be well-known and celebrated.

The prototypical field where things don't seem to work this way is Number Theory. Kronecker famously stated that "God invented the integers; all else is the work of man."; and yet, the real numbers (often in the guise of complex analysis) are ubiquitous all over Number Theory.

I am sure that this question is hopelessly naïve and standard but:

- What is the high-concept explanation for why real numbers are useful in number theory?
- What is the "minimal example" of a statement in number theory, for whose "best possible" proof the introduction of real numbers is obviously useful?

An alternative way of framing the question would be to ask how you would refute the following hypothetical argument:

"We know that calculus works well, so we are tempted to apply it to anything and everything. But perhaps it is in fact the wrong tool for Number Theory. Perhaps there exists a rational-number-based approach to Number Theory waiting to be discovered, whose discoverer will win a Fields Medal, which will replace all the analytic tools in Number Theory with dicrete tools."

(This question is a byproduct of a discussion we had today at Dror Bar-Natan's LazyKnots seminar.)

**Update**: (REWRITTEN) There has been some discussion in the comments concerning whether proofs and statements living in the same realm is "utopian". The philosophical idea underlying this question is that, in my opinion, part of mathematics is to understand proofs, including understanding which tools are optimal for a proof and why. If the proof is a formal manipulation of definitions used in the statement of the claim (e.g. proof of the snake lemma), then there is nothing to explain. If, on the other hand, the proof makes essential use of concepts from beyond the realm of the statement of the theorem (e.g. a proof of a statement about integers which uses real numbers, or proof of Poincare Duality for simplicial complexes which uses CW complexes) then we ought to understand why. Is there no other way to prove it?Why? Would another way to prove it necessarily be move clumsy? Why? Or is it just an accident of history, the first thing the prover thought of, with no claim of being an "optimally tooled proof" in any sense? For one think, if a proof of a result involving integers essentially uses properties of the real numbers (or complex numbers), such a proof would not work in a formal somehow analogous setting where there are no real numbers, such as knots as analogues for primes. For another, by understanding why the tool of the proof is optimal, we're learning something really fundamental about integers.

I'm interested not in "what would be the fastest way to find a first proof", but rather in "what would be the most intuitive way to understand a mathematical phenomenon in hindsight". So one thing that would make me happy would be a result for integers which is "obviously" a projection or restriction of some easy fact for real numbers, and is readily understood that way, but remains mysterious if real numbers/ complex analysis aren't introduced.

12more comments