[Freeschool] 20.03: opinion

[Maksim Otstavnov]

Hello Michael,

Friday, March 29, 2002, 2:41:15 PM, you wrote:

>> #define информатика "теория типов + анализ структуры и синтез
>>                     алгоритмов + теория сложности вычислений"
>> 

MB> Всё же computer science больше напоминает не математику. И совсем
MB> не математику, а гуманитарные науки. Сравните класс, объект,
MB> наследование,

Это все чешуя вокруг да около. Суть не в том. Суть в том, что мы можем
абстрагироваться от _исполнения_ и изучать свойства тех же типов и
алгоритмов per se. Это начало науки.

MB> В той же лингвистике сколько угодно математики, однако она - 'о
MB> языке'. А информатика - 'о человеке за компом'.

Нелогично один раз показывать на предмет (язык), а другой раз на
объект. Непонятно, почему "о человеке за компом" информатика, а,
допустим, не биология или история.

Есть компьютер, нет компьютера, есть люди, нет людей -- в предмете это
ничего не меняет.

-- 
-- Maksim