juan_gandhi: (Default)

А что, внутренность объединения равна объединению внутренностей? Как-то у меня фигня получается (с интуиционизмом), если равна. 

Похоже, что не равна, слава те господи - берем два смежных квадрата 1х1; объединение внутренностей - это два открытых квадрата 1х1, а внутренность объединения - это открытый прямоугольник 1х2.

Это я пытаюсь нарисовать убедительную картинку, что ¬(a∧b) не равно ¬a∨¬b - в смысле, алгебру Гейтинга попроще, где б оно не выполнялось. Конечную хочу.

Ну и еще из хорошего:

Обнаружен мальчик, воспитанный каментами. Он все время срет.

juan_gandhi: (Default)
Вот тут Савватеев говорит, что тор, точнее, многообразие, изоморфное тору в 3d, можно погрузить в четырехмерное эвклидово так, чтобы кривизна была везде ноль.

Как это? Я что-то не могу вообразить. А цилиндр тоже? Не понимаю. А окружность? 

Короче, не верю.

juan_gandhi: (Default)
https://www.youtube.com/watch?v=MTG2CGJMvaU 

Торсор - это берем группоид с двумя объектами, и рассматриваем действие двух групп автоморфизмов (двух объектов) на "множестве" изоморфизмов между этими двумя объектами.

На вики много слов понаписано, аффинные многообразия, топология Зарисского, топология Гротендика - а у Анеля как-то лихо элементарно.




juan_gandhi: (VP)


"Вы счас че туфту какую-то гоните?"

(смотрел два раза, впечатлен)
juan_gandhi: (VP)
"В свою очередь, глава ДНР Захарченко совершенно уверен, что парад расстреляют укропы под видом мирных ополченцев, переодетых в укропов, но не расстраивается, а стремится согнать на торжественное мероприятие как можно больше местных жителей, чтоб было кому красиво разлетаться от взрывов."

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

May 2025

S M T W T F S
    1 2 3
456 7 8 9 10
11 121314151617
181920 21 222324
25 262728 293031

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated May. 29th, 2025 08:18 pm
Powered by Dreamwidth Studios
OSZAR »