насколько реально написать алгоритм с помощью которого компьютер сам будет писать законы?

Видел такую программу лет 5 назад.
Большинство её перлов были очень ржачными. Но формальная структура предложений была правильная.

Программа выдавала мегабайты законов типа следующих.

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

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

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

Для начала определитесь со средой, в которой эти законы должны действовать. Затем с задачами, которые эти законы должны решать. На стыке этих двух массивов данных у вас сам собой родится алгоритм...

Логичные законы никому не нужны, а других Вы из машины не получите: машина дура, жить по понятиям не умеет.

Дерзай! Может новую Вселенную создашь) со своими законами)

реально, вполне.

Закон - обычная формула, теорема. Можно писать алгоритмы по автовыводу теорем в некоторой грамматике.