Заявка на обучение

Подписаться на рассылку

Письмо в деканат

Задать вопрос

Юридическая консультация

Оставить отзыв

Письмо сотруднику

Замечание

Письмо администрации

Регистрационная форма участника

Приемная комиссия +7 (8362) 641-541, 688-088 prk@marsu.ru

Приемная комиссия +7 (8362) 641-541, 688-088 prk@marsu.ru

Марийский государственный университет
Опорный вуз Марий ЭлУчастник программы "Приоритет 2030"

Федеральное государственное бюджетное образовательное учреждение высшего образования

Меню

Университет

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

25.10.2023

23 октября состоялось второе заседание студенческого математического семинара. Студент группы МА-32 Иван Винокуров выступил с докладом "Теоремы Гёделя о неполноте".

По словам докладчика, этой темой он заинтересовался ещё будучи школьником, и чтобы разобраться в ней, самостоятельно изучил ряд обзорных статей и видеолекций по математической логике. Слушателями на семинаре были студенты групп МА-12, МА-32, МА-42 и ФБ-11, а также доцент Мансурова Елена Рашидовна.

Иван начал доклад с вопроса к аудитории: любая ли математическая гипотеза, по мнению слушателей, может быть рано или поздно доказана или опровергнута? Мнения студентов разделились. Затем докладчик привёл примеры математических проблем, которые до сих пор остаются открытыми. Может ли быть так, что их вообще невозможно разрешить? Оказывается, в силу первой теоремы Гёделя о неполноте, в формальной арифметике обязательно существуют утверждения, которые нельзя ни доказать, ни опровергнуть.

Следующая часть доклада была посвящена изложению математического аппарата, необходимого для доказательства теорем Гёделя. Была описана нумерация Гёделя, позволяющая сопоставлять математическим утверждениям и доказательствам их натуральные номера. Далее был представлен эскиз доказательств первой и второй теорем Гёделя о неполноте, включающий описание всех основных этапов этих доказательств.

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


Последние объявления

Итоги Межрегиональная онлайн олимпиада «Науки о Земле - 2024»

20 мая 2024 года на платформе Марийского государственного университета состоялась ежегодная Межрегиональная онлайн олимпиада «Науки о Земле».

05.06.2024

Большой путь начинается с малой родины

Стартовал XXI Всероссийский конкурс авторских проектов «Моя страна –моя Россия» – проект президентской платформы «Россия – страна возможностей». Жители всех регионов России могут принять участие и предложить инициативу по развитию своего города.

07.05.2024

20 мая 2024 года пройдет Межрегиональная онлайн олимпиада «НАУКИ О ЗЕМЛЕ».

Приглашаются студенты высших учебных заведений, обучающиеся общеобразовательных школ и средних профессиональных учреждений Республики Марий Эл и сопредельных регионов.

07.05.2024



Календарь мероприятий

Отчеты
с прошедших
мероприятий

  • 2
    Студентка СПО ППФ на Международном детском Медиасаммите от ЮНПРЕСС
  • 5
    Заявка на грант – путь к успеху!
Все фотоотчеты