Парадокс лжеца: ложь - тоже, что (ложь - не тоже, что ложь)

[alexzk]

Сообщение от bulygin69

Я читаю так, как в математике (ничего необычного в этом нет):
5==5 пять равно пять (что истинно)
6!=7 шесть не равно семь (что истинно)
9!=9 девять не равно девять (что ложно)
...
False==False ложь равно ложь (что истинно)
False!=False ложь не равно ложь (что ложно)
False==True ложь равно истина (что ложно)

Так и в чем парадокс?
False!=False ложь не равно ложь (что ложно) --- приказ исполнен, результат получен. Дальше его и пользуем. Вы не можете выносить знак != в формулировку парадоксов - это не факт, это приказ (глагол). Математика с глаголами не работает. Там этот знак означает факт.

[bulygin69]

Сообщение от alexzk

Так и в чем парадокс?

В этом:
1) False == False
2) False != False

P.S.Если в {x | x≠x} рассмотрите внимательно x≠x, то Х не равно Х тогда и только тогда, когда левая часть не-равенства равна себе и правая часть не-равенства равна себе. В противном случае это уже не будет x≠x. Так равен или не равен Х себе? И равен, и не равен.

[alexzk]

Сообщение от bulygin69

В этом:
1) False == False
2) False != False

Да блин, это знаки ГЛАГОЛЫ - ВЫПОЛНИТЬ СРАВНЕНИЕ, а в математике это ФАКТЫ. Кароче, попробуйте осознать, что в алгоритмах этот знак совершенно не то, что в математике. Вы смешали яблоки и груши и говорите - у меня компот - парадокс. Но если вы кухарка - то это планируемый результат.

[alexzk]

P.S.Если в {x | x≠x} рассмотрите внимательно x≠x, то Х не равно Х тогда и только тогда, когда левая часть не-равенства равна себе и правая часть не-равенства равна себе. В противном случае это уже не будет x≠x

Еще раз, вы путаете математический знак (который констатирует факт) и алгоритмический знак (который ничего не констатирует, а приказывает выполнить действие с текущими значениями и получить результат).

Рекомендую вам изучить PROLOG, он как раз и базируется на мат. понимании знаков. Т.е. в нем приказов (циклов/условий и т.д.) нету, а есть факты, из которых сам комп строит алгоритм, без вас.
Мне он, кстати, не пошел. Это действительно сложно мозгу переключатся м-у такими категориями (декларативный/алгоритмический стили).

[bulygin69]

Сообщение от alexzk

Да блин, это знаки ГЛАГОЛЫ - ВЫПОЛНИТЬ СРАВНЕНИЕ, а в математике это ФАКТЫ. Кароче, попробуйте осознать, что в алгоритмах этот знак совершенно не то, что в математике. Вы смешали яблоки и груши и говорите - у меня компот - парадокс. Но если вы кухарка - то это планируемый результат.

Законы программирования - законы математики. И там нет места "аллегориям".

[alexzk]

Вот
https://ru.wikipedia.org/wiki/%D0%94...BD%D0%B8%D0%B5
https://ru.wikipedia.org/wiki/%D0%98...BD%D0%B8%D0%B5

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

[alexzk]

Сообщение от bulygin69

Законы программирования - законы математики. И там нет места "аллегориям".

Спорный вопрос. Вселенная слишком сложна, чтобы быть полностью отраженной в мозгу. Поэтому мозг выбирает лишь ее части, которые с ним "совпадают" и игнорирует все остальное. Поэтому можно писать и аллегориями программы. Сами программы не станут от этого аллегорией, но мозг программиста будет видеть их так.
Я, например, отношусь как к написанию романа или поэмы примерно. Мой мозг не видит разницы - трезвый пишу на С++, пьяный - говорю стихами.

[bulygin69]

Сообщение от alexzk

Вот
https://ru.wikipedia.org/wiki/%D0%94...BD%D0%B8%D0%B5
https://ru.wikipedia.org/wiki/%D0%98...BD%D0%B8%D0%B5

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

Я о другом.

В математике Х=7+2 значением Х будет 9 потому, что 9==7+2. И это верно как для математики, так и для программирования. То, что присваивание не применяется в математике в явном виде, говорит лишь о том, что оба случая в ней отображает смысл равенства.

[alexzk]

Сообщение от bulygin69

Я о другом.

В математике Х=7+2 значением Х будет 9 потому, что 9==7+2. И это верно как для математики, так и для программирования. То, что присваивание не применяется в математике в явном виде, говорит лишь о том, что оба случая в ней отображает смысл равенства.

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

[alexzk]

Скажите, здесь еще есть парадокс?

1. Вычислить "фалсе отлично от фалсе".
2. Результат (1) сравнить с "фалсе".
3. Выдать результат (2).