Торвальд Олафсен - НАУЧНЫЙ МАТЕРИАЛИЗМ

Финалом развития мышления стала формализация способов рассуждения – выработка устойчивых идей, которые подчиняются строгим правилам и позволяют выстраивать сложные абстрактные проекты, радикально повышающие эффективность индивида и человеческих коллективов при взаимодействии со средой. Вполне вероятно, что этот процесс начался с появления элементарной арифметики: пытаясь передавать друг другу информацию о количестве предметов, древние люди постепенно пришли к представлению предметов абстрактно – штуками, пренебрегая при этом их сущностью и внешними различиями. Очевидно, что в материальном выражении десять камней – это отнюдь не то же самое, что десять апельсинов, но идея числа десять универсальна, и она позволила любому индивиду достаточно эффективно вообразить нужные наборы предметов, даже если он никогда не наблюдал воочию эти предметы в таком количестве. Способность к счёту не зарождается у коллективных животных спонтанно, ибо для передачи информации об опасности или источнике пищи достаточно жестов и примитивных звуков, а их интенсивность неплохо передаёт значимость явления. Чтобы арифметический счёт появился у человека, потребовалось ведение развитой хозяйственной деятельности, которая, скорее всего, должна была включать в себя планирование при запасании ресурсов и обменные операции, поэтому формализованное мышление вряд ли существует дольше, чем десятки тысяч лет, а вероятно, и того меньше. Тем не менее, за столь ничтожный для эволюции срок, без помощи новых генетических преобразований и лишь используя потенциал мозга, который был наработан прежними этапами эволюции, люди значительно развили свои математические способности. Хотя отследить дату изобретения, например, такой вычислительной операции, как умножение, не представляется возможным, тем не менее, уже за 1600—1800 лет до нашей эры жители Вавилона умели делать нечто гораздо более сложное – вычислять квадратный корень числа, о чём свидетельствует найденная археологами глиняная табличка.

Следы вычислений в 60-ричной системе счисления, которые дают довольно точное значение квадратного корня из двух

Параллельно развитию математики, у людей назревало представление о том, что одни способы рассуждения лучше, чем другие, помогают выяснять действительное состояние вещей в различных ситуациях и прогнозировать будущее. Множество философов размышляли над этим в течение веков, и в 4 веке до нашей эры Аристотель впервые сформулировал три из принятых ныне четырёх законов логики, а также описал силлогизм, то есть логическую операцию, которая заключается в построении верного заключения из двух исходных посылок. Эти работы и дальнейшее развитие логики позволили гораздо быстрее накапливать полезные знания о природе и значительно ускорили научно-технический прогресс человечества. Тем не менее, и математика, и логика испытывали одну и ту же проблему – недостаток точного формального описания их ключевых концепций, что приводило к сложности их освоения и дальнейшего развития. Так, например, античная геометрия шагнула далеко вперёд по сравнению с алгеброй: поскольку в геометрии размышления ведутся относительно фигур, их легко было изображать и размышлять об их свойствах, при этом алгебраические задачи не имели современного символьного представления и описывались простым рассказом; решать их также приходилось философским рассуждением, не имея формул и объекта визуализации, что приводило к запутыванию при увеличении размеров задачи и её решения.

Лишь через две с лишним тысячи лет после Аристотеля английский математик Джордж Буль смог перевести логические умозаключения в строгий символьный язык, сохранив их отношения. Так появилась логическая алгебра – способ максимально коротко и просто выразить сущность логических операций без отвлечения внимания на конкретный смысл исходных посылок. Это крайне значительно повысило ясность логических построений и потому позволило создавать их гораздо более объёмными и проще находить ошибки в них. Математическая логика Буля, будучи применена к электрическим цепям, позволила менее чем через сто лет создать небывалые ранее универсальные вычислительные машины, которые могли, в зависимости от заданной программы, решать любую исчислимую задачу; подробнее с реализацией этого технологического чуда любознательного читателя смогут познакомить Чарльз Петцольд в своей книге «Код. Тайный язык информатики» и Бен Итер (ориг. Ben Eater) в своих выдающихся видеоуроках на английском языке. Кроме того, в 20 веке во многих областях науки были разработаны формальные системы, представляющие знания в виде символов и формул со строго описанными их отношениями. Всё это в совокупности придало прогрессу гигантский толчок вперёд и очень сильно изменило мировую экономику и быт людей. При этом важно понимать, что люди как биологический вид никогда не были психически готовы к столь значительным переменам в течение незаметного для эволюции мгновения, и сейчас человечество с нарастающей скоростью плохо контролируемо движется в пучину неизвестности; без применения грамотной созидательной общественной теории, это может привести к нашей гибели.