Мартин-Лёф о наборах и рядах альтернатив

[vic_gorbatov]

Выкладываю видеозапись выступления П. Мартин-Лёфа на конференции в Питере 24 июня 2010. К сожалению, не вся лекция заснята - аккумулятор сел под конец :(

Честно говоря, я мало что понял, особенно в конце. Там не только топологию и теорию множеств, но еще теорию категорий надо разуметь... Но сама постановка проблемы мне кажется интересной - в той

Comments

[lutenya]

Видео! Видео! Ви-де-о!!!!
Здорово.
Спасибище тебе огромное)

[vic_gorbatov]

велкам, как говорится ))

[igor_dzhadan]

==основная проблема осталась прежней: как расширить теорию типов, добавляя не только единичные последовательности выборов (single choice sequences), но и целые наборы последовательностей выборов (spreads of choice sequences). Это необходимо, если теория наборов и последовательностей выборов должна стать частью теории типов