Login
From:
Mathematics without Apologies, by Michael Harris
(Uncensored)
subscribe
The Central Dogma of Mathematical Formalism | Mathematics without Apologies, by Michael Harris
https://mathematicswithoutapologies.wordpress.com/2022/01/19/the-central-dogma-of-mathematical-formalism/
links
backlinks
Roast topics
Find topics
Find it!
For mathematical formalists, a proof is a sequence of valid formulas in a symbolic language, each obtained from the previous one (more likely the conjunction of several) by a legal transformation (…
