Worlds in Collision
Tim Callahan, religion editor of "Skeptic", presses the case further in claiming that the composition of the atmosphere of Venus is a complete disproof of "Worlds in Collision". "...Velikovsky's hypothesis stands or falls on Venus having a reducing atmosphere made up mainly of hydrocarbons. In fact, the atmosphere of Venus is made up mainly of carbon dioxide—carbon in its "oxidized" form—along with clouds of sulfuric acid. Therefore, it couldn't have carried such an atmosphere with it out of Jupiter and it couldn't be the source of hydrocarbons to react with oxygen in our atmosphere to produce carbohydrates. Velikovsky's hypothesis is falsified by the carbon dioxide atmosphere of Venus."
Terraforming of Venus
Modelling by astrobiologists Mark Bullock and David Grinspoon of Venus' atmospheric evolution suggests that the equilibrium between the current 92 bar atmosphere and existing surface minerals, particularly calcium and magnesium oxides is quite unstable, and that the latter could serve as a sink of carbon dioxide and sulfur dioxide through conversion to carbonates. If these surface minerals were fully converted and saturated, then the atmospheric pressure would decline and the planet would cool somewhat. One of the possible end states modelled by Bullock and Grinspoon was a atmosphere and surface temperature. To convert the rest of the carbon dioxide in the atmosphere, a larger portion of the crust would have to be artificially exposed to the atmosphere to allow more extensive carbonate conversion. In 1989, Alexander G. Smith proposed that Venus could be terraformed by lithosphere overturn, allowing crust to be converted into carbonates. Landis 2011 calculated that it would require the involvement of the entire surface crust down to a depth of over 1 km to produce enough rock surface area to convert enough of the atmosphere.