От теории множеств к теории типов

[deni_ok]

От теории множеств к теории типов. Хорошая вводная статья Майка Шульмана о том, почему именно теорию типов стоит положить в основания математики. Ну немножко философского характера, конечно, но тематика обязывает. Настоятельно рекомендую, спасибо 

Comments

[migmit]

Чем ему теория категорий не нравится?

[deni_ok]

не знаю, спроси там. Я по таким темам читатель, а не писатель.

[migmit]

Там очень TL. Я DR.

[nivanych]

Выводят, понимаешь, лямбды всякие из готовых работающих категорных конструкций!

[nponeccop]

Мне никогда не нравилась идея "if the monster simple group happens to be a real number, then its square is nonnegative”. А теперь я знаю, как она называется!