May 2025
Intermediate to advanced
730 pages
20h 14m
English
We’ve come a long way from the start: we’ve studied propositions, logical connectives, predicates, quantifiers, and all the formal logic. This was to be able to talk about mathematics. However, ultimately, we want to do mathematics.
As the only exact science, mathematics is built on top of definitions, theorems, and proofs. We precisely define objects, formulate conjectures about them, then prove those with mathematically correct arguments. You can think of mathematics as a colossal building made of propositions, implications, and modus ponens. If one theorem fails, all others that build upon it fail too.
In other fields of science, the modus operandi is to hypothesize, experiment, and validate. However, ...
Read now
Unlock full access