
Затем сосредоточился на негейтинговском варианте интуиционизма с бар-индукцией

А.В. Ахутин был в задумчивости:

А.Н. Кричевец старался вникнуть:

В.Х. Хаханян пообещал в следующий раз сказать то же самое проще:

- но я думаю, он Гейтинга будет рассказывать.
А вот как сам автор излагает в жанре диалога

Скачать запись семинара (25 М).
April 18 2008, 18:26:58 UTC 4 years ago
April 18 2008, 18:30:14 UTC 4 years ago
April 18 2008, 18:32:18 UTC 4 years ago
April 18 2008, 18:33:50 UTC 4 years ago
Но я вас понимаю.
April 18 2008, 18:35:49 UTC 4 years ago
April 18 2008, 18:37:34 UTC 4 years ago
April 18 2008, 18:38:14 UTC 4 years ago
April 18 2008, 18:51:53 UTC 4 years ago
April 18 2008, 18:54:52 UTC 4 years ago
April 19 2008, 08:05:14 UTC 4 years ago
April 19 2008, 09:54:06 UTC 4 years ago
April 19 2008, 08:07:21 UTC 4 years ago
April 19 2008, 09:54:36 UTC 4 years ago
November 12 2008, 14:47:57 UTC 3 years ago
November 13 2008, 07:22:55 UTC 3 years ago