Pull to refresh
12
0.1
Send message
Вам предложили использовать списки, я написал, что в некотором смысле, это одно и тоже. И буду признателен, если вы мне объясните разницу между Optional<a*> и Maybe a. С категориальной точки зрения.
Очевидны естественные преобразования между Maybe a и List a. Если в списке не более одного элемента это преобразование будет ещё и изоморфизмом.
От уж мне эти «простейшие примеры». Первым комментарием я не в коей мере не хотел упрекнуть автора в ненужности статьи. Ч хотел обратить внимание на то, что описанная им концепция является частым случаем очень мощной и очень важной конструкции. И я не заметил в статье оператора join. Может плохо читал, джаву я почти не знаю.
Бартоз Малевски «Теория категорий для программистов».
Чтобы куда-то лететь пльзуясь «абсолютными» координатами надо знать где оно должно оказаться, когда мы туда долетим. А вот с этим больше проблеммы. Чем дольше время полета, тем больше ошибка при интегрировании.
Соотношение размеров не существенно. Качественная разница появится только тогда, когда круг выродится в точку.
Квадратура не решаема, а центр окружности циркулем и линейкой находится в рамках школьной программы.
Упускаете. В варианте 1 по разные стороны от исковой плоскости три и одна точки, а в варианте два — две и две. Значит вариант два не сводится к варианту один.
Для произвольной фигуры это не верно, а для данного случая совершенно не очевидно. Подозреваю, что тоже не верно.
Будут пол дня центр окружности искать.
Сейчас вообще в школе проходят задачи с циркулем и линейкой?
Первая задача не правильно решена. Описанная прямая является решением. Но не единственным.
Возьмем произвольную прямую. Пересечение одной полуплоскости, ограничеваемой этоий прямой, с прямоугольником с дыркой назовем фигурой А, другой полуплоскости фигурой Б. Будем двигать эту прямую вдоль нормали к ней, и рассмотрим разность площадей А и Б. очевидно что она меняет знак, а значит есть точка где разность равна нулю.

Чуть-чуть не успел.
То есть Вы закончили закончили сельскую школу на тройки и вам понадобился один час на вельвейты? История математики, на сколько мне известно, насчитывает ровно один такой случай: Рамануджан.
Как то я считал через тфкп, опалубку для цементного ящика в септик. Потом повернул чертеж на Pi/2 и внезапно оказалось что достаточно 9 классов средней школы.
Всё давно сказали классики.
«Математику уже затем учить надо, что она ум в порядок приводит» М.В. Ломоносов.
Я имел в виду не выбор системы аксиом, а конкретно — аксиому выбора.
Это точно, например там есть аксиома выбора…
Действительные числа существуют в единственном экземпляре (с точностью до изоморфизма). Комплексные числа, как алгебраическое расширение действительных — соответственно тоже одни. Основная теорема алгебры — поле комплексных чисел алгебраически замкнуто.

Information

Rating
3,062-nd
Registered
Activity