Открытая лекция «Формальные системы и их значение в истории наук» в рамках недели ГМУ

В рамках празднования недели факультета ГМУ доцентом кафедры социологии, общей и юридической психологии В.В. Задориным была проведена открытая лекция «Формальные системы и их значение в истории наук».

Активное участие в мероприятии приняли студенты БкПс-400, ПСД-300 и БкС-200. В качестве исходного пункта лекции была выбрана формальная система Клини из его работы «Введения в метаматематику». На лекции были рассмотрены следующие вопросы:

основания возникновения формальных систем (противоречия Канторовской теории множеств и изучение основ математики),
соотношение формалистского и интуиционистского подходов к логике и математике,
значение теорем Гёделя о полноте и непротиворечивости формальной арифметической системы её собственными средствами,
общий замысел теорий рекурсивных функций и машин Тьюринга в контексте метаматематики.

Своим мнением по поводу проведённого мероприятия поделилась студентка 4 курса Академии Доброва Екатерина: «Сегодняшняя лекция была очень интересной, мы смогли обсудить значение формальных систем для современной науки. Также мы смогли поближе познакомиться с основными принципами работы машины Тьюринга. С удовольствием бы посетила подобное мероприятие ещё раз».