Теоретичне
10 Dec 2010 19:37![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
kondybasЧи може існувати законодавство, що повністю нормалізується за Бекусом-Науром?
Якщо ви не зрозуміли, про що йдеться - перепостіть із посиланням, може питання дійде за адресою.
kondybasЧи може існувати законодавство, що повністю нормалізується за Бекусом-Науром?
Якщо ви не зрозуміли, про що йдеться - перепостіть із посиланням, може питання дійде за адресою.
(no subject)
Date: 10 Dec 2010 17:45 (UTC)(no subject)
Date: 10 Dec 2010 17:53 (UTC)(no subject)
Date: 10 Dec 2010 18:05 (UTC)(no subject)
Date: 10 Dec 2010 18:08 (UTC)(no subject)
Date: 10 Dec 2010 18:01 (UTC)закони
(no subject)
Date: 10 Dec 2010 18:06 (UTC)(no subject)
Date: 10 Dec 2010 18:10 (UTC)(no subject)
Date: 10 Dec 2010 18:01 (UTC)тоді чиновник?
:)
(no subject)
Date: 10 Dec 2010 18:03 (UTC)(no subject)
Date: 10 Dec 2010 18:06 (UTC)часи інквізиції
нас судят
пишите законы
(no subject)
Date: 10 Dec 2010 19:47 (UTC)(no subject)
Date: 10 Dec 2010 21:37 (UTC)Власне, це все вже давно реалізовано в схожих галузях, типу автоматичного доведення теорем. З формальної точки зору нема жодної різниці між доведенням чи спростуванням теореми із заданними вхідними умовами, та доведенням чи спростуванням позову однієї сторони до іншої. Проблема лиш в тому, що система права надзвичайно "брудна". В ній багато невизначеностей та протиріч, часто-густо зумисне внесених в систему законодавства для того, аби віддати рішення на відкуп людині, що буде мати з того зиск. Якщо систему права - починаючи з конституції - строго формалізувати, то "судейським" та "парламентським" не залишиться ніякої волі в "законотворстві" та "законовідправленні".
(no subject)
Date: 10 Dec 2010 22:30 (UTC)ЗЫ: что касается какого-либо противодействия подобными идеям, то такового нет. Бери, фандрейзи, делай.
(no subject)
Date: 11 Dec 2010 08:41 (UTC)Насправді, це одна й та ж проблема, тільки у різних проявах. Відсутність системного підходу. Звідси і недетермінованість базових понять, які кожен трактує, як заманеться, і відсутність чіткого зв"язку між базовими поняттями та власне законами, і, як наслідок, неможливість не тільки автоматизувати, а навіть зрозуміти існуючу систему. Та й запам"ятати теж. Єдине, що в цій системі вдається добре - це забашляти, щоб дишло закону повернули в будь-якому напрямку.
(no subject)
Date: 11 Dec 2010 19:46 (UTC)(no subject)
Date: 11 Dec 2010 19:57 (UTC)(no subject)
Date: 11 Dec 2010 20:05 (UTC)щонайменше теоретично
але не забувайте, хто пише і головне - хто приймає закони
плювали вони на формалізацію і нормалізацію разом, що хочуть те й пишуть
(no subject)
Date: 11 Dec 2010 20:18 (UTC)(no subject)
Date: 11 Dec 2010 20:19 (UTC)(no subject)
Date: 10 Dec 2010 22:24 (UTC)наша конституція протирічива, отже БНФ ідут нахуй
(no subject)
Date: 11 Dec 2010 08:42 (UTC)тьфу блять точно
Date: 11 Dec 2010 08:51 (UTC)(no subject)
Date: 11 Dec 2010 02:30 (UTC)(no subject)
Date: 11 Dec 2010 08:33 (UTC)Так що, не аргумент.
(no subject)
Date: 11 Dec 2010 19:45 (UTC)а от практика правозастосування - то вже дещо інше
(no subject)
Date: 27 Apr 2011 08:39 (UTC)Але куди подіти "... та інше"?
(no subject)
Date: 27 Apr 2011 09:02 (UTC)