HTML Diff
0 added 0 removed
Original 2026-01-01
Modified 2026-02-21
1 <p><a>#статьи</a></p>
1 <p><a>#статьи</a></p>
2 <ul><li>12 апр 2021</li>
2 <ul><li>12 апр 2021</li>
3 <li>0</li>
3 <li>0</li>
4 </ul><h2>Что, если современные компьютеры работали бы на троичной логике</h2>
4 </ul><h2>Что, если современные компьютеры работали бы на троичной логике</h2>
5 <p>История не терпит сослагательного наклонения - даже история компьютеров. Так что не показывайте эту статью историкам и на всякий случай компьютерам.</p>
5 <p>История не терпит сослагательного наклонения - даже история компьютеров. Так что не показывайте эту статью историкам и на всякий случай компьютерам.</p>
6 <p>Кандидат философских наук, специалист по математическому моделированию. Пишет про Data Science, AI и программирование на Python.</p>
6 <p>Кандидат философских наук, специалист по математическому моделированию. Пишет про Data Science, AI и программирование на Python.</p>
7 <p>Наименьший элемент, атом всего IT - это цифровой логический переключатель. Он получает на вход сигнал "0" или "1" и возвращает тоже ноль либо единицу.</p>
7 <p>Наименьший элемент, атом всего IT - это цифровой логический переключатель. Он получает на вход сигнал "0" или "1" и возвращает тоже ноль либо единицу.</p>
8 <p>Какие бы задачи ни решали с помощью компьютеров, но под капотом, на самом нижнем уровне, они всё равно сводятся к преобразованию этих двух чисел друг в друга.</p>
8 <p>Какие бы задачи ни решали с помощью компьютеров, но под капотом, на самом нижнем уровне, они всё равно сводятся к преобразованию этих двух чисел друг в друга.</p>
9 <p>Компьютерная логика - двоична. "Истина или ложь", "быть или не быть", "третьего не дано" - такая категоричность восходит ещё к силлогизмам Аристотеля и имеет свои недостатки.</p>
9 <p>Компьютерная логика - двоична. "Истина или ложь", "быть или не быть", "третьего не дано" - такая категоричность восходит ещё к силлогизмам Аристотеля и имеет свои недостатки.</p>
10 <p>Первые вычислительные машины разрабатывали в середине XX века. Когда решали, какими они будут, к двоичной логике накопилось уже немало претензий. Компьютеры могли быть другими.</p>
10 <p>Первые вычислительные машины разрабатывали в середине XX века. Когда решали, какими они будут, к двоичной логике накопилось уже немало претензий. Компьютеры могли быть другими.</p>
11 <p>Если бы мы снимали кино по этой истории, то по законам жанра оно открывалось бы масштабной вступительной сценой. Из таких обычно нарезают кадры для трейлера, хотя с сюжетом они чаще всего связаны слабо.</p>
11 <p>Если бы мы снимали кино по этой истории, то по законам жанра оно открывалось бы масштабной вступительной сценой. Из таких обычно нарезают кадры для трейлера, хотя с сюжетом они чаще всего связаны слабо.</p>
12 <p>В центре нашей сцены - советский "Спутник". Космическая компьютерная графика под "бип-бип-бип" и музыку Свиридова, аршинные заголовки в газетах; советские инженеры, празднующие выход аппарата на орбиту; жители западных стран, тревожно глядящие в небо.</p>
12 <p>В центре нашей сцены - советский "Спутник". Космическая компьютерная графика под "бип-бип-бип" и музыку Свиридова, аршинные заголовки в газетах; советские инженеры, празднующие выход аппарата на орбиту; жители западных стран, тревожно глядящие в небо.</p>
13 <p>А за кадром - мрачный голос приглашённой звезды. Это был бы Стивен Кинг с <a>отрывком из книги</a>"Пляска смерти" - о том, как его ужаснула новость о полёте "Спутника" в октябре 1957 года.</p>
13 <p>А за кадром - мрачный голос приглашённой звезды. Это был бы Стивен Кинг с <a>отрывком из книги</a>"Пляска смерти" - о том, как его ужаснула новость о полёте "Спутника" в октябре 1957 года.</p>
14 <p>Реакцию западных стран на этот запуск принято называть "<a>Спутниковым кризисом</a>". По его итогам правительство США усилило исследования космоса, а также финансирование вооружений, разведки, науки и образования в областях, с ним связанных.</p>
14 <p>Реакцию западных стран на этот запуск принято называть "<a>Спутниковым кризисом</a>". По его итогам правительство США усилило исследования космоса, а также финансирование вооружений, разведки, науки и образования в областях, с ним связанных.</p>
15 <p>Вычислительных машин это коснулось напрямую: свежесозданным NASA и DARPA требовались лучшие компьютеры, алгоритмы и программисты.</p>
15 <p>Вычислительных машин это коснулось напрямую: свежесозданным NASA и DARPA требовались лучшие компьютеры, алгоритмы и программисты.</p>
16 <p>Поэтому, когда в 1959 году американцы узнали, что в МГУ построили<a>ЭВМ с троичной логикой</a>и загадочным названием "Сетунь", они весьма ей заинтересовались. Конечно, она не произвела такого фурора, как "Спутник", но само её существование открывало дорогу западным разработкам в области троичной логики.</p>
16 <p>Поэтому, когда в 1959 году американцы узнали, что в МГУ построили<a>ЭВМ с троичной логикой</a>и загадочным названием "Сетунь", они весьма ей заинтересовались. Конечно, она не произвела такого фурора, как "Спутник", но само её существование открывало дорогу западным разработкам в области троичной логики.</p>
17 <p>Сейчас мы знаем, что начинания эти не привели к успеху ни на Западе, ни у нас. Причины этого по обе стороны железного занавеса были на удивление схожи: сложность предмета, отсутствие элементной базы, косность специалистов, волокита и жадность чиновников1.</p>
17 <p>Сейчас мы знаем, что начинания эти не привели к успеху ни на Западе, ни у нас. Причины этого по обе стороны железного занавеса были на удивление схожи: сложность предмета, отсутствие элементной базы, косность специалистов, волокита и жадность чиновников1.</p>
18 <p>Но всё-таки: а что, если бы тогда компьютеры стали не двоичными, а троичными? В каком мире мы бы сегодня жили?</p>
18 <p>Но всё-таки: а что, если бы тогда компьютеры стали не двоичными, а троичными? В каком мире мы бы сегодня жили?</p>
19 <p>Временно отключим внутреннего скептика и пессимиста и оценим самые вероятные перемены.</p>
19 <p>Временно отключим внутреннего скептика и пессимиста и оценим самые вероятные перемены.</p>
20 <p>? <strong>Вероятность: 3/5</strong></p>
20 <p>? <strong>Вероятность: 3/5</strong></p>
21 <p>Базовый элемент двоичного компьютера, бит, заключает в себе два вида сигналов (0 и 1).<a>Трит</a>, базовый элемент троичного компьютера, - соответственно, три (например, -1, 0, 1).</p>
21 <p>Базовый элемент двоичного компьютера, бит, заключает в себе два вида сигналов (0 и 1).<a>Трит</a>, базовый элемент троичного компьютера, - соответственно, три (например, -1, 0, 1).</p>
22 <p>Трит содержит примерно в полтора раза больше информации, чем бит. Проще говоря, бит "уменьшает незнание" об исследуемом объекте в два раза, а трит - уже в три раза.</p>
22 <p>Трит содержит примерно в полтора раза больше информации, чем бит. Проще говоря, бит "уменьшает незнание" об исследуемом объекте в два раза, а трит - уже в три раза.</p>
23 <p>Это означает, что для выполнения одинаковых задач троичному компьютеру нужно меньше логических элементов, чем двоичному. Например, для определения знака числа достаточно одного троичного элемента, а двоичных потребуется два.</p>
23 <p>Это означает, что для выполнения одинаковых задач троичному компьютеру нужно меньше логических элементов, чем двоичному. Например, для определения знака числа достаточно одного троичного элемента, а двоичных потребуется два.</p>
24 <p>Физически троичный элемент, конечно, сложнее и дороже двоичного, особенно на первых порах разработки. Однако в пересчёте на одно устройство их бы и требовалось меньше. Также можно предполагать, что новые материалы и массовое производство свели бы эту разницу к нулю.</p>
24 <p>Физически троичный элемент, конечно, сложнее и дороже двоичного, особенно на первых порах разработки. Однако в пересчёте на одно устройство их бы и требовалось меньше. Также можно предполагать, что новые материалы и массовое производство свели бы эту разницу к нулю.</p>
25 <p>Меньшее количество элементов, в свою очередь, ускоряет обработку информации, повышает надёжность, сокращает энергопотребление и тепловыделение, а также снижает стоимость. Ваши смартфон, ноутбук, десктоп, телевизор, фитнес-браслет стали бы легче, быстрее, холоднее и дешевле.</p>
25 <p>Меньшее количество элементов, в свою очередь, ускоряет обработку информации, повышает надёжность, сокращает энергопотребление и тепловыделение, а также снижает стоимость. Ваши смартфон, ноутбук, десктоп, телевизор, фитнес-браслет стали бы легче, быстрее, холоднее и дешевле.</p>
26 <p>Компьютер "Сетунь" был бы не пасхалкой из <a>ролика про русскую кибердеревню</a>, а вполне типовым первым компьютером из большой и длинной промышленной линейки. Тем более что он уже тогда стоил дешевле и работал надёжнее, чем западные аналоги, хотя и в десятки раз медленнее.</p>
26 <p>Компьютер "Сетунь" был бы не пасхалкой из <a>ролика про русскую кибердеревню</a>, а вполне типовым первым компьютером из большой и длинной промышленной линейки. Тем более что он уже тогда стоил дешевле и работал надёжнее, чем западные аналоги, хотя и в десятки раз медленнее.</p>
27 <p><strong>Временно изгнанный скептик:</strong>упорно кричит что-то про рентабельность и дороговизну производства. Мы его игнорируем и вам советуем.</p>
27 <p><strong>Временно изгнанный скептик:</strong>упорно кричит что-то про рентабельность и дороговизну производства. Мы его игнорируем и вам советуем.</p>
28 <p><strong>Вероятность: 3/5</strong></p>
28 <p><strong>Вероятность: 3/5</strong></p>
29 <p>Троичное основание вычислений, по мнению создателя "Сетуни", более естественно, поскольку многие вопросы в реальности предполагают тройственный, а не двойственный ответ:</p>
29 <p>Троичное основание вычислений, по мнению создателя "Сетуни", более естественно, поскольку многие вопросы в реальности предполагают тройственный, а не двойственный ответ:</p>
30 <ul><li>Увеличить / Не изменять / Уменьшить;</li>
30 <ul><li>Увеличить / Не изменять / Уменьшить;</li>
31 <li>Вперёд / Стой / Назад;</li>
31 <li>Вперёд / Стой / Назад;</li>
32 <li>Победа / Ничья / Поражение;</li>
32 <li>Победа / Ничья / Поражение;</li>
33 <li>Дружественный / Нейтральный / Враждебный;</li>
33 <li>Дружественный / Нейтральный / Враждебный;</li>
34 <li>Избыток / Норма / Недостаток.</li>
34 <li>Избыток / Норма / Недостаток.</li>
35 </ul><p>И так далее.</p>
35 </ul><p>И так далее.</p>
36 <p>Декомпозиция задач, то есть разбиение их на более простые подзадачи, понятные компьютеру, стала бы менее формальной, более гибкой и доступной обычному здравому смыслу. Это значит, что языки программирования и работу с компьютером освоило бы больше людей и за меньшее время.</p>
36 <p>Декомпозиция задач, то есть разбиение их на более простые подзадачи, понятные компьютеру, стала бы менее формальной, более гибкой и доступной обычному здравому смыслу. Это значит, что языки программирования и работу с компьютером освоило бы больше людей и за меньшее время.</p>
37 <p>Учитывая, что до 1980-х годов женщин в информатике<a>было столько же</a>, сколько мужчин, то, скорее всего, они отстояли бы паритет. Если вообще не превратили профессию программиста в преимущественно женскую: уж чего-чего, а здравого смысла у наших мам и бабушек всегда хватало.</p>
37 <p>Учитывая, что до 1980-х годов женщин в информатике<a>было столько же</a>, сколько мужчин, то, скорее всего, они отстояли бы паритет. Если вообще не превратили профессию программиста в преимущественно женскую: уж чего-чего, а здравого смысла у наших мам и бабушек всегда хватало.</p>
38 <p>И… тут даже не знаем, что дальше: слишком много вариантов. "Хабр" становится "Одноклассниками"? Мемы про мужскую логику? Долгопрудный - город невест?</p>
38 <p>И… тут даже не знаем, что дальше: слишком много вариантов. "Хабр" становится "Одноклассниками"? Мемы про мужскую логику? Долгопрудный - город невест?</p>
39 <p><strong>Лишённый голоса пессимист:</strong>мрачно и шовинистически кивает.</p>
39 <p><strong>Лишённый голоса пессимист:</strong>мрачно и шовинистически кивает.</p>
40 <p>? <strong>Вероятность: 4/5</strong></p>
40 <p>? <strong>Вероятность: 4/5</strong></p>
41 <p>Программы, как и компьютеры, тоже состоят из простейших элементов - операций над числами или функций от значений. Функция или операция - это закон, который определённым образом преобразует входные значения, одно или несколько.</p>
41 <p>Программы, как и компьютеры, тоже состоят из простейших элементов - операций над числами или функций от значений. Функция или операция - это закон, который определённым образом преобразует входные значения, одно или несколько.</p>
42 <p>Так, квадратичная функция возводит входящее значение в квадрат, а операция сложения из двух значений делает их сумму.</p>
42 <p>Так, квадратичная функция возводит входящее значение в квадрат, а операция сложения из двух значений делает их сумму.</p>
43 <p>В двоичной логике тоже есть функции и операции, которые по определённым правилам преобразуют нули и единицы снова в нули и единицы. Двоичных операций с одним входящим значением всего четыре:</p>
43 <p>В двоичной логике тоже есть функции и операции, которые по определённым правилам преобразуют нули и единицы снова в нули и единицы. Двоичных операций с одним входящим значением всего четыре:</p>
44 <ul><li>Полное зануление: независимо от того, ноль поступил на вход или единица, операция выдаёт ноль.</li>
44 <ul><li>Полное зануление: независимо от того, ноль поступил на вход или единица, операция выдаёт ноль.</li>
45 <li>Возврат единицы: превращение любого входного значения в единицу.</li>
45 <li>Возврат единицы: превращение любого входного значения в единицу.</li>
46 <li>Отрицание: если на входе ноль, то результат единица, и наоборот.</li>
46 <li>Отрицание: если на входе ноль, то результат единица, и наоборот.</li>
47 <li>Повторение: просто возвращает то, что поступило на вход.</li>
47 <li>Повторение: просто возвращает то, что поступило на вход.</li>
48 </ul><p>В троичной же логике число возможных операций над одним входящим значением<a>возрастает</a>до 27. Они перечислены в табличке ниже. Плюс и минус указаны вместо 1 и -1, ноль остался нолём.</p>
48 </ul><p>В троичной же логике число возможных операций над одним входящим значением<a>возрастает</a>до 27. Они перечислены в табличке ниже. Плюс и минус указаны вместо 1 и -1, ноль остался нолём.</p>
49 <p>В случае двухместных (принимающих на вход два значения) операций разница возрастает на порядки: 16 вариантов в двоичной логике и, приготовьтесь, 19 683 в троичной. Девятнадцать тысяч шестьсот восемьдесят три!</p>
49 <p>В случае двухместных (принимающих на вход два значения) операций разница возрастает на порядки: 16 вариантов в двоичной логике и, приготовьтесь, 19 683 в троичной. Девятнадцать тысяч шестьсот восемьдесят три!</p>
50 <p>Такое разнообразие уже среди базовых способов обработки информации позволяет надеяться, что для любой задачи в итоге обязательно найдётся оптимальный способ решения. А в процессе такого поиска мы бы создавали много очень разных программ.</p>
50 <p>Такое разнообразие уже среди базовых способов обработки информации позволяет надеяться, что для любой задачи в итоге обязательно найдётся оптимальный способ решения. А в процессе такого поиска мы бы создавали много очень разных программ.</p>
51 <p><strong>Изгнанные скептик и пессимист:</strong>подражают звукам зоопарка.</p>
51 <p><strong>Изгнанные скептик и пессимист:</strong>подражают звукам зоопарка.</p>
52 <p>? <strong>Вероятность: 5/5</strong></p>
52 <p>? <strong>Вероятность: 5/5</strong></p>
53 <p><a>День программиста</a>сейчас, в нашей двоичной реальности, отмечают в 256-й день года. Число 256 (28) выбрано потому, что это максимальная целая степень числа 2, значение которой не превышает числа дней в году.</p>
53 <p><a>День программиста</a>сейчас, в нашей двоичной реальности, отмечают в 256-й день года. Число 256 (28) выбрано потому, что это максимальная целая степень числа 2, значение которой не превышает числа дней в году.</p>
54 <p>Если бы компьютеры были троичными, то максимальная степень тройки, подчиняющаяся похожему условию, равнялась бы 243 (35). В невисокосный год праздник выпадал бы на 31 августа, аккурат перед Днём знаний. Совпадение? Не думаем.</p>
54 <p>Если бы компьютеры были троичными, то максимальная степень тройки, подчиняющаяся похожему условию, равнялась бы 243 (35). В невисокосный год праздник выпадал бы на 31 августа, аккурат перед Днём знаний. Совпадение? Не думаем.</p>
55 <p>Впрочем, пятая степень числа 3 - не слишком логичная дата. Вполне возможно, что праздник отмечался бы третьего марта (03.03) или, ещё лучше, в третью среду каждого третьего месяца. Главное, чтобы не раз в три года.</p>
55 <p>Впрочем, пятая степень числа 3 - не слишком логичная дата. Вполне возможно, что праздник отмечался бы третьего марта (03.03) или, ещё лучше, в третью среду каждого третьего месяца. Главное, чтобы не раз в три года.</p>
56 <p><strong>Внутренний пессимист:</strong>купается в фонтане из SimCity.</p>
56 <p><strong>Внутренний пессимист:</strong>купается в фонтане из SimCity.</p>
57 <p>? <strong>Вероятность: 2/5</strong></p>
57 <p>? <strong>Вероятность: 2/5</strong></p>
58 <p><a>Квантовый компьютер</a>в теории позволяет вычислить сразу все возможные состояния рассматриваемого объекта - например, системы уравнений или молекул вещества. Он может во много-много раз ускорить всё высокотехнологичное производство.</p>
58 <p><a>Квантовый компьютер</a>в теории позволяет вычислить сразу все возможные состояния рассматриваемого объекта - например, системы уравнений или молекул вещества. Он может во много-много раз ускорить всё высокотехнологичное производство.</p>
59 <p>Основой квантовых вычислений является<a>кубит</a> - квантовый бит. У него, как и у обычного бита, два возможных состояния, но вдобавок к ним есть и третье - состояние суперпозиции. Правда ведь, похоже на обычный неквантовый трит, упомянутый выше?</p>
59 <p>Основой квантовых вычислений является<a>кубит</a> - квантовый бит. У него, как и у обычного бита, два возможных состояния, но вдобавок к ним есть и третье - состояние суперпозиции. Правда ведь, похоже на обычный неквантовый трит, упомянутый выше?</p>
60 <p>Поэтому в мире троичных компьютеров люди быстрее дошли бы до идеи кубита и реализации квантового компьютера. Квантовые вычисления попросту становятся привычнее, ими занимается больше людей, и отрасль развивается быстрее, раньше попадая под действие закона Мура.</p>
60 <p>Поэтому в мире троичных компьютеров люди быстрее дошли бы до идеи кубита и реализации квантового компьютера. Квантовые вычисления попросту становятся привычнее, ими занимается больше людей, и отрасль развивается быстрее, раньше попадая под действие закона Мура.</p>
61 <p>Так что вероятные выгоды от внедрения<a>квантовых компьютеров</a> ждали бы нас уже сегодня: персонализированные лекарства, вещества и материалы с заранее заданными свойствами, массовый беспилотный транспорт; возможно, настоящий искусственный интеллект.</p>
61 <p>Так что вероятные выгоды от внедрения<a>квантовых компьютеров</a> ждали бы нас уже сегодня: персонализированные лекарства, вещества и материалы с заранее заданными свойствами, массовый беспилотный транспорт; возможно, настоящий искусственный интеллект.</p>
62 <p>И, конечно, никакого коронавируса.</p>
62 <p>И, конечно, никакого коронавируса.</p>
63 <p><strong>Внутренний скептик:</strong>демонстративно надевает маску.</p>
63 <p><strong>Внутренний скептик:</strong>демонстративно надевает маску.</p>
64 <p>Только о приходе квантовых компьютеров и его последствиях можно написать уйму статей. Например, у нас была бы другая криптография, потому что практически все сегодняшние шифры мощный квантовый компьютер способен взломать буквально за доли секунд (спасибо<a>алгоритму Шора</a>).</p>
64 <p>Только о приходе квантовых компьютеров и его последствиях можно написать уйму статей. Например, у нас была бы другая криптография, потому что практически все сегодняшние шифры мощный квантовый компьютер способен взломать буквально за доли секунд (спасибо<a>алгоритму Шора</a>).</p>
65 <p>А это означает другую связь (включая Интернет), новые подходы к безопасности, иные дипломатию и банковскую систему. Не было бы и блокчейна в его сегодняшнем виде, а развивался бы другой,<a>постквантовый блокчейн</a>.</p>
65 <p>А это означает другую связь (включая Интернет), новые подходы к безопасности, иные дипломатию и банковскую систему. Не было бы и блокчейна в его сегодняшнем виде, а развивался бы другой,<a>постквантовый блокчейн</a>.</p>
66 <p>Что касается нетехнических последствий, то, думается, Виктор Пелевин не написал бы, что "в реальности возможных ответов всегда три", - все бы знали это и без него. А потому - хочется верить - и конфликтов между людьми разных взглядов, поколений и убеждений было бы меньше.</p>
66 <p>Что касается нетехнических последствий, то, думается, Виктор Пелевин не написал бы, что "в реальности возможных ответов всегда три", - все бы знали это и без него. А потому - хочется верить - и конфликтов между людьми разных взглядов, поколений и убеждений было бы меньше.</p>
67 <p>Так, отказ от бинарности, например,<a>в гендерной идентификации</a>и связанных с ней<a>языковых категориях</a>, сегодня не был бы столь взрывным, воспринимался мягче. Поколения, не заточённые внутри железной логики "или-или", были бы избавлены от бунта против условностей и жёсткого неприятия любой непохожести.</p>
67 <p>Так, отказ от бинарности, например,<a>в гендерной идентификации</a>и связанных с ней<a>языковых категориях</a>, сегодня не был бы столь взрывным, воспринимался мягче. Поколения, не заточённые внутри железной логики "или-или", были бы избавлены от бунта против условностей и жёсткого неприятия любой непохожести.</p>
68 <p>Наконец, наши<a>курсы и профессии</a>направления "Программирование" стали бы совсем другими. В чём мы уверены - так это в том, что точно так же старались бы сделать их ещё увлекательнее, содержательнее и полезнее. Приходите! Для начала разберёмся с двоичными компьютерами, а там и Троичная эра подоспеет.</p>
68 <p>Наконец, наши<a>курсы и профессии</a>направления "Программирование" стали бы совсем другими. В чём мы уверены - так это в том, что точно так же старались бы сделать их ещё увлекательнее, содержательнее и полезнее. Приходите! Для начала разберёмся с двоичными компьютерами, а там и Троичная эра подоспеет.</p>
69 <a><b>Бесплатный курс по Python ➞</b>Мини-курс для новичков и для опытных кодеров. 4 крутых проекта в портфолио, живое общение со спикером. Кликните и узнайте, чему можно научиться на курсе. Смотреть программу</a>
69 <a><b>Бесплатный курс по Python ➞</b>Мини-курс для новичков и для опытных кодеров. 4 крутых проекта в портфолио, живое общение со спикером. Кликните и узнайте, чему можно научиться на курсе. Смотреть программу</a>