August 16th, 2013

Book

Математики наконец-то поняли

Я как-то давно в Киеве на функциональной тусовке говорил, что хорошо бы организовать совместное изучение разделов математики, нужных программистам, но без всей этой "трансфинитной" хуйни (всех этих аксиом выбора, больших кардиналов и т.п.). Тогда я не мог это внятно сформулировать присутствовавшим там математикам.

А теперь :) это поняли и математики:

The HOTT Book:

We can generally avoid resorting to arbitrarily chosen representatives or transfinite iterative constructions.

[Without HOTT] one does need to learn to be careful about a few aspects of “informal set theory”: the use of collections too large or inchoate to be sets; the axiom of choice and its equivalents.