Жар холодных числ и пафос бесстрастной логики - [14]
Реализацией описанных идей Лейбница должны были стать разрабатывавшиеся им логические исчисления. В одних из исчислений понятиям, входившим в состав суждений, ставились в соответствие числа и задавались правила оперирования с этими числами, в других употреблялись буквенные обозначения. Возможно, Лейбниц интуитивно принимал «почти доказанную» сейчас гипотезу, что всякую строго и однозначно заданную процедуру (алгоритмическую процедуру), имеющую дело с любыми четко различимыми символами, можно свести к процедуре арифметической — имеющей дело с натуральными числами. Но уверенно «вкладывать» в него понимание эквивалентности вычисления в широком смысле и вычисления в узком смысле было бы рискованным.
Какое же место следует отвести Лейбницу в ряду создателей формализованной логики и кибернетики? Размах и глубина идеи могли бы оправдать претензии даже на первое место, но, как мы знаем, начинание осталось лишь начинанием, и это прискорбное обстоятельство снижает шансы Лейбница стать выше всех в мировой иерархии великих логиков, тем более что в неосуществленности плана повинна не только эпоха, но и разбросанность Лейбница, постоянная размена своего гения на мелочи. Вот как оценивает Лейбница человек, который больше других сделал для второго рождения его идей, Норберт Винер.
«Философия Лейбница, писал Н. Винер в своей «Кибернетике», концентрируется вокруг двух основных идеи, тесно связанных между собой: идеи универсальной символики и идеи логического исчисления.
Из этих двух идей возникли современный математический анализ и современная символическая логика. И как в арифметическом исчислении была заложена возможность развития его механизации от абака и арифмометра до современных сверхбыстрых вычислительных машин, так и в calculus rationator Лейбймца содержится в зародыше amchina rationatuix — думающая машина. Сам Лейбниц, подобно своему предшественнику Паскалю, интересовался созданием вычислительных машин в металле. Поэтому совсем не удивительно, что тот же самый умственный толчок, который привел к развитию математической логики, одновременно привел к гипотетической или действительной механизации процессов мышления»[10].
В другой своей книге Н. Винер пишет о Лейбнице:
«Он интересовался... вычислением при помощи машин и автоматами. Мои взгляды очень далеки от философских взглядов Лейбница. Однако проблемы, которыми я занимаюсь, вполне определенно являются лейбницианскими. Счетные машины Лейбница были только одним из проявлений его интереса к языку вычислений, к логическому исчислению, в свою очередь представлявшему собой, на его взгляд, лишь конкретизацию его идеи о совершенном искусственном языке. Таким образом, даже в своей счетной машине Лейбниц отдавал предпочтение главным образом лингвистике и сообщению»[11].
После того, что мы узнали о Лейбнице и его работах в области логики, нам нужно уточнить соотношение между «аналитическим» и «механическим» путями развития логики. Ведь остается не ясным, к какому из этих направлений склонялся Лейбниц, занимавшийся и проблемами логической символики, и задачей автоматизации рассуждения.
К соотношению этих двух компонентов одной и той же области исследования нам придется возвращаться еще не раз, поскольку, чем более ясной будет становиться для нас общая картина формирования современных логики и кибернетики, тем лучше и полнее мы будем понимать и указанное соотношение. Но уже теперь мы видим, что оба направления тесно связаны друг с другом. В самом деле, механизация рассуждения при использовании в качестве исходных элементов крупных единиц языка — например, основных положений какой-либо науки — не очень интересна: она дает мало преимуществ по сравнению с выведением следствий «в уме», так как приводит к небольшому числу тривиальных или легко определяемых утверждений. В лучшем случае она обеспечивает лишь определенную стимуляцию размышления — примерно такого типа, как стимуляция, создаваемая приборами Луллия. Гораздо перспективнее вовлечь в автоматизированный процесс переработки значительно более мелкие единицы языка — высказывания или составные части высказываний, подразделить их на типы, изучить свойства каждого типа и сформулировать правила переработки составных выражений, зависящие от типов и порядка расположения в них элементарных частей.
Дело в том, что люди, даже при самых простых рассуждениях (неважно, делаются они в уме или «проговариваются»), оперируют целыми вереницами высказываний, большинство из которых имеет сложный характер, создают разветвленные цепи и замкнутые циклы аргументации, не боятся повторений, обрывают тупиковые ветви аргументации, приводят рассуждение к абсурду или очевидности, после чего быстро «проигрывают» всю эту логическую симфонию в обратном порядке и оставляют в сознании правильные заключения, бракуя неправильные. Чтобы такую работу, хотя бы приблизительно, производила машина, нужно вложить в нее огромное количество мелких логических и языковых элементов, сообщить ей много правил и сложных процедур оперирования.
Поскольку машина может реагировать лишь на знаки (мы не имеем здесь в виду сложной проблемы распознавания зрительных образов машиной; знаки могут быть очень простыми — например, представлять собой набор штифтов, вставляемых в соответствующие отверстия), содержание слов и фраз ей недоступно. Поэтому для устройства сносно работающей логической машины необходима как минимум детально разработанная логическая символика, так сказать, «логический синтаксис», заключающийся в своде правил относительно того, какие сочетания символов могут встречаться вместе (и в каких комбинациях) и какие запрещены, а также «логическая грамматика» — свод правил, по которым одни комбинации (разрешенные) символов перерабатываются в другие комбинации.
В книге рассказывается история главного героя, который сталкивается с различными проблемами и препятствиями на протяжении всего своего путешествия. По пути он встречает множество второстепенных персонажей, которые играют важные роли в истории. Благодаря опыту главного героя книга исследует такие темы, как любовь, потеря, надежда и стойкость. По мере того, как главный герой преодолевает свои трудности, он усваивает ценные уроки жизни и растет как личность.
Бирюков Борис Владимирович — доктор философских наук, профессор, руководитель Межвузовского Центра изучения проблем чтения (при МГЛУ), вице-президент Русской Ассоциации Чтения, отвечающий за её научную деятельность.Сфера научных интересов: философская логика и ее история, история отечественной науки, философия математики, проблемы оснований математики. Автор и научный редактор более пятисот научных трудов, среди них книги, входящие в золотой фонд отечественной историко-научной и логической мысли. Является главным научным редактором и вдохновителем научного сборника, издаваемого Русской Ассоциацией Чтения — «Homo legens» («Человек читающий»).
Новая книга В.Н. Тростникова, выходящая в издательстве «Грифон», посвящена поискам ответов на судьбоносные вопросы истории России.За последнее десятилетие мы восстановили и частную собственность, и свободу слова, ликвидировали «железный занавес»… Но Запад по-прежнему относится к нам необъективно и недружественно.Ожесточаться не нужно. Русские – самый терпеливый народ в мире, и мы должны перетерпеть и несправедливое отношение к себе Запада. Ведь придёт час, когда Запад сам поймёт необходимость заимствовать у нас то, что он потерял, а мы сохранили, – Христа.Книга рассчитана на широкий круг читателей.
Автор книги – известный религиозный философ – стремится показать, насколько простая, глубокая и ясная вещь «настоящая философия» – не заказанное напористой и самоуверенной протестантской цивилизацией её теоретическое оправдание, а честное искание Истины – и как нужна такая философия тем русским людям, которые по своей натуре нуждаются в укреплении веры доводами разума.В форме увлекательных бесед показаны не только высоты и бездны европейской философии, но и значительные достижения русской философской школы, уходящей своими корнями в православное мировосприятие.
Виктор Николаевич Тростников (род. 1928 г.), писатель, ученый, философ. Профессор Российского Православного Университета им. св. Иоанна Богослова. Автор более ста работ по различным разделам физики и математики, а также книг по научной апологетикеКнига содержит размышления автора об опыте осмысления Вечных Истин в свете современного знания.
Цель «Трактата о любви» В.Н. Тростникова – разобраться в значении одного-единственного, но часто употребляемого нами слова «любовь». Неужели этому надо посвящать целое исследование? Да, получается так, потому что слово-то одно, а значений у него много. Путь истинной любви обрисован увлекательно, понятно и близко молодому и просвещенному современному читателю, который убедится, что любовь в ее высшем проявлении есть любовь к Богу. Это книга – для всех любящих сердец.
В книге развита теория квантового оптоэлектронного генератора (ОЭГ). Предложена модель ОЭГ на базе полуклассических уравнений лазера. При анализе доказано, что главным источником шума в ОЭГ является спонтанный шум лазера, обусловленный квантовой природой. Приводятся схемы и экспериментальные результаты исследования малошумящего ОЭГ, предназначенного для применения в различных областях военно-космической сферы.
Произведения Э. Эбботта и Д. Бюргера едины по своей тематике. Авторы в увлекательной форме с неизменным юмором вводят читателя в русло важных геометрических идей, таких, как размерность, связность, кривизна, демонстрируя абстрактные объекты в различных «житейских» ситуациях. Книга дополнена научно-популярными статьями о четвертом измерении. Ее с интересом и пользой прочтут все любители занимательной математики.
Любую задачу можно решить разными способами, однако в учебниках чаще всего предлагают только один вариант решения. Настоящее умение заключается не в том, чтобы из раза в раз использовать стандартный метод, а в том, чтобы находить наиболее подходящий, пусть даже и необычный, способ решения.В этой книге рассказывается о десяти различных стратегиях решения задач. Каждая глава начинается с описания конкретной стратегии и того, как ее можно использовать в бытовых ситуациях, а затем приводятся примеры применения такой стратегии в математике.
Давид Гильберт намеревался привести математику из методологического хаоса, в который она погрузилась в конце XIX века, к порядку посредством аксиомы, обосновавшей ее непротиворечиво и полно. В итоге этот эпохальный проект провалился, но сама попытка навсегда изменила облик всей дисциплины. Чтобы избавить математику от противоречий, сделать ее «идеальной», Гильберт исследовал ее вдоль и поперек, даже углубился в физику, чтобы предоставить квантовой механике структуру, названную позже его именем, — гильбертово пространство.
Саймон Сингх рассказывает о самых интересных эпизодах мультсериала, в которых фигурируют важнейшие математические идеи – от числа π и бесконечности до происхождения чисел и самых сложных проблем, над которыми работают современные математики.Книга будет интересна поклонникам сериала «Симпсоны» и всем, кто увлекается математикой.На русском языке публикуется впервые.
На протяжении многих веков симметрия оставалась ключевым понятием для художников, архитекторов и музыкантов, однако в XX веке ее глубинный смысл оценили также физики и математики. Именно симметрия сегодня лежит в основе таких фундаментальных физических и космологических теорий, как теория относительности, квантовая механика и теория струн. Начиная с древнего Вавилона и заканчивая самыми передовыми рубежами современной науки Иэн Стюарт, британский математик с мировым именем, прослеживает пути изучения симметрии и открытия ее основополагающих законов.