BK
это все, разумеется, очень спорно
Size: a a a
2021 July 09
LO
можно ли доказать коммунизм на коке? какие аксиомы нужны?
A
аксиома вождя пролетариата
BK
тезис черча-тюринга 🙃🙂🙃🙂🙃🙂
Oℕ
в достаточно плохой модели можно доказать всё, что угодно
A
define достаточно плохо
Oℕ
Ну модель в которой доказуемы странные качества
A
теперь странные качества
AG
сочетание пруф-иррелевантности и большой элиминации неконсистентно например
AG
первое можно получить, если в импредикативную систему добавить аксиому исключенного третьего
Oℕ
Ну в математике обычно "в достаточно X-й Y выполняется Z" означает "существует Y такой, что выполняется Z", X это такое текстовое дополнение, обычно означающее, что есть некий предпорядок, и если выполняется в каком-то элементе, то и во всех элементах меньше тоже выполняется
Например "для достаточно маленькой дельта| f(x + дельта X) - f(x) | < эпсилон"
Например "для достаточно маленькой дельта| f(x + дельта X) - f(x) | < эпсилон"
Oℕ
Вот как бы и предполагается, что если существует какая-то модель, где это доказуемо, потом мы эту модель можем делать хуже и хуже, докидывая туда ещё больше свойств, это в ней останется доказуемо
A
ХГ
Я не верю! Вы так лихо посылаете на лингам, что супостаты бы были посрамлены!
LO
посылать в чате интеллигентных людей это не то же самое что по морде получить
ХГ
Получить по морде это не самое страшное. Когда у вас дома бэх коробки с деньгами находит, это гораздо хуже.
ХГ
1988 год, пластинка Кино...
VL
Надо что-то похожее про капитализм и массовые расстрелы и отсутствие туалетной бумаги
A
А где она отсутствует?
VL
На картинках