The Palindrome

The Palindrome

Share this post

The Palindrome
The Palindrome
Min-Max Math, ep. 02: Definitions, theorems, proofs
Copy link
Facebook
Email
Notes
More

Min-Max Math, ep. 02: Definitions, theorems, proofs

The scientific method versus mathematical thinking

Tivadar Danka's avatar
Tivadar Danka
Jun 27, 2023
∙ Paid
11

Share this post

The Palindrome
The Palindrome
Min-Max Math, ep. 02: Definitions, theorems, proofs
Copy link
Facebook
Email
Notes
More
3
3
Share

What we’ve seen in the previous lesson is mathematics at a high level.

To be able to communicate mathematical concepts and results, we need to move beyond the ad hoc descriptions such as “a set is a collection of things”. (As we’ll see, this particular description of a set goes horribly wrong really fast.)

For this purpose, mathematics is recorded in a definition-theorem-proof structure. In this chapter, we’ll learn about this. This is essential to understand; otherwise, you won’t be able to read and write about math.

Consider the previously introduced notion of graphs. We described them as “nodes and their connections”, but this is not a precise definition.

Why? Take a look at these two graphs.

Isomorphic graphs
Are these graphs different?

Are these two graphs really different? No. They are two different representations of the same graph. Check out the following figure, where I numbered the nodes to help you match the two representations.

Isomorphic graphs
These graphs are the same

Yet, this is not obvious from the “definition” nodes and their connections.

The reason why graphs as nodes and connections are imprecise is that we haven’t told what nodes and connections exactly are. (Don’t worry about this just yet, we’ll talk about graphs later in great detail.) The point is, mathematical definitions (and theorems) are arranged in a hierarchy, building on top of each other. To illustrate the definition-theorem-proof structure, let’s put graphs aside for a while, and talk about something much simpler: numbers.

The Palindrome is a reader-supported publication. To receive new posts and support my work, consider becoming a free or paid subscriber.

Definitions...

Without further ado, here's our first definition.

Keep reading with a 7-day free trial

Subscribe to The Palindrome to keep reading this post and get 7 days of free access to the full post archives.

Already a paid subscriber? Sign in
© 2025 Tivadar Danka
Privacy ∙ Terms ∙ Collection notice
Start writingGet the app
Substack is the home for great culture

Share

Copy link
Facebook
Email
Notes
More