Математика, от мамонтов до наших дней
Доказательство от противного
Формальные доказательства
Вычислимые функции и их алгоритмы
Немного программирования
Проблемы остановки и тождественности
Перечислимые и разрешимые множества
Существуют ли несчетные множества?
Формулы арифметики их номера
Теорема Гёделя о неполноте
Что такое истина?
Интуиция искусственного разума