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
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.