I mean, why not solve one with the other?
If we can terraform Mars by nuking the poles, maybe we can use nukes to trigger huge volcanic eruptions that will cause global cooling by putting tons of dust into the atmosphere
If we can terraform Mars by nuking the poles, maybe we can use nukes to trigger huge volcanic eruptions that will cause global cooling by putting tons of dust into the atmosphere