[Freeschool] Re: Principia Informatica

[Maksim Otstavnov]

Hello aen,

Thursday, May 08, 2003, 2:00:00 PM, you wrote:

a> Программирование -- фундаментальная дисциплина, возникшая из кризиса
a> математики начала века и предметом его является формализация мышления.

Хороший тезис.

А чем послекризисное фундаментальное программирование Тьюринга (а хоть
бы и Чёрча) отличается от докризисного нефундаментального г-жи Лавлейс
по предмету, I wonder.

Я от заварушки начала века вижу, по большому счету, лишь теорию типов.

А "экстремист" Дейкстра как раз решил очень интересную задачку из
области формализации мышления: представил процесс как структуру. Вот
теперь это (алгоритм) действительно можно изучать (или не изучать) в
школе. Потому что нарисованный процесс можно изучать только в ПТУ.

-- 
-- Maksim