Я ходил на всякий случай в англоязычную версию, у видел, что там точно такое же понимание закона (а ссылка там на оксвордскую энциклопедию):
Цитата:
A physical law or scientific law, according to the Oxford English dictionary, "is a theoretical principle deduced from particular facts, applicable to a defined group or class of phenomena, and expressible by the statement that a particular phenomenon always occurs if certain conditions be present."
-- Вс сен 07, 2014 01:43:02 --Ну вот даже тут видно, что вы даже Викю прочитали неправильно. "Эмпирически установленная" - не значит, что не выводится. Эмпирика - это наблюдения и эксперименты. Так что, физический закон как раз выводится, из наблюдений и экспериментов.
Читайте внимательнее. В том контексте, в котором шла у нас речь, под "выводом" подразумевался математический вывод одного утверждения из другого, а не обобщение эмпирических фактов в виде математической формулировки.
И Викя здесь неправа в том, что это только одна разновидность физических законов. Есть и другая - установленные не эмпирически, а теоретически. Это означает, что в рамках теории (математической модели) они являются теоремами, доказываемыми из постулатов (аксиом модели). Например, в рамках механики Ньютона из постулатов (законов Ньютона, + ещё мелочёвка, если надо) могут быть выведены законы сохранения механческой энергии и импульса. То, что исторически они сначала были обнаружены эмпирически, не играет никакой роли. Есть аналогичные теоретические законы, которые не были обнаружены эмпирически до своего теоретического вывода. Например, теорема вириала, или распределение Максвелла.
Munin, я с самого начала оговаривался, что при одном рассмотрении какое-то утверждение может быть законом, а при другом - просто теоремой, которую продолжают называть законом скорее всего в угоду тому, что изначально это все-таки было открыто как закон.