Первое заседание студенческого математического семинара

Студент группы МА-12 Никита Скобелев выступил с докладом «Формальные аксиоматические теории». Докладчик рассказал о формальных языках и интерпретациях, о проблеме правильного прочтения формул с символами унарных и бинарных операций с учётом их приоритета, об общей конструкции рекурсивного определения и её применениях в математической логике, а также об аксиомах, гипотезах и правилах логического вывода. Никита ответил на все вопросы слушателей, а также рассказал о своём стремлении к освоению математики на максимально строгом уровне, откуда у докладчика и возник интерес к самостоятельному изучению математической логики. Семинар завершился обсуждением отдельных методических и психологических аспектов изучения математики, выступлений на семинаре и подготовки к экзаменам.