The Fermi Paradox Is Our Business Model
"The Fermi Paradox Is Our Business Model" is a science fiction short story by Charlie Jane Anders. It was first published in the online magazine Tor.com August 11, 2010.
Curry's paradox
Curry's paradox is a paradox in which an arbitrary claim F is proved from the mere existence of a sentence C that says of itself "If C, then F", requiring only a few apparently innocuous logical deduction rules. Since F is arbitrary, any logic having these rules proves everything. The paradox may be expressed in natural language and in various logics, including certain forms of set theory, lambda calculus, and combinatory logic.