Вычислимые действительные числа и их нумерации.
	Начальные понятия дескриптивной теории алгоритмов.
	Нестандартные модели - хорошо это или плохо.
	Теорема Гёделя — синтаксическая версия.
	Теорема Гёделя о неполноте и четыре дороги, ведущие к ней.
	Четыре алгоритмических лица случайности.