![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
juan_gandhi Три научных вещи меня поразили.
1. Сначалаxacid запостил линк на Лейнстера, где автор пишет, что в урезанной аксиоматике ZFC вот такое множество нельзя построить, а в полной можно:
Ну вот, и я долго ломал голову, ни фига себе множество, да разве такие бывают? Как его строить, очевидно, но... только к вечеру понял - множество как множество. В его отсутствие и свободную монаду на P не построишь.
2.spamsink запостил офигенное видео, где пи вычисляется через кубики на скользкой плоскости и стенку сбоку. Красиво. Загадочно.
3. По бибиси рассказывали про Лукреция, римского поэта, который заметил, что при наличии свободы воли существуют физические явления, не имеющие физических причин. Дык! Когда скажут, то очевидно. А не скажут, так и не догадаешься. Ау, Сирл! Лукреций закрыл этот вопрос, нет?
Вот столько прекрасного случилось. И это еще всего лишь мысли, правда, чужие.
1. Сначала
xacid запостил линк на Лейнстера, где автор пишет, что в урезанной аксиоматике ZFC вот такое множество нельзя построить, а в полной можно:ℕ ∪ P(ℕ) ∪ P(P(ℕ)) ∪ · · ·
2.
spamsink запостил офигенное видео, где пи вычисляется через кубики на скользкой плоскости и стенку сбоку. Красиво. Загадочно.3. По бибиси рассказывали про Лукреция, римского поэта, который заметил, что при наличии свободы воли существуют физические явления, не имеющие физических причин. Дык! Когда скажут, то очевидно. А не скажут, так и не догадаешься. Ау, Сирл! Лукреций закрыл этот вопрос, нет?
Вот столько прекрасного случилось. И это еще всего лишь мысли, правда, чужие.
