|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Конструктивная теория доказательств. Международная конференция, посвященная памяти А.Г.ДрагалинаКонференция
- Члены программного комитета: Смирнова Е.Д., Маркин В.И., Костикова А.А., Григорьев О.М., Шангин В.О., Миронов В.В., Козырев А.П.
- Охват: Международная
- Даты проведения: 20 февраля 2014
- Место проведения: Москва, Russia
-
Организаторы:
МГУ имени М.В. Ломоносова, Философский факультет
МГУ имени М.В. Ломоносова, Философский факультет - Число участников: 50
- Число иностранных участников: 15
- Число участников из МГУ: 30
- Веб-сайт: https://www.msu.ru/news/konstruktivnaya_teoriya_dokazatelstv.html
-
Описание конференции:
Международная конференция "Конструктивная теория доказательств", посвященная памяти А.Г. Драгалина, проводилась 20 февраля 2014 г. на философском факультете МГУ. В ходе конференции были проведены два пленарных заседания и круглый стол "Наследие А.Г.Драгалина и современная логика". А.Г. Драгалин (1942-1998) - выдающийся отечественный математик и логик, один из ярчайших представителей конструктивного направления в математике и математического интуиционизма. Долгое время преподавал на механико-математическом факультете МГУ. Внес значительный вклад в налаживание контактов между логиками-математиками и логиками-философами в нашей стране.
- Добавил в систему: Маркин Владимир Ильич
Доклады:
- 2014 Intuitionistic Existential Instantiation and Epsilon Symbol (Устный)
- Автор: Минц Григорий Ефроимович
- 2014 А.Г. Драгалин и философия (Устный)
- Автор: Анисов Александр Михайлович
- 2014 Интерпретации типа реализуемости для базисной логики (Устный)
- Авторы: Плиско В.Е., Коновалов А.Ю.
- 2014 Интуиционистские модели с равенством (Устный)
- Автор: Шехтман Валентин Борисович
- 2014 Конструктивные логики ограниченных построений и их влияние на практику и методологию (Устный)
- Автор: Непейвода Николай Николаевич
- 2014 Логика конструктивных объектов (Устный)
- Автор: Павлов Сергей Афанасьевич
- 2014 Логический плюрализм (Устный)
- Автор: Васюков Владимир Леонидович
- 2014 О развитии взглядов Л. Брауэра в СССР (Устный)
- Автор: Хаханян Валерий Христофорович
- 2014 О трёхмерном взгляде на структуру суперинтуиционистских пропозициональных логик (Устный)
- Автор: Скворцов Дмитрий Павлович
- 2014 Основная импликация как шифрование (Устный)
- Автор: Крупский Владимир Николаевич