Відбувся науково-методичний семінар кафедри математики і фізики «Проблеми аксіоматичної побудови математики»
22 березня 2021 р. відбувся науково-методичний семінар кафедри математики і фізики «Проблеми аксіоматичної побудови математики» (доповідач – старший викладач, кандидат фізико-математичних наук Володимир Фоменко).
На семінарі були розглянуті питання аксіоматичної побудови геометрії та арифметики, зокрема, був наведений приклад неповноти аксіом Евкліда . Також були розглянуті дві теореми К. Гёделя про принципові обмеження формальної арифметики (одна з них – відома теорема про неповноту арифметики). Ці теореми довели, що програма Гільберта аксіоматичної побудови математики не може бути реалізована повною мірою: навіть в арифметиці при будь-якому виборі аксіом існують теореми, які неможливо ні довести, ні спростувати простими (фінітними) засобами.
