Я думаю, область компьютерного в современной науке (ну, скажем, в точных науках) довольно широка. Но давайте попробуем дать независимое определение (точнее, описание). В любой науке есть существенные утверждения, которые не следуют из опыта; если угодно, предшествуют ему. В любой науке важную роль играют неформализуемые "эстетические" критерии. Идея может казаться "красивой" или "некрасивой", и это будет рассматриваться (явно или неявно) как аргумент в пользу ее правильности - неправильности. Наше ощущение "согласованности" - "несогласованности" какой-то совокупности фактов тоже, в общем, как правило, неформализуемо. Вот эта вот часть науки, та, что _предшествует_ анализу данных наблюдений или экспериментов, кажется мне мистической.