Занятия (на которых будут в основном решаться задачи) посвящены результатам, показывающим принципиальные дефекты формализации математики: существование(1) (очень простых!) функций из N в N, которые ни один компьютер не может сосчитать (невычислимость);(2) подмножеств натуральных чисел, принадлежность к которым не может определить ни одна машина (неразрешимость);(3) математических утверждений о натуральных числах, которые нельзя вывести из аксиом в данной формальной системе, хотя они заведомо верны (недоказуемость, или замечательная теорема Гёделя о неполноте).