?

Log in

No account? Create an account

October 12th, 2011

Теорема Гёделя

Вчера «Верховный суд признал законными ограничения на продажу алкогольной продукции через Интернет.
В соответствии с пунктом 5 «Правил продажи товаров дистанционным способом, утвержденных постановлением правительства РФ» не допускается продажа дистанционным способом алкогольной продукции, а также товаров, свободная реализация которых запрещена или ограничена российским законодательством.
»


Действительно, продажа алкоголя малолетним или в ночное время запрещена. Кстати, запрещена она ночью только для относительно бедных, которые не могут позволить себе заглянуть в ночной бар или ресторан, и для не слишком дальновидных, которые не припасли хотя бы несколько бутылочек себе впрок. Но причем же здесь интернет? Во многих цивилизованных странах алкоголь продается через интернет магазины при соблюдении строгих ограничений на минимальный возраст для потребления алкогольных напитков.


В России почему-то есть святая вера в чудеса. В 90-е вдруг все поверили, что если создать свободный рынок, то все счастливо заживут лучше американцев и немцев. Осчастливить удалось очень немногих – остальные еще долго будут расхлебывать последствия этого свободного рынка. В 00-е в нас вселили веру, что только правильно и безошибочно написанные законы спасут страну. Иногда мне кажется, что наш самый главный юрист и сам верит, в то, что говорит. Последствия такого законотворчества будут еще круче, чем от рыночной экономики 90-х.


Для меня законы типа ограничения продажи алкоголя через интернет на основании других ограничений продажи алкоголя – яркий пример ненужной рекурсии или ссылки на самого себя. Это, примерно, как в парадоксе лжеца из посланий апостола Павла Титу, когда один критянин утверждал, что все критяне лжецы. Закон, «выведенный» из другого аналогичного закона приведет в конечном итоге к противоречию, поскольку, природа так устроена, что ни один новый объект не познается сам по себе, а только при привлечении новых дополнительных знаний. Поэтому замкнутые системы, какими бы красивыми построениями они не казались изначально, не могут быть полными и непротиворечивыми в конце. В формальной математике теорему о принципиальной невозможности вывести (возможно даже самую жизненноважную) справедливую формулу в рамках непротиворичивой замкнутой логики доказал еще в 30-х годах прошлого столетия австрийский математик-логик Курт Гедель.


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


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

Profile

Golden Gate
afrikanbo
Андрей Ростовцев

Latest Month

July 2014
S M T W T F S
  12345
6789101112
13141516171819
20212223242526
2728293031  

Tags

Powered by LiveJournal.com
Designed by Michael Rose