Это все, что требуется, чтобы доказать, что предположение «
Таблица 17. Подобные штуки именуют «таблицами истины», и вы только что с помощью одной из них доказали, что р равняется ¬¬р.
Смотрите, мы не будем говорить, что вы самый великий логик в истории. Но мы скажем: вы определенно величайший логик в истории на данный момент
Мы приводим перечень действительных аргументов в приложении D, и если вы решите замутить предельно логическую цивилизацию, то этот список сэкономит вам кучу времени. Понятно, что это лишь один из многих способов упорядочить систему логики: вы можете создать более сложные варианты, базирующиеся на степенях истинности[203], включить больше сложных взаимосвязей[204] и т. д.
Причина того, что мы описали именно такую систему, состоит в том, что в ней рассматриваются либо абсолютная истинность, либо абсолютная ложь, и ничего между ними, то есть это бинарная логика. И как вы увидите в разделе 17, бинарная логика пригодится вам для создания машин, которые мыслят столь же логично, как и вы сами, но в тысячи раз быстрее.
Логика – единственный способ придумать видеоигры и смотреть кино в кровати снова.
СОВЕТ ПРОФЕССИОНАЛЬНОГО ЦИВИЛИЗАТОРА:
Большое пожалуйста.
На этом завершается большой раздел, посвященный технологиям, к которым вы обращаетесь, чтобы справиться с обычными человеческими жалобами, и теперь мы переходим к химии, философии, искусству и медицине: областям знания, которые даже пусть и не запрашиваются так часто, все же значительным образом совершенствуют любую цивилизацию.
11
Химия: что такое на самом деле разные штуки и как их изготавливать?
Хитрость в химии в том, чтобы никогда… не реагировать слишком остро.
Химия – это искусство выкапывать разные штуки из земли и превращать их в другие, более полезные. Подобная трансформация может происходить в разных формах, и, чтобы полностью изучить их все, понадобится целая жизнь. У нас есть всего несколько страниц, так что приготовьтесь к очищенной, взрывающей мозг информации.
Из чего сделаны вещи?
Это один из наиболее фундаментальных вопросов, которыми когда-либо озадачивалось человечество, и на то, чтобы получить ответ, ушло не одно тысячелетие умственной работы. У вас нет столько времени, поэтому вот вам: вещи состоят из атомов. Атомы представляют собой крошечные кусочки материи около 0,1 нм размером. Центр атома занимает ядро, состоящее из положительно заряженных протонов и нейтральных нейтронов, и в нем сосредоточено 99,9 % атомной массы.
Существует более ста разных видов атомов, называемых «химическими элементами». Количество протонов в ядре каждого атома определяет, к какому элементу тот принадлежит: любой атом с 1 протоном будет водородом, с 8 протонами – кислородом, с 33 – мышьяком. Поскольку кислород нужен вам для выживания, а мышьяк является смертельным ядом, вы наверняка захотите узнать, сколько протонов содержат атомы разных элементов.
И тут вам повезло, поскольку мы изложили всю информацию по этому поводу в большой таблице, именующейся периодической таблицей элементов (приложение В). Таблица полная, соответствует научным представлениям на 2041 н. э., когда в ней произошли последние изменения. Атомы не могут терять или добавлять протоны, не превращаясь при этом в другие элементы, зато они могут добавлять или терять нейтроны и оставаться тем же, чем и раньше, такие варианты называются изотопами.
Изотоп с большим количеством нейтронов будет весить больше, чем изотоп с меньшим.
Вокруг ядра вращаются отрицательно заряженные электроны, они двигаются по разным орбитам, одни находятся ближе, другие дальше. На самой маленькой орбите может находиться два электрона, на второй – 8, на третьей 18 и так далее, где количество электронов определяется формулой 2(n2), где n – номер орбиты, начиная от ядра.
И хотя электроны имеют тенденцию держаться ближе к ядру, внутренние орбиты не всегда должны быть заполнены электронами прежде, чем начнут «заселяться» внешние.
С учетом всего этого грубая модель атома может выглядеть следующим образом (рис. 49).
Рис. 49. Схематическое изображение нескольких элементов. Если вы ждали тут химическую шутку, то мы приносим наши извинения. Не в этот раз