Логическая машина Джевонса
Имя выдающегося английского ученого Уильяма Стенли Джевонса (William Stanley Jevons, 1835-1882) сегодня редко упоминается в связи с историей вычислительной техники. И это крайне несправедливо, ведь на самом деле сегодняшний вид булевой алгебре придал не кто иной, как Джевонс. Именно благодаря работам Джевонса алгебра логики сформировалась практически в современном виде. Одного этого было бы достаточно, чтобы поместить Джевонса в пантеон компьютерной славы. Но, сверх того, он стал первым, кто построил настоящую логическую машину. Слово машину следует подчеркнуть, поскольку устройства Луллия и Стенхоупа машинами назвать все-таки трудно.

Первая работа Джевонса в области логики появилась в 1863 году. Приблизительно в это же время, для упрощения логических выкладок, он начал использовать «логическую доску» (logical slate), – обычную классную доску, на которой слева были выписаны все возможные комбинации логических переменных и их отрицаний для числа переменных от одной (два варианта) до шести (64 варианта).
________________________________________________________________________________
Так, для справки: Это ни что иное, как современные понятия бита и байта. Если в одном байте будет 1 бит, то байт получится всего 2: 0, либо 1; если в байте будет 2 бита, то байт получится 4: 00, 01, 10 и 11; если 3 бита, то 8 значений байта, и т.д. Современный стандарт байта имеет 8 бит и, соответственно, 256 значений.
________________________________________________________________________________
Позднее Джевонс изобрел другое предназначенное для учебных целей приспособление, которое назвал “логическим абаком”. Он писал: «Абак является самым подходящим средством для объяснения сути и хода процесса формального вывода, и его можно с успехом использовать во время лекций для демонстрации полного анализа аргументов и логических условий и объяснения возможных ошибок».

Это была установленная с наклоном обычная школьная доска, на которой имелись четыре горизонтальные полочки одинаковой длины. На верхней полочке помещались дощечки с записанными на них посылками, (кроме букв, они могли содержать также знаки операций, например, равенство). На второй сверху полочке устанавливались тонкие деревянные прямоугольные дощечки с написанными на них комбинациями букв, символизирующих логические переменные и их отрицания.
По свидетельству Джевонса, принцип, который он использовал при построении логического абака и назвал “непрямым выводом”, был позаимствован им у древнегреческого философа Хрисиппа (III в. до н.э.).
Обдумывая моделирование логических действий, Джевонс понял, что операция исключения комбинаций переменных, несовместимых с посылками, которую выполнял на абаке человек с указкой, может быть механизирована. Действительно, движения держащей линейку руки и движения рычагов механизма чем-то похожи! Именно на этой аналогии и был основан принцип работы построенной им в 1869 году логической машины. Внешне она походила на небольшое фортепьяно (высота машины составляла около 90 см) с клавиатурой из двадцати одной клавиши – это сходство еще больше усиливала крышка, которая по завершении работы прикрывала клавиши.

Перед началом решения все 16 комбинаций переменных были видны в окне на фасаде машины. Поскольку Джевонс создавал свою логическую машину в первую очередь для учебных целей, он использовал ее как наглядное пособие на лекциях по логике. Поэтому точно такое же окно имелось и на тыльной стороне корпуса машины, обращенной к аудитории, и слушатели могли видеть те же комбинации букв.
Сам Джевонс считал свою машину всего лишь учебным пособием, помогающим лучше понять механизм логического вывода. Но все-таки машина Джевонса (которая сегодня хранится в Музее истории наук в Оксфорде) стала первым и достаточно удачным вариантом механизации процесса логического вывода, и, более того, указала цель, к которой можно стремиться моделирование человеческого мышления.