3 ms·
Some mathematicians are afraid of being censored or only becoming mechanics. "What some people like to call the progress of mathematics has always consisted in
by hackandthink 3y ago
Some mathematicians are afraid of being censored or only becoming mechanics.
"What some people like to call the progress of mathematics has always consisted in the subversion of paradigms. Pierre Deligne made this point in a lecture on Voevodsky’s univalent foundations: he said it reminds him of Orwell’s Newspeak, where the ideal was to have a language where it is impossible to express heretical thoughts."
https://siliconreckoner.substack.com/p/the-central-dogma-of-mathematical https://siliconreckoner.substack.com/p/the-central-dogma-of-...
- noqc 3y agoDeligne probably invoked the language of set theory without thinking that it restrained him too much. Mathematicians seem to be terrible philosophers.