1475 читали · 3 года назад
Парадоксы формализации. Возможна ли математика Всего?
Метод формализации является одним из основополагающих теоретических методов в математическом и естественно-научном знании. В математике он базируется на аксиомах, в физике на идеях, принципах и общих понятиях. Под формализацией понимается особый подход в научном познании, который заключается в использовании специальной символики, позволяющей отвлечься от изучения реальных объектов, от содержания описывающих их теоретических положений и оперировать вместо этого некоторым множеством символом (знаков)...
Четыре трубы и юриспруденция
Разбирая свои записи для лекций перед молодыми юристами, я наткнулся вот на какое место. Я взялся им рассказывать, что для решения какой-либо юридической задачи в принципе, а не просто ситуативно угадывая решение (по принципу: «а ты на чьей стороне – истца или ответчика?»), необходимо так её параметризовать, чтобы найти некоторые значения, которые отрываются от содержания… или, что точнее, объемлят в себе и то содержание, которое обрисовывается перед вами, и, возможно, и что-то ещё, на первый взгляд вообще никак не связанное с излагаемой задачей...