Quote #219,956
“One can think of any given axiom system as being like a computer with a certain …” — Terence Tao
One can think of any given axiom system as being like a computer with a certain limited amount of memory or processing power. One could switch to a computer with even more storage, but no matter how large an amount of storage space the computer has, there will still exist some tasks that are beyond its ability.
check_circle
Copied to clipboard!
More from Terence Tao
View AllMath education has changed over the years. In the 19th century, they taught spherical trigonometry because one of the biggest applications of mathematics was navigating the ocean. This is no longer so relevant.— Terence Tao