Curry's paradox
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”
Press Enter · cited answer in seconds
0 sources
Curry's paradox
Summary
Curry's paradox is a paradox[1]. It draws 177 Wikipedia views per month (paradox category, ranking #39 of 104).[2]
Key Facts
- Curry's paradox's instance of is recorded as paradox[3].
- Curry's paradox's instance of is recorded as mathematical concept[4].
- Haskell Curry is named after Curry's paradox[5].
- Curry's paradox's Freebase ID is recorded as /m/01445f[6].
- Curry's paradox's defining formula is recorded as \begin{aligned}&X:=(X\to Y)\&X\to X&\text{identity}\&X\to(X\to Y)&\text{substitution}\&X\to Y&\text{contraction}\&X&\text{substitution}\&Y&\text{modus ponens}\end{aligned}[7].
- Curry's paradox's Stanford Encyclopedia of Philosophy ID is recorded as curry-paradox[8].
- Curry's paradox's nLab ID is recorded as Curry's paradox[9].
- Curry's paradox's maintained by WikiProject is recorded as WikiProject Mathematics[10].
- Curry's paradox's Microsoft Academic ID is recorded as 2776482350[11].
- Curry's paradox's ProofWiki ID is recorded as Curry's_Paradox[12].
Why It Matters
Curry's paradox draws 177 Wikipedia views per month (paradox category, ranking #39 of 104).[2] It has Wikipedia articles in 15 language editions, a strong signal of global cultural recognition.[13] It is known by 4 alternative names across languages and contexts.[14]