А.Шень

Александр Ханиевич Шень планирует провести 2-3 занятия (или больше, в зависимости от запросов слушателей). Возможные темы:

Доказуемость и недоказуемость (почему некоторые утверждения нельзя ни доказать, ни опровергнуть?).
Вычислимые функции (почему некоторые функции нельзя вычислить на компьютере?).
Сложность алгоритмов.
Формальные языки и исчисления.

Точная тема курса будет выбрана 19 июля на открытии школы в зависимости от пожеланий слушателей.