[Freeschool] Re: Principia Informatica

[aen]

Maksim Otstavnov пишет:

>Hello aen,
>
>Thursday, May 08, 2003, 2:00:00 PM, you wrote:
>
>a> Программирование -- фундаментальная дисциплина, возникшая из кризиса
>a> математики начала века и предметом его является формализация мышления.
>
>Хороший тезис.
>
>А чем послекризисное фундаментальное программирование Тьюринга (а хоть
>бы и Чёрча) отличается от докризисного нефундаментального г-жи Лавлейс
>по предмету, I wonder.
>
Вы пытаетесь сузить предмет.

>
>Я от заварушки начала века вижу, по большому счету, лишь теорию типов.
>
"Заварушка" поставила вопрос о языке, фундаментальный вопрос, стоящий 
выше вопросов алгоритмирования.
Она заставила говорить о границах формализации и ее возможностях.

Rgrds, AEN

>
>
>  
>