От теории множеств к теории типов
Jan. 8th, 2013 02:50 amОт теории множеств к теории типов. Хорошая вводная статья Майка Шульмана о том, почему именно теорию типов стоит положить в основания математики. Ну немножко философского характера, конечно, но тематика обязывает. Настоятельно рекомендую, спасибо
alexey_rom за ссылку.