Mathematics Is Physical

Biao Wu

2023-06-07

Abstract:The world of mathematics is often considered abstract, with its symbols, concepts, and topics appearing unrelated to physical objects. However, it is important to recognize that the development of mathematics is fundamentally influenced by a basic fact: mathematicians and computers are physical objects subject to the laws of physics. Through an analysis of the Turing machine, it becomes evident that Turing and his contemporaries overlooked a physical possibility: information carriers can be quantum systems. As a result, computing models like the Turing machine can only process classical information, limiting their computing power. Gödel's incompleteness theorem highlights the basic fact that mathematicians and computers are made up of finite numbers of atoms and molecules. They can only start with a finite number of axioms, use a finite number of symbols and deduction rules, and arrive at theorems with a finite number of steps. While the number of proofs may be infinite after including all future mathematicians and computers, they must still be enumerable. In contrast, the number of mathematical statements is uncountable, meaning that there will always be mathematical statements that cannot be proved true or false. Just as Landauer claimed that information is physical, mathematics is also physical, limited or empowered by the physical entities that carry it out or embody it.

General Physics

What problem does this paper attempt to address?

The paper attempts to explore the profound connection between mathematics and the physical world and addresses the following issues:

1. **The Nature of Mathematics**: Mathematics is often considered abstract, with its symbols, concepts, and themes seemingly unrelated to physical objects. However, the paper points out that the development of mathematics is influenced by a fundamental fact: both mathematicians and computers are physical objects constrained by physical laws.

2. **Limitations of the Turing Machine**: By analyzing the Turing machine, the paper notes that Turing and his contemporaries overlooked a physical possibility, namely that information carriers can be quantum systems. Therefore, computational models like the Turing machine can only handle classical information, which limits their computational capabilities.

3. **Gödel's Incompleteness Theorems**: Gödel's incompleteness theorems reveal a fundamental fact that mathematicians and computers, composed of a finite number of atoms and molecules, can only derive theorems from a finite number of axioms using a finite number of symbols and reasoning rules within a finite number of steps. Although the number of proofs may be infinite, the number of mathematical propositions is uncountable, meaning there will always be some mathematical propositions that cannot be proven true or false.

4. **The Physical Nature of Information**: The paper cites Landauer's view that information is physical and further proposes that mathematics is also physical, being constrained or empowered by the physical entities that execute or embody it.

5. **Quantum Information and Computation**: The paper discusses how the discovery of quantum information has greatly expanded the scope and capabilities of mathematics and computation. Quantum information differs from classical information in that it cannot be obtained through a single measurement and cannot be cloned. Quantum computers exhibit greater computational power than classical computers when processing quantum information.

6. **Interaction Between Mathematics and Physics**: The paper emphasizes that physics can not only constrain mathematics but also catalyze its progress. For example, the emergence of quantum computers demonstrates how physical insights can empower computation and mathematics.

In summary, the paper attempts to explore the intrinsic connection between mathematics and the physical world by analyzing the Turing machine and Gödel's incompleteness theorems, and it points out that this connection is of significant importance to the development of mathematics and computation.