Fermi Paradox (album)
Fermi Paradox is the 2002 (see 2002 in music) album by the band Tub Ring named after Enrico Fermi's Fermi Paradox.
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.