Особенно существенный класс изменений переменных наблюдается в тех случаях, когда новые переменные представляют собой линейные комбинации старых – выражения вроде 2x – 3y, не включающие в себя более высоких степеней или произведений старых переменных x и y. Таким способом можно упростить, к примеру, обобщенную квадратичную форму

ax² + bxy + cy²

с двумя переменными. Важной величиной в теории таких форм играет так называемый дискриминант b² – 4ac. Буль открыл, что после линейного изменения переменных дискриминант новой квадратичной формы равен дискриминанту оригинала, умноженному на коэффициент, определяемый только методом изменения переменных.

Такое на первый взгляд совпадение имеет геометрическое объяснение. Это действительно совпадение в том смысле, что два свойства, обычно отдельные, совпадают. Если приравнять квадратичную форму к нулю, ее решения определят две (возможно комплексные) кривые… если только дискриминант не равен нулю; в этом случае мы получаем одну и ту же кривую дважды. При этом квадратичная форма представляет собой квадрат (px + qy)² некоторой линейной формы. Изменение координат – это геометрическое искажение, преобразующее первоначальные кривые в соответствующие кривые для новых переменных. Если две кривые совпадали для первоначальных переменных, они совпадут и для новых. Так что дискриминанты должны быть связаны таким образом, что, если один из них обращается в нуль, то же самое делает и второй. Инвариантность – формальное название для такого соотношения.

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

* * *

Исследование, которое сделало Буля широко известным среди математиков и специалистов по информатике – и вообще в любом доме, где пользуются Гуглом, поскольку это вариант Булева поиска, – все больше занимало его мысли. Буль всегда видел в математических понятиях внутреннюю простоту. Ему нравилось формулировать общие принципы, выражать их в символьной форме – и дальше за него думали символы. В «Законах мышления» эта программа была реализована для правил формальной логики. Главной идеей произведения была интерпретация этих правил как алгебраических операций с символами, представляющими некие утверждения. Поскольку логика – не арифметика, некоторые из обычных алгебраических правил в ней могут оказаться неприменимы; с другой стороны, в ней могут возникнуть новые законы, не применимые к арифметике. Результат, известный как Булева алгебра, позволяет доказывать логические утверждения посредством алгебраических вычислений.

Книга начинается с предисловия, которое выдержано в уважительном тоне и обозначает место предлагаемой дискуссии в контексте существующей философии. Затем Буль переходит к существу дела – к математике – и для начала предлагает обсудить использование символов. Он поясняет, что речь идет о символах (он называет их «знаками»), представляющих логические утверждения, и особенно сосредоточивается на общих законах, которым они подчиняются.