[Freeschool] Re: Principia Informatica

[Maksim Otstavnov]

Hello aen,

Thursday, May 08, 2003, 3:26:02 PM, you wrote:

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

Давайте энумерируем. Для меня в "программирование" безусловно попадают:

- "качественная" проблематика алгоритмов (включая computability,
  финитность и эквивалентности разного вида (например, пост/предусловной
  записи и алгоритмической; директивной, функциональной и
  логической...);
- проблематика их количественной оценки (feasibility, включая проблему
  P=NP);
- проблематика типизации данных (включая приводимость типов).

_Прямое_ отношение к "кризису математики" рубежа XIX-XX вв. имеет
разве что последний пункт.

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

"А по-моему, сапоги выше Пушкина". Вопрос о языке, как он обычно
ставится, это и есть перечисленное выше.

a> Она заставила говорить о границах формализации и ее возможностях.

Для меня это просто ложные постановки вопросов. Чистое мышление ---
это слишком сильная абстракция. Если голову не отрезать, думать легче
:)

-- 
-- Maksim