AV
Нож тоже..
Size: a a a
2021 March 13
AV
Но провозить его нельзя, да
IR
Нож тоже..
Если пригрозить им пилоту?
AV
Именно
IR
На лиспе можно написать автопилот, и тогда никакого насилия
IR
( кто-нибудь ведёт счёт? )
Y
Ножи лучше чем лисп
Elegant weapons
Y
Простите(
Мне просто завидно, я может тоже хочу про рисование поговорить
AV
Лиспом можно разговаривать с воронами: car car car // что-то не очень шутки пошли :(
AV
Мне просто завидно, я может тоже хочу про рисование поговорить
Мне тоже было завидно и я перевёл тему в абсурд!
AI
Абсурд же это
const false для задания предиката пустого множества без Еку, которое требуется при стандартном х / = хAV
Абсурд это доказательство False, не
AV
AI
Типа предположим противное - придем к противоречию? Не знаю, как-то громко называть это абсурдом. А вот спецпредикат ака унарное отношение - вполне имхо
AV
Абсурд это как раз подлучение противоречия
AV
Но это не точно, про котов было проще
AT
absurd : forall t . False -> t
🤷♀
AV
в общем-то да
AI
Как и в большинстве подобных случаев, сложности никакой нет, просто неоднозначность и перегруженность терминов.
AI
а про последнее выражение что-то Дхаммапада вспомнилась...
11. Мнящие суть в несути и видящие несуть в сути, они никогда не достигнут сути, ибо их удел – ложные намерения.
12. Принимающие суть за суть и несуть за несуть, они достигнут сути, ибо их удел – истинные намерения.