Why does math exist? | Stephen Wolfram and Lex Fridman

TL;DR

Mathematics exists because given a definition of terms, the implications of that definition are inevitable. It is not like concrete objects, but rather a formally constructible system that can be imagined.

Transcript

it's like why does math have to exist okay that's the best question yeah okay fair question um let's see i think the thing to think about is the existence of mathematics is something where given a definition of terms what follows from that definition inevitably follows so now you can say why define any terms but in a sense the well that that's okay... Read More

Key Insights

• 👷 Mathematics exists as a result of the consequences that follow from defining terms and constructing formal systems.
• ❓ The existence of mathematics is different from the existence of concrete objects.
• ⁉️ Computation can be imagined as a formally constructible system, and the question arises whether being embedded in such a system is sufficient to create a universe.
• ⁉️ The foundations of mathematics have been a subject of debate, with questions about whether it has inherent truth or arbitrariness in its axioms.
• 👾 Mathematicians perceive mathematics to have integrity and lack of undecidability due to their computational boundedness and their choice of reference frame in meta-mathematical space.
• 👾 Mathematics shows parallels with physical space, such as time dilation and the possibility of fractional dimensions.
• 👾 The structure of meta-mathematical space is complex and includes higher categories and paths between statements and proofs.

Questions & Answers

Q: Why does mathematics exist?

Mathematics exists because, given a definition of terms, the consequences that follow from that definition are inevitable. Mathematics is a formally constructible system that can be imagined.

Q: How is the existence of mathematics different from concrete objects?

Concrete objects, like elephants, exist as a result of biological evolution and other factors. Mathematics, on the other hand, is not a concrete object but rather a fundamental and basic system that is more like a formal construct.

Q: Can we imagine a world without mathematics or similar formal systems?

It is possible to imagine a world without formal systems like mathematics, but the question then becomes whether we, as observers embedded in such a system, can perceive and reason about the world in the same way.

Q: Is it possible to encode all possible formal systems within mathematics?

The possibility of encoding all possible formal systems within mathematics is related to the hyper rouliad, which represents all possible formal systems. It is a complex and philosophical question that explores the limits and representation of formal systems within mathematics.

Summary & Key Takeaways

• Mathematics exists as a result of the inevitable consequences of defining terms and constructing formal systems.

• The existence of mathematics is different from the existence of concrete objects like elephants.

• Computation, as a formally constructible system, can be imagined, and the question is whether being embedded in that system is enough to create a universe.