Парадокс Карри
Парадокс Карри — парадоксальный вывод из утверждения «Если это утверждение верно, то русалки существуют». Вместо существования русалок может указываться любое неправдоподобное или ложное заявление (в английском оригинале — существование Санта-Клауса). Ход мыслей, ведущий к парадоксу, строится следующим образом:
* Обозначим через formula_1 высказывание «Если formula_1 верно, то русалки существуют»;
* Мы не знаем, верно ли высказывание formula_1. Но если бы высказывание formula_1 было верным, то это влекло бы существование русалок;
* Но именно это и утверждается в высказывании formula_1, таким образом formula_1 — верно;
* Следовательно, русалки существуют!
Причиной парадокса Карри является использование в утверждении недопустимой ссылки на само себя. В строго формализованных теориях парадокс Карри не появляется, однако некоторые исследователи отмечают, что теорема Лёба может рассматриваться как результат формализации рассуждений, аналогичных парадоксу Карри, с помощью гёделевской нумерации.

Парадокс рассматривался математиком Хаскеллом Карри, в честь которого и получил своё название. Иногда называется парадоксом Лёба по имени Мартина Хуго Лёба.
Q336237
русалки
Concept
Q315796
Санта-Клаус
MISC
Q1129622
ссылки на само себя
Concept
Q649732
формализованных теориях
Concept
Q204884
теорема Лёба
MISC
Q1451046
гёделевской нумерации
Concept
Q92611
Хаскеллом Карри
PER
Q68539
Мартина Хуго Лёба
PER
Q899616
Парадокс Карри
Concept
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
named after