Comment by sajidu

Some quotes:

"and I believe that mathematicians who continue to do pure human, pencil-and-paper, computer-less, research, are wasting their time."

"The axiomatic method is not even the most efficient way to prove theorems in Euclidean Geometry."

The author is disagreeing with math as practiced by most mathematicians: proof using only pencil, paper and coffee.

BTW, formalism is only a fairy tale mathematicians tell their children when putting them to bed at night. In our hearts, we're all closet platonists.