Elon Musk, the billionaire founder and CEO of the private spaceflight company SpaceX, wants to help establish a Mars colony of up to 80,000 people by ferrying explorers to the Red Planet for perhaps $500,000 a trip.
(...) we've put all our eggs in one basket. If we were on many worlds and were to mess up down here, there's a way for the human species to continue. I don't for a moment propose that the Earth is a disposable planet, and we have to put enormous efforts into making sure we don't muss up down here. But there is a chance.
Good point. Mars would only be better off if the colonies over-engineered their radiation protection. Otherwise anything that gets through Earth's natural protection would probably get through Martian settlements designed to give the same level of protection. It might be relatively cheap to over-engineer (e.g. digging in an extra meter), but it might not.
FWIW, while researching my Moore's law essay, I found materials claiming that underground construction was more expensive but paid for itself via better heating/cooling. But that was for shallow cut-and-scrape constructions and I suspect 1 meter wouldn't take care of supernova radiation.