An open-ended inquiry / Vol. 01
MATHEMATICAL
WORLDS.
An experimental laboratory for
the philosophy of mathematics.
Make something. Compare it. Change the rules.
Find the questions inside the mathematics.
01 / EXISTENCE∛2
What does it mean for a mathematical object to exist?
Explore ↗02 / IDENTITY≅
When are two mathematical objects really the same?
Explore ↗03 / TRUTH⊢
Which assumptions make a statement true or provable?
Enter a world ↗Featured experiments
Begin with a questionA number you cannot draw
Is ∛2 constructible?↗02Different names, the same structure
Are C₄ and ℤ/4ℤ the same object?↗03A world without Choice
What changes when an axiom is withheld?↗First, an object.
Then, a calculation.
Then, a question.
Mathematical evidence and philosophical interpretation have different jobs here.Read our method ↗