| Елена Косилова ( @ 2008-04-18 20:58:00 |
| Entry tags: | филмат |
В.А. Янков
На семинаре по философии математики докладчик В.А. Янков начал с того, что выделил онтологические предпосылки принципа индукции: 1) постоянство мира и 2) бессмертие субъекта.
Затем сосредоточился на негейтинговском варианте интуиционизма с бар-индукцией
А.В. Ахутин был в задумчивости:
А.Н. Кричевец старался вникнуть:
В.Х. Хаханян пообещал в следующий раз сказать то же самое проще:
- но я думаю, он Гейтинга будет рассказывать.
А вот как сам автор излагает в жанре диалога
Скачать запись семинара (25 М).