ПОЧЕМУ информатику и программирование считают наукой? Ведь в них нет ни одной теоремы или закона.

Question

То есть в них нет научного аппарата: полного набора аксиом, формулировок законов и т. д. В них нет также аппарата эксперимента, даже мысленного, потому, что подвергать сомнению объекты информатики и программы - это дурной тон. Ведь программа либо работает (в ней нет ошибок) , либо не работает из-за ошибок.

Answer 1

В научном мире существует путаница между русскоязычным понятием наука и его англоязычным аналогом science. Последне слово применяют как к наукам в целом, так и конкретно к естественным наукам, случайно или намеренно опуская данное уточнение. А потом из-за этого опущения люди берут науки, отличные от естественных, и оценивают их по критериям естественных наук. И у них возникают подобные вопросы.

Answer 2

Потому что для создания новых программ кроме собственно математики надо обладать способностью описывать производственные и общественные процессы формулами, математическим приближениями, нужно разбираться во всех сферах жизни, которых касается рука программиста. Не зря этому учат 5 лет в университете.

Answer 3

Программированию можно научить. То есть, передать знания от поколения к поколению. В этом смысле, информатика и программирование это такие же дисциплины как физика, химия и т. д.

Answer 4

Программирование - техническое искусство, инженерия.
Не наука. Не бывает докторов программистских наук.
Но программирование может использовать научные предметы: математику, физику, химию, биологию, экономику и т. д.

Answer 5

Математика не основана ни на каких физических, биологических и прочих законах но может эти законы описывать.
А алгоритмы могут описывать также процессы независимо от их природы.
Законы можно любые придумать крокодил настолько прямоугольный насколько он зеленый. Это аксиома.