MSGID: 2:5003/138.1 33047837

REPLY: 2:5003/34.220 41e2c75c

TZUTC: 0300

RFC-References: _1105381212@p220.f34.n5003.z2.ftn_
   Hello, Olga!

OL>> Отгадка в следующем номере. :)
OL>  Hе будем томить читателей, это - Бог.

   В теорему Геделя это укладывается: доказательство полноты системы А
невозможно внутри самой системы А, однако такое доказательство возможно
высокоуровневой (относительно А) системой B. Hо, в свою очередь, система В
не может доказать собственную полноту... ;)
   Если взять связку "люди - христианский бог", то проблема формализации до
сих пор не решена, что косвенно свидетельствует о том, что Бога нет. Либо о
том, что Заветы написаны людьми.

OL> Правда, во всех отношениях они с УК одинаково непонятны простому никому
OL> не нужному исполнителю... ;)

   А вот здесь и появляется наместник бога на земле - судья. Казалось бы,
если есть закон - посредник не нужен, а только объективный исполнитель:
берешь кодекс, находишь статью, примеряешь по мерке на деяние, смотришь
сколько за такое положено - и вперед. Только вот не получается - приходится
вводить субъективную человеческую составляющую: судья самолично оценивает
опасность деяния и опасность нарушителя для общества и выбирает меру,
которая ему кажется наиболее подходящей - а верхний и нижний предел этой
меры ему задает общество в виде законодательных актов.
   Красивая схема, правда? ;)

--
   Best wishes, Alexis. E-mail: alexis@sendmail.ru ICQ: 138127448

--- Fidolook 2004 (HL) 6.0.2800.93 - 23/8/2004 18:23:27
* Origin: http://mayor.vorkuta.ru (2:5003/138.1)
SEEN-BY: 5003/5 6 9 17 34 38 47 52 53 76 81 82 83 84 85 86 87 98 132 133 134
SEEN-BY: 5003/135 138 151 180 5014/33 5020/52

PATH: 5003/138 34 17