Я бы в первую очередь дал основы теории алгоритмов: полные модели вычислений (рекурсивные функции, машины Тьюринга, регистровые машины, лямбда-исчисление), их эквивалентность, существование невычислимых функций, проблема останова, busy beaver, понятие о разрешимом и полу-разрешимом (перечислимом) множестве натуральных чисел, теорема о диофантовости перечислимых множеств, десятая проблема Гильберта и ее неразрешимость, другие алгоритмически неразрешимые проблемы.
Ещё бы рассказал о матлогике, формальных системах, доказуемости, арифметизации и теоремах Гёделя.
Это
в первую очередь? До декартовых координат и до понятия непрерывной функции?
Ох уж эти апологеты матлогики и теории вычислимости! Вы сами-то математику в этой последовательности изучали или в какой-то другой?
Не, мне, конечно, приятно, что кулик
nikov хвалит моё родное болото. Вероятно, сидит где-то рядом со мной на одной веточке. Но всё же надо понимать, что математика этим болотом не исчерпывается