Принцип Винни-Пуха и всех-всех-всех в математической логике

[arseniiv]

gevaraweb в сообщении #1452405 писал(а):

А поводы разные, там понятно, а тут я пока не понял за что...

Нну например:

gevaraweb в сообщении #1451517 писал(а):

Это глубокая, философская мысль, которая является истиной.

Интуиционистская логика плачет кровавыми слезами.

gevaraweb в сообщении #1451517 писал(а):

В матлогике ей соответствует равенство

Про путаницу матлогики и [тождеств] булевой алгебры я уже писал.

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

[gevaraweb]

kotenok gav в сообщении #1452432 писал(а):

Примера чего?

Примера этого:

kotenok gav в сообщении #1451585 писал(а):

SQL-инъекция - это, скорее, $a \wedge 0=0$, если у нас цель получить 0

arseniiv, я наоборот, не про ваш фэйспалм, и я уже со всеми замечаниями согласился... А вообще, под матлогикой я имел в виду обычную дисциплину...

[kotenok gav]

gevaraweb в сообщении #1452460 писал(а):

Примера этого:

Чего этого?

[gevaraweb]

kotenok gav в сообщении #1452465 писал(а):

Чего этого?

Прошу привести пример, иллюстрирующий ваше сообщение, процитированное мной.

[kotenok gav]

Уф. Я думаю, что вы согласитесь, что SQL-инъекция - это когда мы ищем такой ввод, чтобы получить заданный вывод (конкретнее, мы ищем нетипичный ввод для получения заданного нетипичного вывода).

[gevaraweb]

kotenok gav в сообщении #1452353 писал(а):

:facepalm: Чего?

А тут что не понравилось тогда?

[kotenok gav]

Почему $0$ - это пустой вывод?

[gevaraweb]

kotenok gav в сообщении #1452651 писал(а):

Почему $0$ - это пустой вывод?

Более точно, сказано было, не ноль - это пустой вывод, а ноль влечет пустой вывод:

gevaraweb в сообщении #1452231 писал(а):

Ваш ноль означает, что ваш запрос ничего не получит в ответ.

Если ваш запрос тождественно ложный, то в результате такого запроса вы ничего не получите. Будете это оспаривать?

[kotenok gav]

gevaraweb в сообщении #1452663 писал(а):

Если ваш запрос тождественно ложный, то в результате такого запроса вы ничего не получите. Будете это оспаривать?

Буду. Если, скажем, это двоичное число, с которым сервер производит побитовый OR с вводом?

[gevaraweb]

Ну да, а если у рыбы будет шерсть, то в ней будут блохи . В запросах, о которых я вел речь, обычный OR и т.д.

[kotenok gav]

Че-т ваш троллинг не удается.

[gevaraweb]

kotenok gav в сообщении #1452706 писал(а):

Че-т ваш троллинг не удается.

У вас лучше получается, возможно, я не троллил.

[kotenok gav]

Ваше упорное непонимание - именно троллинг.

[gevaraweb]

Вы долго делали вид, что не понимали моего вопроса.

[kotenok gav]

У вас не было вопроса.