Size: a a a

2020 October 23

SA

Sokolov Andrew in Lisp Forever
а ну это я слышал 100000 раз
an argument is sound if it is both valid in form and its premises are true.
источник

SA

Sokolov Andrew in Lisp Forever
бла бла
источник

SA

Sokolov Andrew in Lisp Forever
как писать кванторы
источник

SA

Sokolov Andrew in Lisp Forever
а еще зачем ты все это спрашиваешь
источник

SB

S B in Lisp Forever
словами
источник

SB

S B in Lisp Forever
ну а хули нет
источник

SA

Sokolov Andrew in Lisp Forever
нууу
источник

SA

Sokolov Andrew in Lisp Forever
так то я могу заебаться отвечать
источник

SA

Sokolov Andrew in Lisp Forever
тут не аттракцион однако
источник

SA

Sokolov Andrew in Lisp Forever
ну да ладно уговорил
источник

SB

S B in Lisp Forever
ты сам написал выше -- можно спрашивать, я спрашиваю
источник

SB

S B in Lisp Forever
написал бы нельзя -- я б не спрашивал. все просто
источник

SB

S B in Lisp Forever
ну а так-то мне интересно какой пипл интересуется Лиспом и че про жизнь знает
источник

SA

Sokolov Andrew in Lisp Forever
идиотизм
так человеческая речь не работает
источник

SB

S B in Lisp Forever
а так как ты тут часто и много, то вот и спрашиваю
источник

SB

S B in Lisp Forever
Sokolov Andrew
идиотизм
так человеческая речь не работает
ну кванторы в каком веке появились? ладно, можешь \forall , \exits
источник

SB

S B in Lisp Forever
использовать
источник

SB

S B in Lisp Forever
условный mathjax
источник

SA

Sokolov Andrew in Lisp Forever
дохуя писать то
короче если есть штука (единственная)
такая что для любого N  натурального  
существует дельта  > 0
такая что типа с такого то эл-та с индексом больше N
оно ближе к числу чем ё по такой то метрике
то короче вот это оно и есть
источник

SB

S B in Lisp Forever
ну похоже, да
источник