X
я не специалист
Size: a a a
2021 November 21
X
с одной стороны, раз пацаны тему мутят и давно — значит наверное смысл есть
X
но с другой стороны, пацанам надо диссеры писать)
s
Если выкинуть P ∨ ¬P, то можно ввести другие аксиомы и получить мир, где все функции гладки, а бесконечно малые нильпотентны.
s
(synthetic differential geometry)
s
Когда же счётный выбор вместо полного вообще не понятно что даёт, кроме невозможности конструировать некоторые уродливые объекты.
X
ну видимо, не все считают эти объекты одинаково уродливыми
X
+ кому уродливый объект, а кому глава в диссер
X
https://en.wikipedia.org/wiki/Approximation_property
а кому и гусь живой :)
а кому и гусь живой :)
EZ
Всяко лучше чем то что следует из отрицания
EZ
A
Ну вообще-то LEM не про то, что !true = false, а про то, что !false = true, то есть про снятие двойного отрицания
A
"false" это "не true" по определению и у интуционистов
EZ
Кажется в этом часть шутки
A
Наверное)
2021 November 22
B
Здравствуйте, тут есть те, кто моделировал физические объекты? Обычного рода, не микроскопические и не слишком большие по типу галактик и в этом роде.
FO
Ээээээ? А по конкретнее можно? Не большое, не маленькое, не синее, не зеленое, не сладкое, не кислое....
B
обычные, по типу окружающих объектов, которые вы наблюдаете в непосредственной близости
FO
Цель моделирования?