RSS

Axiom

TagLast edit: 31 Mar 2024 14:27 UTC by niplav

Axioms (together with definitions) forms the basis of mathematical theorems. Every mathematical theorem is only proven inside its axiom system.

All mathematics is a sort of if—then language, only true inside the appropriate axiom system.

And there are different sets of axiom systems: Euclidean plane geometry, the Zermelo-Fraenkel axioms for set theory, Kolmogorov’s axioms for probability theory and so on.

The seemingly “absolute truth” of mathematics is an illusion. Playing with “mathematical certainties” outside their field can end in more and more and more illusory certainties.

A di­a­log with the ax­iom of choice

AxiomWriter30 Mar 2024 7:47 UTC
−2 points
0 comments6 min readLW link

the un­der­es­ti­ma­tion of cir­cu­lar thinking

AxiomWriter30 Mar 2024 9:45 UTC
1 point
0 comments2 min readLW link
No comments.