A
Не верю)
Size: a a a
2021 November 21
s
Быть неверующим позволительно только в конструктивной математике.
s
А в классической извольте уверовать.
i
Как Саватеешня?
s
Coq или Lean без импорта lem и выбора.
s
Или как внутренняя логика многих топосов.
s
Боты, спрашивающие ответ на капчу. Это что-то новое.
s
Нет, это 2h6.
X
я уже кидал сюда книжечку, в которой обсуждалось, что плохого следует из AC, по-моему
X
вся вот эта срань с отношением витали
s
Ну, какую математику не возьми, всё равно найдётся что-то уродливое.
X
о, да
X
но народ не сдаётся, и появляются периодически предложения типа аксиомы счётного выбора
L
The beauty is in the eye of the beholder.
X
о, да.
X
но у этого утверждения есть размытые, но границы применимости
X
как и у вообще большинства суждений о красоте
s
По мне, так возня с ac несколько бессмысленно. Либо выкидываешь любой выбор включая P ∨ ¬P, либо по максимому принимаешь глобальный выбор.
X
не могу сказать