Без заголовка

Чтобы не застаиваться на месте, нужно не только что-то крутое делать, но и кого-то этому крутому учить. Вот я тоже на эту тему думаю. У меня знакомый утверждал, что можно так объяснить математику, что она будет проста и понятна с 12 летнего возраста. Я вот задумался над обучением старшекласников и студентов конструктивной математик и логике, которые гораздо лучше ложится в основу компьютеров и программирования, нежели классические. По понятным причинам - ибо конструктивная математика/логика в качестве доказательства существования требует сконструировать постулируемый объект, вывести возможность его существования, как следствие принципе исключения третьего, в ней недостаточно. А конструирование объекта - это уже алгоритм :).