МБ
Y-комбинатор (:
Запутал всех Brenor совсем. )
Выражение противоречий в языке бывает весьма полезно. Например, понятие пустого множества. Доказательство от противного. И т.п. )
Пример.
https://ru.wikipedia.org/wiki/Аксиома_пустого_множества
Size: a a a
2021 April 27
s
Он переизобрёл liquid types?
AG
нет, скорее первым изобрёл индексированные манатки
AG
но ники вазу тоже у нас работает если что :)
B
С каких пор пустые множества — это противоречия
AB
Ссылку дал, смотрите варианты определений.
B
Что ты дал
B
Ты сам прочёл ли
AB
ты где учился? )
B
А ты где учился?
B
Кроме того, какое отношение имеют противоречия к семантическим парадоксам?
AB
упражняйся в словоблудии без меня )
B
В любых логиках без принципа взрыва наличие противоречий — это нормально (но лучше чтобы и вывод любых негаций из противоречия тоже не был достигнут, т.е. минимальная логика это "лучше" не проходит)
B
В каком словоблудии? Определение противоречия дать сможешь?
AT
Да забейте — без толку это...
B
Известный персонаж, значит?
AT
Да нет, просто он же написал, что говорит "по понятиям", а не по определениям — так что без толку докапываться. 🤷♀️
B
Интересные у него понятия, если он находит противоречия или связи с противоречиями в аксиоме, которая по сути определяет, что такое пустое множество
AT
Вот именно. 😊