The article reads like work of a crackpot. There’s a reason why maths is done the way it is, and intimidating people is definitely not the motivation.

Bret Victor is awesome. I especially like his “Inventing on Principle” talk and his “Up and Down the Ladder of Abstraction” article.

https://vimeo.com/906418692

https://worrydream.com/LadderOfAbstraction/