Comment by wyager

> He described it at 'strip mining'

Strip mining what, platonic reality? Mathematicians don't have a monopoly on mathematical truth. It doesn't exist for their benefit.