Asteroid mining can be done near Earth and is vastly easier than mining asteroids near Mars, then using them to bombard the planet in sufficient quantities, then wait for the millenia it takes for the environment to settle. And all of this so we can live in non-native environment that may not prove completely disastrous (but will likely be). This is specially hilarious coming from a man who argued that
we shouldn't even intake any artificial chemicals that may have unknown health consequences decades down the line. Outrageous. Simply outrageous.
Orbitals are the way to go. They have unlimited potential compared to a limited romantic idea like terraforming Mars. By using self-replicating robots, they can be done completely automatically, without worrying about re-engineering humans to live in a **** environment, unable to ever return to Earth.
And my argument is about which would be worth a large investment, say hundreds of billions of 2015 dollars, in the medium term. I don't care what humanity does a thousand years from now, when both tasks are equally trivial. I think space habitation is what we should focus on accomplishing by the end of the century. On this time-scale, any resources spent on Mars habitation are wasted resources. Given the options.
This is a good website on the subject of space habitats versus planetary colonization:
https://www.nss.org/settlement/space/