К сожалению, я тут едва ли чем могу Вам помочь (связей с Западом у меня нуль). По идее, интуиционисты должны быть легко отыскиваемы в Нидерландах (если верить Google Scholar, там до сих пор пописывают про теорему о веере), а бишопианцы — вообще где угодно (т.к. на это направление много ума не надо, да и с Бриджесом не соавторствовал только ленивый). Но это всё, я думаю, Вам и без меня известно.

С уважением,
Гастрит

(Reply to this) (Parent) (Thread)

Понятно, спасибо. Да, устройство конструктивистского мира (кто где живет и во что верит) я примерно знаю, понаслышке. Похоже на жизнь староверов в России (свои своих узнают издалека по каким-то признакам, каким-то мельчайшим знакам).

Да, я уже кое-каким интуиционистам писал, и буду писать еще. Они почему-то все не могут приехать именно 14 мая.

(Reply to this) (Parent)

Дебаты прошли: конструктивиста пришлось играть мне самому, не очень убедительно кажется. И немножко упрощенно.

Видео-файл лежит здесь:

http://www.maths.bris.ac.uk/~maaib/logic/videos.html

(3 гигабайта).

(Reply to this) (Parent)