О Второй логике

["Klein" <klein@zen.ru>]

Рассылка "Низкоуровневое программирование для дZeнствующих # 18:

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

Привет!
Кл.

PS:
Рассылка - здесь:
---------
Приглашаю всех посетить мой дZенский сайт
(http://hi-tech.nsys.by) и прошу разрешить мне писать
в вашу группу ОТКРЫТО, а не таким извращенным образом,
как сейчас...
С уважением,
DZ Serrgio
"руководитель проекта" HI-TECH
mailto:serrgio@gorki.unibel.by
---------


PPS:

Рассылка "Низкоуровневое программирование для дZeнствующих # 18:

"Вводимая в машину информация уже содержит результат в скрытом виде и
состоит из условий (исходных данных) и программы решения (алгоритма). Т.е.
работа машины не даЈт НОВОЙ информации, а при преобразованиях КОЛИЧЕСТВО
ИНФОРМАЦИИ остаЈтся неизменным, хотя она и может переходить в потенциальное
состояние и обратно.
  Хао Ван заставил компьютер совершать преобразования, предусмотренные
системой оснований Б.Рассела и А.Уайтхеда, и получил множество следствий,
доказательств теорем и математических истин. Но машина - замкнутая
сигнальная система, истина есть некоторый порядок (т.е. содержит
информацию), а новую информацию несут только независимые истины.
  Причиной невозможности изменить величину информации в модели (системе,
отражающей отдельные, ограниченные в нужном направлении стороны явлений),
невозможности самообучения является 4-й закон логики, сформулированный
Лейбницем - закон "достаточного основания". Он явился первым вариантом
закона сохранения информации.
  Однако Джордж Буль, предложивший алгебру логики, из которой можно вывести
и другие системы логики (включая классическую аристотелеву логику модусов),
также указал выход - он установил, что алгебра логики изоморфна теории
вероятностей: согласно определению, теория вероятностей есть булева алгебра
с переменной нормой, изменяющейся от нуля до единицы (где 0 - ложь, 1 -
истина, 1/2 - неопределЈнность). Именно в процессе изменения нормы
увеличивается полнота и ценность информации, создаются условия для еЈ
накопления. Поэтому столь немалое внимание уделяется генераторам случайных
чисел."

Кл.