Бюрократы, Проверяющие участников, importer, Администраторы интерфейса, interwiki, oversight, patroller, Администраторы (Semantic MediaWiki), steward, Скрывающие, Администраторы
8365
правок
Изменения
Перейти к навигации
Перейти к поиску
Строка 69:
Строка 69: + +
Дискуссия об исчерпывающей формализации законодательства (править)
Версия от 12:30, 12 ноября 2023
, 1 год назад→Текущая ситуация
== Текущая ситуация ==
== Текущая ситуация ==
Несмотря на то, что, как показано выше, идея о полной формализации законодательства является откровенной [[Маниловщина|маниловщиной]], обоснование этого факта, зачастую, оказывается достаточно сложным для понимания начальства, а энтузиасты, пытающиеся протолкнуть идею - весьма убедительными<ref>Тем более, что они могут искренне верить в идею, также не разобравшись в том, что предлагают.</ref>. По этой причине теория о возможности полезной формализации законодательства и "[[Автоматическое правосудие|автоматического правосудия]]" находит определённое понимание среди политиков, которые, временами, высказываются в поддержку данной затеи.
Несмотря на то, что, как показано выше, идея о полной формализации законодательства является откровенной [[Маниловщина|маниловщиной]], обоснование этого факта, зачастую, оказывается достаточно сложным для понимания начальства, а энтузиасты, пытающиеся протолкнуть идею - весьма убедительными<ref>Тем более, что они могут искренне верить в идею, также не разобравшись в том, что предлагают.</ref>. По этой причине теория о возможности полезной формализации законодательства и "[[Автоматическое правосудие|автоматического правосудия]]" находит определённое понимание среди политиков, которые, временами, высказываются в поддержку данной затеи.
Прагматично мыслящие программисты, в частности, исследователи [[INRIA]] разрабатывают [[Catala|исследовательские проекты]], которые обеспечивают фрагментарную формализацию законодательства, которая могла бы оказаться полезной.
=== Практическая реализация ===
=== Практическая реализация ===