Чтение онлайн

на главную

Жанры

Шрифт:

Мечты Лейбница начали сбываться лишь в середине прошлого столетия. Ирландский математик Джордж Буль (кстати сказать, отец писательницы Этель Войнич, автора знаменитой книги «Овод») выпускает в свет в Лондоне книгу «Математический анализ логики». Буль доказывает, что правила построения рассуждений можно выразить в математической форме. Доказательство можно вычислять!

В самом деле, каждое высказывание может быть либо истинным, либо ложным. Значит, можно обозначить истинность цифрой 1 и ложность — 0. А затем оказывается, что правила «двоичной арифметики» могут быть применимы и к решению логических задач.

Из простых высказываний можно строить какие

угодно сложные, подобно тому как из нуля и единицы можно строить какое угодно большое число. Сумма двух высказываний, истинных или ложных, также должна иметь одно из двух значений — быть либо истинным, либо ложным. Иными словами, иметь значение либо 0, либо 1.

Впрочем, только в этом случае есть небольшое отличие «логической арифметики» от «арифметики двоичной»: 1 + 1 = 1, а не 10. Это понятно, так как в логике нас интересует лишь вопрос о том, истинно или ложно то или иное высказывание.

Зато логическая «таблица умножения» полностью совпадает с «двоичной».

Значение работы Буля, его «алгебры высказываний» часто сравнивают со значением работ гениального русского ученого Н. И. Лобачевского, создателя неевклидовой геометрии. И, как Лобачевского, Буля ждала такая же участь: потребовалось много лет, прежде чем был понят великий революционный смысл трудов этих ученых.

Работы Буля считались бесполезной «математической забавой». Лишь немногие выдающиеся умы того времени понимали, что математические символы в логике так же важны, как буквенные обозначения в алгебре или символические знаки в химии.

Больше того, русский ученый П. С. Эренферст уже в 1910 году сумел предвидеть, какое огромное значение может иметь алгебра Буля для техники. Он указал и конкретный пример ее применения — составление схем проводов телефонной станции.

Но век электроники тогда еще не наступил. И лишь в конце 30-х годов начался настоящий триумф «алгебры Буля». В 1938 году американский математик Клод Шеннон, тогда еще студент Массачусетского технологического института, доказал, что алгебра Буля применима для релейных и переключательных схем — основы автоматики.

Значения истинности и ложности соответствуют состояниям «включено» и «выключено», «единице» и «нулю». Таким образом, появилась возможность поручить электричеству не только вычислять, но и «рассуждать». Вычислительные машины стали «разумными».

«НУЛЬ ПИШЕМ, ОДИН В УМЕ...»

Работой машины обязательно управляет человек... Это казалось таким естественным, таким очевидным, что никому и в голову не приходило другое решение. Человек-оператор управляет машиной, производящей вычисления. Он распоряжается, какие действия арифметики должна она выполнять, устанавливает порядок этих действий. Скажем, велит сначала сложить два миллиарда семьсот миллионов триста восемьдесят тысяч восемьсот двадцать пять с подобным же числом-гигантом; затем прикажет перемножить полученную сумму на самое себя, то есть возвести в квадрат, и т. д.

Сложить или перемножить число-гигант для машины — дело даже не одной секунды, а одной сотой, тысячной, сто тысячной доли секунды. Сто тысяч арифметических

операций в секунду могут делать современные машины. И даже такая фантастическая скорость действия для них не предел.

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

Нервную клетку нельзя использовать больше, чем сто раз в секунду. А за эту же секунду «нервная клетка» вычислительной машины — электронная лампа — может переключиться, «сработать» миллион и даже больше раз!

Несоответствие в скорости явное. И оно было ясно видно, когда «тихоход»-оператор управлял машиной. Выполнив со сказочной быстротой одну часть программы, машина ждала своего медлительного хозяина, когда он укажет, что делать дальше. То, что экономилось на быстроте машинной работы, тратилось человеком-оператором.

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

Теперь машина должна стать самоуправляющейся, не зависящей от оператора. Она будет знать, что ей делать, в каком порядке производить арифметические действия.

И не только порядок действия должна знать машина. Прежде она имела дело лишь с заданными числами, с условием задачи. Теперь же она должна иметь дело и с самими правилами решения этой задачи, с самой программой.

Программа, порядок действий хранился раньше в памяти человека. По мысли фон Неймана, программу нужно поместить в «память» машины. И вычислительная машина с молниеносной быстротой должна сама справляться в своей «памяти», что и как ей делать, чтобы выполнить задание до конца.

Но откуда у машин «память»? Если иметь в виду нашу, человеческую, живую память, то ее, конечно, у машины нет. Но сделать «механическую память» очень легко. Магнитофонные ленты, кинопленки, книги, записные книжки, «узелки на память», дневники, школьный журнал с отметками — все это виды «механической памяти», нужной человеку.

«Нуль пишем, один в уме»... Как часто приходится делать эта, решая задачи и примеры с вычислениями. Примерно так же поступает и вычислительная машина, «запоминая» предварительные результаты вычислений.

Но ведь программу действий машин можно записать в виде чисел, в виде набора единиц и нулей, И тогда мы получаем возможность предоставить машине «самостоятельность» в решении любой вычислительной или логической задачи. Конечно, «самостоятельность» эта условная.

Программу действий составляет человек, он заранее продумывает, что должна делать машина.

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

Поделиться:
Популярные книги

Здравствуй, 1985-й

Иванов Дмитрий
2. Девяностые
Фантастика:
альтернативная история
5.25
рейтинг книги
Здравствуй, 1985-й

Идеальный мир для Лекаря 16

Сапфир Олег
16. Лекарь
Фантастика:
боевая фантастика
юмористическая фантастика
аниме
5.00
рейтинг книги
Идеальный мир для Лекаря 16

Кодекс Охотника. Книга VII

Винокуров Юрий
7. Кодекс Охотника
Фантастика:
фэнтези
попаданцы
аниме
4.75
рейтинг книги
Кодекс Охотника. Книга VII

Назад в СССР: 1984

Гаусс Максим
1. Спасти ЧАЭС
Фантастика:
попаданцы
альтернативная история
4.80
рейтинг книги
Назад в СССР: 1984

Как я строил магическую империю

Зубов Константин
1. Как я строил магическую империю
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
Как я строил магическую империю

Дядя самых честных правил 8

Горбов Александр Михайлович
8. Дядя самых честных правил
Фантастика:
попаданцы
альтернативная история
аниме
5.00
рейтинг книги
Дядя самых честных правил 8

Попаданка в академии драконов 4

Свадьбина Любовь
4. Попаданка в академии драконов
Любовные романы:
любовно-фантастические романы
7.47
рейтинг книги
Попаданка в академии драконов 4

Стеллар. Трибут

Прокофьев Роман Юрьевич
2. Стеллар
Фантастика:
боевая фантастика
рпг
8.75
рейтинг книги
Стеллар. Трибут

6 Секретов мисс Недотроги

Суббота Светлана
2. Мисс Недотрога
Любовные романы:
любовно-фантастические романы
эро литература
7.34
рейтинг книги
6 Секретов мисс Недотроги

Лорд Системы 11

Токсик Саша
11. Лорд Системы
Фантастика:
фэнтези
попаданцы
рпг
5.00
рейтинг книги
Лорд Системы 11

Золотая осень 1977

Арх Максим
3. Регрессор в СССР
Фантастика:
альтернативная история
7.36
рейтинг книги
Золотая осень 1977

Я не князь. Книга XIII

Дрейк Сириус
13. Дорогой барон!
Фантастика:
юмористическое фэнтези
попаданцы
аниме
5.00
рейтинг книги
Я не князь. Книга XIII

Моя (не) на одну ночь. Бесконтрактная любовь

Тоцка Тала
4. Шикарные Аверины
Любовные романы:
современные любовные романы
7.70
рейтинг книги
Моя (не) на одну ночь. Бесконтрактная любовь

Раб и солдат

Greko
1. Штык и кинжал
Фантастика:
попаданцы
альтернативная история
5.00
рейтинг книги
Раб и солдат