/sci/ - Science & Math

>>15184239
If you have a doubt, prove it using a computer.

>>15107126
Halt! State your favorite axiomatic system or get lost!

>>12690618
Topos theory is a thing of the past, comrade. It's the retarded cousin of type theory designed by people that were worshiping Set as if it were the right place to do maths.

>>12569201
Be at the right place at the right time.

>>12469529
>Vive la Revolution Finitiste!
You're a thing of the past, comrade. Vive la révolution du Calcul des Constructions Inductives!

>>12431464
It's a belief grounded in German logic from the 30's of the last century. There is a thing called "computer science" that happened since, and discoveries like the Curry-Howard correspondence provide serious evidence against platonism.

Let me highlight that platonism is not a scientific claim anyways, so it cannot be refuted, neither through experiments nor through pure reasoning, so it's essentially an epistemological rambling that should be discussed only after a certain number of beers.

>>12330309
Base 0.99999, or base [math]\hat{\infty}[/math]. By classical reasoning, either it's the best, or it isn't, and all your base are belong to us.