16 сентября в 17:00 доклад Г.Б.Шабата "Крейдлин и математика"

[tatianapetrova4386]

«Петербургский семинар по когнитивным исследованиям»

(руководитель Т.В.Черниговская)

16 сентября в 17:00

Памяти Григория Ефимовича Крейдлина посвящается

Крейдлин и математика

Шабат Георгий Борисович

доктор физико-математических наук,

профессор Российского государственного гуманитарного университета

 
          Отношения Григория Ефимовича с математикой были разнообразны. Интерес к элементарной математике он унаследовал от отца, известного учителя математики, вместе со способностью быстро и красиво решать задачи, а также их придумывать (обе способности ярко проявлялись, когда Г.Е., уже будучи профессором кафедры лингвистики РГГУ, вместе с докладчиком работал в приёмной комиссии, как это ни удивительно, по математике). В трудные годы своей профессиональной жизни Г.Е. преподавал математику в школе. Вместе с А.Д. Шмелёвым он написал популярную книгу "Математика помогает лингвистике", в которой авторы проявили прекрасное знание разделов профессиональной математики, нужных для лингвистических приложений. Обо всём этом будет краткое сообщение в начале доклада. Основная же часть будет посвящена рассказу о совместной работе Г.Е. с докладчиком, начавшейся в 2002 году и продолжавшейся до самой безвременной смерти Г.Е. в июне 2025 года. В первой части будет представлен обзор того, что было сделано и нашло отражение в наших 13 совместных публикациях и многочисленных докладах. Наши основные результаты касаются языка математики (а иногда и других наук) и его понимания. Особое внимание уделялось формулировкам теорем, в том числе на естественном языке. Во второй части будет рассказано о том, что было задумано, но не завершено. Здесь основная тема - лингвистические аспекты современных работ по формализации языка математики, нацеленной на компьютерную проверку доказательств теорем. Для её раскрытия мы обсудим унивалентные основания математики, разработанные учеником докладчика В.А. Воеводским (1966-2017).  

Семинар будет проходить в смешанном формате.

Для участия необходимо пройти регистрацию:  https://reg.spbu.ru/cognitive

Адрес проведения: Санкт-Петербург, Галерная ул., 58-60, ауд. 152

Если Вы планируете участвовать в заседании очно, просьба зарегистрироваться до 11:00 15 сентября.

Ссылка на видеоконференцию Zoom будет разослана зарегистрировавшимся участникам за час до начала мероприятия.

С уважением,

Т.Е.Алексеева-Нилова