UPD из 2025 года: прошло много лет и ребята из проекта OpenLaw написали именно то что я хотел:
https://openlaw.io
Джентльмены, у меня теоретический вопрос.
Мы тут все образованные люди и знаем что бывают естественные и формальные языки.
Вопрос такой:
Если законодательство и юриспруденция требуют точности в формулировках и работают с такими понятиями как логика и выводы и доказательства - то почему до сих пор не создано ни одного языка программирования, который бы имел возможность преобразования программного кода в текст договоров, законов и других документов?
Почему все юристы в своей работе до сих пор используют естественный язык вместо формального?
Если такие языки есть - то было бы очень интересно привести примеры в комментариях.
Если нет - то какие принципиальные проблемы мешают созданию такого языка? Если это невозможно - то почему?
Возможности открываются просто потрясающие: автоматическое построение доказательств, автоматическая генерация выводов, проверка утверждений на непротиворечивость, и так далее.
Хотелось бы услышать мнение сообщества на эту тему.