Curry's paradox
Curry's paradox is a paradox that occurs in naive set theory or naive logics, and allows the derivation of an arbitrary sentence from a self-referring sentence and some apparently innocuous logical deduction rules. The paradox is named after the logician Haskell Curry. The paradox may be expressed in natural language and in various mathematical settings, including certain forms of set theory, lambda calculus, and combinatory logic. It has also been called Löb's paradox after Martin Hugo Löb, due to its relationship to Löb's theorem.
known for
primaryTopic
Curry's paradox
Curry's paradox is a paradox that occurs in naive set theory or naive logics, and allows the derivation of an arbitrary sentence from a self-referring sentence and some apparently innocuous logical deduction rules. The paradox is named after the logician Haskell Curry. The paradox may be expressed in natural language and in various mathematical settings, including certain forms of set theory, lambda calculus, and combinatory logic. It has also been called Löb's paradox after Martin Hugo Löb, due to its relationship to Löb's theorem.
has abstract
Curry's paradox is a paradox t ...... relationship to Löb's theorem.
@en
Currys Paradoxon ist ein Parad ...... emen mit solch einem Ausdruck.
@de
Il paradosso di Curry è un par ...... sa ed ogni altra proposizione.
@it
Le paradoxe de Curry fut prése ...... mathématicien Martin Löb (de).
@fr
Llamada así por Haskell Curry, ...... el conjunto La prueba procede:
@es
Paradoks Curry’ego – jeden z p ...... o - można w ogóle rozpatrywać.
@pl
Paradoxo de Curry é um paradox ...... referência a Martin Hugo Löb.
@pt
Парадокс Карри — парадоксальны ...... а по имени Мартина Хьюго Лёба.
@ru
カリーのパラドックス(英: Curry's paradox) ...... Löb)の名をとって レープのパラドックスとも呼ばれている。
@ja
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
743,808,534
subject
hypernym
comment
Curry's paradox is a paradox t ...... relationship to Löb's theorem.
@en
Currys Paradoxon ist ein Parad ...... emen mit solch einem Ausdruck.
@de
Il paradosso di Curry è un par ...... sa ed ogni altra proposizione.
@it
Le paradoxe de Curry fut prése ...... e la preuve).[réf. nécessaire]
@fr
Llamada así por Haskell Curry, ...... es verdad». La prueba procede:
@es
Paradoks Curry’ego – jeden z p ...... zdanie jest prawdziwe... itd.
@pl
Paradoxo de Curry é um paradox ...... referência a Martin Hugo Löb.
@pt
Парадокс Карри — парадоксальны ...... в высказывании , таким образом
@ru
カリーのパラドックス(英: Curry's paradox) ...... Löb)の名をとって レープのパラドックスとも呼ばれている。
@ja
label
Curry's paradox
@en
Currys Paradoxon
@de
Paradoja de Curry
@es
Paradoks Curry’ego
@pl
Paradosso di Curry
@it
Paradoxe de Curry
@fr
Paradoxo de Curry
@pt
Парадокс Карри
@ru
カリーのパラドックス
@ja