This paper advances the hypothesis that human mathematical reasoning, constrained by undecidability and computational intractability, fundamentally relies on pattern matching from domains external to pure deduction. The natural world serves as the richest reservoir of such patterns, where physical laws and biological systems have undergone billions of years of 'pre-computation' and exhibit surprisingly innovative solutions.
To ground this claim, we trace the history of the Fourier transform and relevant mathematics, from the vibrating string controversy to the heat equation and subsequent mathematical formalism. At each critical juncture, a physics problem necessitated the acceptance or creation of a mathematical tool that pure formal reasoning failed to anticipate or that human reasoning resisted.
We also survey the landscape of logical complexity, from NP-hard propositional satisfiability to non-elementary decision procedures for monadic second-order theories, demonstrating that even when a logic is decidable, the resources required for worst-case deduction are astronomically prohibitive. We argue that these barriers render physics-inspired pattern matching not just a historical accident but a cognitive necessity.
Finally, we draw consequences for artificial intelligence: if pure reasoning is fundamentally insufficient, then any system aiming for human-level mathematical creativity must embed a vast store of cross-domain patterns rather than rely solely on deduction. This provides a principled justification for the enormous scale of contemporary large language models.
Blogger's Review: This article profoundly explores the roots of mathematical innovation, emphasizing the significance of insights from nature. Its implications for artificial intelligence are crucial, highlighting the limitations of reliance on reasoning alone and fostering thoughts on the integration of cross-domain knowledge. The relationship between scientific problems and the evolution of mathematical tools showcases the intricate connection between science and mathematics.