What is the point of Computers? A question for Pure Mathematicians

Interesting article.

Mathematical foundations are needed that are much more suitable to modern Computer Science than using "universes".

For an example see the following article:

https://papers.ssrn.com/abstract=3603021

Also, see the following video:

https://www.youtube.com/watch?v=AJP1VL7shiI

found thanks to a tweet by Steven Strogatz: https://twitter.com/stevenstrogatz/status/147877288671019418...

> A companion paper for Kevin Buzzard’s (@XenaProject) upcoming talk at the International Congress of mathematicians

>What is the point of Computers?

Their purpose is to calculate for us so we don't have to do it manually.