Теоремы Гёделя и алгоритмическая неразрешимость

Строгие математические формализации понятия "алгоритм" были введены в 1930-е и 1940-е гг. в работах специалистов по математической логике. Исследования по теории алгоритмов во многом предопределили развитие современных вычислительных технологий. В докладе в научно-популярной форме будет рассказано о некоторых результатах из области математической логики и теории алгоритмов. Особое внимание будет уделено теоремам Гёделя и алгоритмически неразрешимым проблемам.