ПОЛИГРАФ - ФОРУМ

[ZODIAC]

Парадокс лжеца
«То, что я утверждаю сейчас — ложно», или «Я лгу», или «Данное высказывание — ложь».
То есть если правда, что данное высказывание - ложь, то данное высказывание ложно. Если же ложно, что данное высказывание - ложь, то данное высказывание - правда. И цепочка рассуждений возвращается в начало.

Таким образом, это высказывание противоречит «закону исключённого третьего» в двоичной логике. Считается, что этот парадокс был сформулирован представителем мегарской школы Евбулидом. Предложение такого рода принципиально не может быть ни доказано, ни опровергнуто в пределах того языка, на котором оно изложено.

[York]

А что парадоксального есть в рекурсиях, кроме отсутствия флага для остановки?

Формализуем. Если в ячейке 0- замени на 1, иначе замени на 0. Повторить. Ответь какое число находится в ячейке?

Чтобы автомат не завис необходимо указать количество шагов (замен).

[ZODIAC]

[York]

Позвольте с Вами не согласиться. Парадоксы возникают от непонимания сути вещей.
Объясните, что Вы понимаете под относительностью "правды" и "лжи", а заодно уж и сами понятия "правды" и "лжи".

[ZODIAC]

Сами понятия "правды" и "лжи" Вам должны были быть объяснены папой и мамой ещё в детстве))) Касаемо относительности этих понятий ,неужели Вы считаете их абсолютными?

[York]

Если я отвечу в Вашем стиле, то это будет грубовато- я знаю, что мне объясняли в детстве мои мама и папа, я не знаю, что объяснили Вам ваши мама и папа. Не хотелось бы скатываться на унылую грубость- разговор- то интересный.
Что бы ответить на Ваш вопрос об абсолютности я должен понимать, что Вы имеете ввиду под "правдой" и "ложью".
Мое понимание: "правда"- истинное высказывание, "ложь"- ложное высказывание (Вы ведь писали про логику).

[ZODIAC]

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

[York]

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

[ZODIAC]

[York]

А вот Вы меня без ножа режете . Идею "границ познания" не доказать и не опровергнуть. Как говорил Поппер- теория не фальсифицируема и поэтому находится в ведении религии.

[ZODIAC]

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

[York]

"...Существует даже легенда, что некий Филит Косский, отчаявшись разрешить этот парадокс, покончил с собой, а известный древнегреческий логик Диодор Кронос, дав обет не принимать пищу до тех пор, пока не найдёт решение «Лжеца», умер, так и не разрешив проблему..."

Вики

Гений древних греков ставил перед собой вопросы на которые не в силах был ответить.

К примеру, апории Зенона предвосхитили гений Ньютона и Лейбница
http://elementy.ru/trefil/53
[/url]

[York]

[ZODIAC]

[York]

Вот еще из Вики

"Закон исключённого третьего


Закон исключённого третьего (лат. tertium non datur, то есть «третьего не дано») — закон классической логики, состоящий в том, что из двух высказываний — «А» или «не А» — одно обязательно является истинным, то есть два суждения, одно из которых является отрицанием другого, не могут быть одновременно ложными. Закон исключённого третьего является одним из основополагающих принципов «классической математики».

С «интуиционистской» (и, в частности, «конструктивистской)» точки зрения, установление истинности высказывания вида «А или не А» означает либо (а) установление истинности A, либо (б) установление истинности его отрицания \neg A. Поскольку, вообще говоря, не существует общего метода, позволяющего для любого высказывания за конечное число шагов установить его истинность или истинность его отрицания, закон исключённого третьего не должен применяться в рамках интуиционистского и конструктивного направлений в математике как аксиома."

http://ru.m.wikipedia.org/wiki/%D0%97%D0%B0%D0%BA%D0%BE%D0%BD_%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D1%91%D0%BD%D0%BD%D0%BE%D0%B3%D0%BE_%D1%82%D1%80%D0%B5%D1%82%D1%8C%D0%B5%D0%B3%D0%BE