Back কারির কূটাভাস Bengali/Bangla Curryjev paradoks BS Paradoxa de Curry Catalan Currys Paradoxon German Curry's paradox English Paradoja de Curry Spanish Curryn paradoksi Finnish Paradoxe de Curry French הפרדוקס של קרי HE Curry paradoxonja Hungarian
 | As referências deste artigo necessitam de formatação. (Maio de 2019) |
Paradoxo de Curry é um paradoxo que ocorre na teoria dos conjuntos ingênua ou lógicas ingênuas, e permite a derivação de uma sentença arbitrária de uma sentença auto-referente e algumas regras de dedução lógica aparentemente inócuas. É assim denominado em referência ao lógico Haskell Curry. Enquanto a teoria dos conjuntos ingênua falha em identificá-lo, um exame mais rigoroso revela que a sentença é auto-contraditória.
Ele também foi chamado paradoxo de Löb em referência a Martin Hugo Löb.[1]
- ↑ Barwise, Jon; Etchemendy, John (1987). The Liar: An Essay on Truth and Circularity. New York: Oxford University Press. p. 23. ISBN 0195059441. Consultado em 24 de janeiro de 2013