kouzdra (kouzdra) wrote,
kouzdra
kouzdra

Categories:

Математическая юриспруденция

У Фарита завязалась беседа с Витусом на тему возможности формализации юриспруденции. По мне так задача не только разрешима - но даже понятны примерные подходы к ее решению, главная проблема там - очень большой объем работы. Но в математике и компутерщине например это проделывалось - и я вполне уверен, что те же подходы сработают и тут - причем будет даже проще - потому как путь уже не раз проходился.

Просто не надо ждать моментального результата. Но с чего начинать и какая последовательность действий - вполне очевидно - начать с формализации каких нибудь законов Хаммурапи или варварских "правд" (они может даже лучше потому что варвское право отличается исключительной формальностью) простого, ну и двигаться постепенно.

По мере прояснения уже конкретных подходов, применять их к каким-то реальным подсистемам попроще и поизолированее (можно например на уставах потренироваться) etc

PS: При поиске на subj выпал забавный текст
Subscribe
  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 74 comments