Добавить в корзинуПозвонить
Найти в Дзене
Эпонимы и Мы

ПАРАДОКС ЯБЛО

Как бы вам ни хотелось во втором слове поставить ударение не последнюю букву, сдержите свои благородные порывы, ибо на самом деле фамилия человека - Я́бло. А суть парадокса, к сожалению, безнадёжно суха и неинтересна, заинтересоваться ею может только человек, познавший логику. Причём не абы какую, а именно математическую. Суть ПАРАДОКСА ЯБЛО в следующем. Если взять бесконечное число утверждений: ... то каждое из них ничего не говорит о своей собственной истинности или ложности, даже косвенным способом, так как оно утверждает что-то лишь об утверждениях с большими номерами, и для всех них это тоже верно. При этом любое утверждение Sk может быть как истинным, так и ложным. Предположим, оно истинное. Тогда Sk+1, Sk+2 и тд. все ложны. Но ложность Sk+2, Sk+3, и т. д. - как раз то, что утверждает Sk+1. Поэтому получаем противоречие: с одной стороны Sk+1 ложно (прямое следствие истинности Sk), с другой стороны истинно (прямо следствие ложности Sk+2, Sk+3, Sk+n). Налицо явное противоречие,

Как бы вам ни хотелось во втором слове поставить ударение не последнюю букву, сдержите свои благородные порывы, ибо на самом деле фамилия человека - Я́бло.

А суть парадокса, к сожалению, безнадёжно суха и неинтересна, заинтересоваться ею может только человек, познавший логику. Причём не абы какую, а именно математическую.

Суть ПАРАДОКСА ЯБЛО в следующем.

Если взять бесконечное число утверждений:

  • (S1): для всех k > 1, Sk есть ложь
  • (S2): для всех k > 2, Sk есть ложь
  • (S3): для всех k > 3, Sk есть ложь

... то каждое из них ничего не говорит о своей собственной истинности или ложности, даже косвенным способом, так как оно утверждает что-то лишь об утверждениях с большими номерами, и для всех них это тоже верно.

При этом любое утверждение Sk может быть как истинным, так и ложным. Предположим, оно истинное. Тогда Sk+1, Sk+2 и тд. все ложны. Но ложность Sk+2, Sk+3, и т. д. - как раз то, что утверждает Sk+1. Поэтому получаем противоречие: с одной стороны Sk+1 ложно (прямое следствие истинности Sk), с другой стороны истинно (прямо следствие ложности Sk+2, Sk+3, Sk+n).

Налицо явное противоречие, а это значит, что наше изначальное предположение было неверным, и Sk на самом деле ложно. Это верно для любого k.

Ровно поэтому ПАРАДОКС ЯБЛО считают вариацией на тему парадокса лжеца, не содержащей самореференции. (Вспомните до кучи ПАРАДОКС ЭПИМЕНИДА, ПАРАДОКС ЖУРДЕНА, ПАРАДОКС ПИНОККИО и пр.).

-2

Стефан Ябло (родился 30 сентября 1957) - американский философ, специалист по философии логики, философии сознания, метафизике и философии языка член Американской академии наук и искусств.

Родился в Торонто, в семье польского-румынских эмигрантов, которые убежали из Европы в 1933 году - по вполне понятным причинам.

Высшее образование и степень бакалавра естественных наук по математике и философии получил в Университете Торонто, затем стал магистром гуманитарных наук в Пунском университете, и, наконец, докторскую степень ему присвоили в Калифорнийском университете в Беркли.

Работал преподавателем в Мичиганском университете, был профессором в Массачусетском технологическом университете и приглашенным лектором Оксфордского университета на ежегодных философских лекциях Джона Локка.

Заинтересовавшись философией математики он в 1993 году вывел тот самый парадокс, названный его именем.

Как применить эту мудрость в жизни - не знаю, но чувствую, что на ней можно заработать миллиарды.