Van Atten M., Sundholm G., L.E.J. Brouwer’s ‘Unreliability of the logical principles’. A new translation, with an introduction.
Организатор: @orenty7

Интуиционисткая теория типов (она же MLTT) появилась в результате работы Мартин-Лёфа по формализации интуиционисткой математики. Как ни странно, главными критиками подобных попыток формализации являются сами интуиционисты. Эта статья — перевод первой публикации Брауэра, в которой он критикует классическую логику и подвергает сомнению принцип исключённого третьего.

Прочитать статью к субботе, 20 июня. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.

Статья в первом комменте.
Формат | Методы доступа в дискорд