Сегодня обнаружил вот такой доклад: http://dspace.mit.edu/handle/1721.1/6707?show=full На гуглвидео есть доклад этих же чуваков вроде как на ту же тему: http://video.google.com/videoplay?docid=.....9434151616# Но видео я ещё не смотрел. Так вот, там раскрывается вопрос о разных багах в применении математического аппарата в науке, в частности, в теоретической механике - как там бывают дырки в доказательствах, как из ошибочных посылок можно получить формально верный результат и как люди, физики, иногда применяют математический инструментарий, совершенно не понимая, что они делают. Этим чувакам вроде как удалось обойти баги и всякие неоднозначности, представляя физические законы в виде программ на scheme-подобном языке. Это довольно интересным образом перекликается с моим вчерашним постом про право, про то, как сделать его строгим и независящим от разных субъективных факторов. Я думаю, и в области права следовало бы релизовать какой-то подобный механизм. Проблема, конечно, в том, что право, если к нему подходить с научно-технической точки зрения, где-то приблизительно в 100500 раз сложнее теормеха, и нет такой науки, которая бы не оказывала влияние на право. Но надо всё-таки подумать в этом направлении. Дорогу осилит идущий.