Подождите. Я потому и узко подхожу к вопросу, что к приведенным вами фактов ни у кого не возникает сомнений во вкладе отечественной науки. Только вот очень часто это говориться и никто не спорит о вкладе в _фундаментальную_ науку. А я говорю о том, что из этого потом конкретно получается. Вы описали множество теорий, мне вот как математику известно и понятно, а вот как программисту нет. Ведь немногие знают, что в Академгородок приезжал Маккарти или Вадлер? И для них это было "круто"! Пропаганды не хватает я считаю, а то все думают, что у нас только никому ненужные абстрактные теории выдумывают, а нормальную систему придумать не в состоянии. А это не так! Ещё как в состоянии!