Дополнение к варианту 1

Критерием истины в TCS является математическое доказательство. Аналогичная ситуация с математической физикой, которую сами физики физикой не считают, ибо это математическая наука. В ней все упирается в математические доказательства.

Можно сказать, что с теоретической информатикой примерно такая же картина.

(Reply to this) (Parent)