[mathgeek]

https://en.m.wikipedia.org/wiki/The_Case_for_Mars was (is?) one of the more in depth works making such an argument