|
Выбор сайта
Авторизация
Поиск по сайту
|
Московский семинар по философии математикиРуководители - профессор А.Н. Кричевец, профессор В.Я. Перминов, д.ф.н. С.Н. Бычков, к.ф.н. Г.Б. Гутнер, к.ф.н. В.А. Шапошников. Секретарь - к.ф.н. Е.В. Косилова.
См. также все видеоматериалы семинара.
2010 год Мартовское заседание состоится 15 марта. 2010 год Февральское заседание состоялось 19февраля. 2010 год Январское заседание состоялось 15 января. 2009 год Декабрьское заседание состоялось 18 декабря. Ноябрьское заседание состоялось 20 ноября. А.Н. Кричевец сделал доклад на тему "Что изменилось в доказательстве (мы как анахронизм)" (по статье И.Рава и современным источникам). Аудиозапись семинара После летнего перерыва семинар возобновил работу 16 октября. Прозвучал доклад С.Н.Бычкова "Школа Евдокса как идеальное коммуникативное сообщество". В докладе были обсуждены переводы Платона. Материалы выкладываются по мере обработки и упорядочивания: аудиозаписи: 1 , 2 Майское заседание состоялось 15 мая. Обсуждалась диссертация Г.Б. Гутнера. Материалы к обсуждению будут выложены. аудиозапись семинара На этом семинар делает перерыв на лето, большинство участников сосредоточились на подготовке к конференции. Апрельское заседание состоялось в пятницу 17 апреля в 15 часов. Мы прослушали доклад А.В.Титова "Семантический подход к анализу и синтезу логических счислений". Основные составляющие доклада: 1. Логика как представление. Результат классическая логика, основанная на системе суждений Аристотеля. Значений истинности два: "истина" и "ложь". 2. Разделение оценок. Представление значений оценок формул как булевой алгебры, в частности, семейства подмножеств. 3. Дальнейшее разделение. Рассмотрение оценок на различных типах алгебраических структур. 4. Определение связи между логическими исчислениями (логиками) и типами структур оценки. В частности отображение множества формул на множество значений оценки в пропозициональной логике гомоморфизм, что позволяет соотносить разным типам оценки разные типы логики. 5. Синтез неклассических логик в классическое исчисление на основе введения отношений эквивалентности на структурах оценки. При этом, как, например, в нестандартном анализе расширяется круг моделей, т.е. синтезируется новое качество. Материалы доклада 20 марта в 15 часов прозвучал доклад Л. Беклемишева и А. Кашева "Компьютерные доказательства". Было рассказано об активно развивающейся в последнее время области исследований, связанной с компьютерной формализацией математических доказательств. Л. Беклемишев рассказал об имеющихся здесь теоретических, и в том числе некоторых философких, вопросах и об общем состоянии дел в этой области. Во второй части А. Кашев продемонстрировал, как на практике выглядит работа в одной из наиболее успешных систем интерактивного поиска доказательств Coq. аудиозапись семинара 20 февраля состоялся круглый стол "Современное состояние и перспективы математики и математического образования в России и за ее пределами". В нем приняли участие известные математики проф. А.И.Аптекарев, ректор Независимого Московского университета проф. Ю.С.Ильяшенко, зам.директора МИ РАН проф. А.Г.Сергеев. аудио- и видеоматериалы круглого стола Вопросы для обсуждения: - Что изменилось в социальной организвции математического сообщества за последние 10-20 лет; как распределены математики по поверхности Земли, где их больше, где им лучше? - Какие темы сейчас модные, какие считаются важными и почему? - Каково отношение работающих математиков к основаниям математики и другим вопросам, традиционно интересующим философов (континуум-гипотеза, важность/необходимость/вредность аксиоматизации, необходимость/необязательность связи с внематематической практикой и др.)? - Каковы особенности и перспективы математики в России? - Каковы тенденции развития/деградации математического образования в России и в мире? 16 января состоялся доклад В.Я. Перминова "Системное обоснование математической теории". аудио и видеоматериалы 2008 год
19 декабря состоялся доклад А.В. Ахутина "Седьмое письмо Платона. Философия и математика". Аудио- и видеоматериалы. 21 ноября состоялся доклад В.И. Шалака Лингвистический априоризм: языковая природа математических объектов.
17 октября состоялся доклад А.В. Чусова: Математическая модель и экономическая реальность. Анализ модели равновесия в конкурентной экономике Эрроу-Дебре. Тезисы доклада, аудиозапись
19 сентября состоялся доклад А.Н. Кричевца Трансцендентальная философия, психология и ценности аудиозапись 16 мая состоялся доклад В.Х. Хаханяна "Проблемы существования объектов в математике (классическая математика, интуиционистская математика, конструктивная математика). О нестандартном анализе" 18 апреля состоялся доклад В.А. Янкова "Предметность и смысл в точных науках и философии" Аудиозапись и видеоматериалы 21 марта в состоялся доклад А.С.Грусицкого "Физика и математика актуальной бесконечности и континуума" На февральском заседании состоялся доклад Б.Б. Величковского "Символизм vs коннекционизм", материалы На январском заседании семинара 18 января 2008 г. состоялся доклад С.Н. Бычкова "Абстрактно-общее и математика" |
