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
In the 1930s, Curry's Paradox and the related Kleene–Rosser paradox played a major role in showing that formal logic systems based on self-recursive expressions are inconsistent.
These include some versions of lambda calculus and combinatory logic.