Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Альтернативы
Недавние
Show all languages
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Из Википедии — свободной энциклопедии

Аксиома Вольфрама является результатом исследований, осуществлённых Стивеном Вольфрамом[1] при поиске кратчайшей аксиомы из одного уравнения, эквивалентной аксиомам булевой алгебры (или логике высказываний). Результатом[2] его поиска стала аксиома с шестью логическими операциями «НЕ-И» (так же известными как штрих Шеффера) и тремя переменными, которая эквивалентна булевой алгебре:

((a | b) | c) | (a | ((a | c) | a)) = c

Знаком | обозначена логическая операция «НЕ-И» (штрих Шеффера), а высказывание X | Y означает, что X и Y несовместны, т. е. не являются истинными одновременно. Эта булева функция названа в честь Генри Шеффера, который доказал, что логику остальных операций булевой алгебры («НЕ», «И», «ИЛИ» и пр.) можно выразить с использованием только операции «НЕ-И» (штрих Шеффера), которая образует базис для пространства булевых функций от двух переменных.

Вольфрам отобрал 25 тождеств Шеффера, состоящих не более чем из 15 элементов (без учёта зеркальных изображений), которые не имеют некоммутативных моделей размером, меньшим или равным 4 переменных[3].

Исследователи знали о существовании аксиомы из одного уравнения, эквивалентной булевой алгебре, которую можно выразить в терминах дизъюнкции, отрицания и штриха Шеффера. Вольфрам доказал, что не существует более короткой записи такой аксиомы, чем найденная им. Доказательство приведено в его книге «A New Kind of Science» и занимает две страницы. Таким образом, аксиома Вольфрама является простейшей (по количеству операций и переменных) аксиомой с одним уравнением, необходимой для воспроизведения булевой алгебры.

Тождества Шеффера были независимо получены различными способами и опубликованы в техническом меморандуме[4] в июне 2000 года, подтверждая соответствие с результатом Вольфрама, который нашёл аксиому в 1999 году при подготовке своей книги. В техническом отчёте[5] также приведена кратчайшая аксиома из пары уравнений, которая эквивалента булевой алгебре.

См. также

Примечания

  1. Stephen Wolfram, A New Kind of Science, 2002, p. 808–811 and 1174.
  2. Rudy Rucker, A review of NKS, The Mathematical Association of America, Monthly 110, 2003.
  3. William Mccune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist and Larry Wos, Short Single Axioms for Boolean algebra, J. Automated Reasoning, 2002.
  4. Robert Veroff and William McCune, A Short Sheffer Axiom for Boolean algebra, Technical Memorandum No. 244
  5. Robert Veroff, Short 2-Bases for Boolean algebra in Terms of the Sheffer stroke. Tech. Report TR-CS-2000-25, Computer Science Department, University of New Mexico, Albuquerque, NM

Ссылки

Эта страница в последний раз была отредактирована 29 июня 2023 в 22:50.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).