Выбрать книгу по жанру
Фантастика и фэнтези
- Боевая фантастика
- Героическая фантастика
- Городское фэнтези
- Готический роман
- Детективная фантастика
- Ироническая фантастика
- Ироническое фэнтези
- Историческое фэнтези
- Киберпанк
- Космическая фантастика
- Космоопера
- ЛитРПГ
- Мистика
- Научная фантастика
- Ненаучная фантастика
- Попаданцы
- Постапокалипсис
- Сказочная фантастика
- Социально-философская фантастика
- Стимпанк
- Технофэнтези
- Ужасы и мистика
- Фантастика: прочее
- Фэнтези
- Эпическая фантастика
- Юмористическая фантастика
- Юмористическое фэнтези
- Альтернативная история
Детективы и триллеры
- Боевики
- Дамский детективный роман
- Иронические детективы
- Исторические детективы
- Классические детективы
- Криминальные детективы
- Крутой детектив
- Маньяки
- Медицинский триллер
- Политические детективы
- Полицейские детективы
- Прочие Детективы
- Триллеры
- Шпионские детективы
Проза
- Афоризмы
- Военная проза
- Историческая проза
- Классическая проза
- Контркультура
- Магический реализм
- Новелла
- Повесть
- Проза прочее
- Рассказ
- Роман
- Русская классическая проза
- Семейный роман/Семейная сага
- Сентиментальная проза
- Советская классическая проза
- Современная проза
- Эпистолярная проза
- Эссе, очерк, этюд, набросок
- Феерия
Любовные романы
- Исторические любовные романы
- Короткие любовные романы
- Любовно-фантастические романы
- Остросюжетные любовные романы
- Порно
- Прочие любовные романы
- Слеш
- Современные любовные романы
- Эротика
- Фемслеш
Приключения
- Вестерны
- Исторические приключения
- Морские приключения
- Приключения про индейцев
- Природа и животные
- Прочие приключения
- Путешествия и география
Детские
- Детская образовательная литература
- Детская проза
- Детская фантастика
- Детские остросюжетные
- Детские приключения
- Детские стихи
- Детский фольклор
- Книга-игра
- Прочая детская литература
- Сказки
Поэзия и драматургия
- Басни
- Верлибры
- Визуальная поэзия
- В стихах
- Драматургия
- Лирика
- Палиндромы
- Песенная поэзия
- Поэзия
- Экспериментальная поэзия
- Эпическая поэзия
Старинная литература
- Античная литература
- Древневосточная литература
- Древнерусская литература
- Европейская старинная литература
- Мифы. Легенды. Эпос
- Прочая старинная литература
Научно-образовательная
- Альтернативная медицина
- Астрономия и космос
- Биология
- Биофизика
- Биохимия
- Ботаника
- Ветеринария
- Военная история
- Геология и география
- Государство и право
- Детская психология
- Зоология
- Иностранные языки
- История
- Культурология
- Литературоведение
- Математика
- Медицина
- Обществознание
- Органическая химия
- Педагогика
- Политика
- Прочая научная литература
- Психология
- Психотерапия и консультирование
- Религиоведение
- Рефераты
- Секс и семейная психология
- Технические науки
- Учебники
- Физика
- Физическая химия
- Философия
- Химия
- Шпаргалки
- Экология
- Юриспруденция
- Языкознание
- Аналитическая химия
Компьютеры и интернет
- Базы данных
- Интернет
- Компьютерное «железо»
- ОС и сети
- Программирование
- Программное обеспечение
- Прочая компьютерная литература
Справочная литература
Документальная литература
- Биографии и мемуары
- Военная документалистика
- Искусство и Дизайн
- Критика
- Научпоп
- Прочая документальная литература
- Публицистика
Религия и духовность
- Астрология
- Индуизм
- Православие
- Протестантизм
- Прочая религиозная литература
- Религия
- Самосовершенствование
- Христианство
- Эзотерика
- Язычество
- Хиромантия
Юмор
Дом и семья
- Домашние животные
- Здоровье и красота
- Кулинария
- Прочее домоводство
- Развлечения
- Сад и огород
- Сделай сам
- Спорт
- Хобби и ремесла
- Эротика и секс
Деловая литература
- Банковское дело
- Внешнеэкономическая деятельность
- Деловая литература
- Делопроизводство
- Корпоративная культура
- Личные финансы
- Малый бизнес
- Маркетинг, PR, реклама
- О бизнесе популярно
- Поиск работы, карьера
- Торговля
- Управление, подбор персонала
- Ценные бумаги, инвестиции
- Экономика
Жанр не определен
Техника
Прочее
Драматургия
Фольклор
Военное дело
Жар холодных числ и пафос бесстрастной логики - Бирюков Борис Владимирович - Страница 43
ЗАКЛЮЧЕНИЕ
Цель этой книги состояла в том, чтобы создать общую картину подготовки и развития логико-математических (а не технических) аспектов кибернетики. Мы стремились к тому, чтобы читатель ощутил преемственность и направленность развития мысли, давшей последовательность замечательных достижений, которые привели в конце концов к появлению этой новой области знания и технической практики. Вряд ли можно найти другую сферу умственной деятельности, где преемственность была бы столь несомненной и столь непрерывной: даже в «темные» века европейской истории, когда древнеримская цивилизация лежала в руинах, а наследство эллинской культуры было в значительной мере утрачено, в школах не прекращалось преподавание логики; в период же расцвета схоластики, почти «выпавший» для истории науки, логические исследования дали немало интересных результатов. Область знания, которая постоянно меняла свое имя и свой статус, которая рассматривалась то как часть философии, то как отдел языкознания, то как вспомогательный аппарат математики, а на самом деле все время была наукой об «атомах» детерминированного интеллектуального процесса и о законах построения из этих элементов правильных рассуждений, является одной из самых древних наук.
Нам особенно хотелось, чтобы наша книга убедила читателя в том, что современная кибернетика есть детище не только современной техники и даже не столько техники, сколько науки с огромной и славной историей. Нам хотелось склонить читателя к уверенности, что, во-первых, всякое серьезное открытие в области «чистой мысли» обязательно претворяется в физическую, материальную мощь и, во-вторых, не может быть материальной мощи без достаточно прочного фундамента теории, который создается лишь коллективными усилиями многих поколений.
Оглянемся еще раз на факты, с которыми мы познакомились на страницах этой книги, и попробуем немного пофантазировать о завтрашнем дне... не кибернетики, нет — это был бы слишком «технический» вопрос, а науки в целом.
В доисторические, скрытые во мгле тысячелетий, времена люди открыли в своей речи удивительные элементы обладающие все время одной и той же устойчивой формой и сочетающиеся не во всех, а лишь в определенных «разрешенных» комбинациях. Замечательным было то, что «запрет» на комбинации исходил как бы извне: речь, в которой использовались «неправильные» сочетания, оказывалась неправильной и в прямом смысле — в смысле несовпадения с описываемыми вещами и явлениями. Так произошло открытие элементов логики, которые еще раньше проникли в естественный язык стихийным образом, в результате длительной эволюции языка.
Работая сотни тысяч лет как система, отражающая внешний мир, язык запечатлел в себе какие-то постоянные черты действительности. Первые размышления о логике, как и длиннейший ряд последующих исследований, вовсе не были изучением объективно существующей реальности, называемой природой, это было изучение вторичной, но объективной, не зависящей от воли отдельных людей и даже всех людей вместе, системы — отражающей системы.
Древний человек не понимал происхождения логики, но побуждаемый необходимостью, применял ее на деле. Философы элейекой школы, а затем Сократ, Платон и Аристотель сознательно заставили логику «работать». Во-первых, они сильно продвинули теоретический анализ логики, и это дало им в руки достаточно сильный инструмент; во-вторых, они широко использовали логику как средство воздействия на поведение людей; в-третьих, они оказали огромное влияние на образ мышления Эвдокса, Евклида, Архимеда, Аполлония и других великих геометров древнего мира, создавших разнообразные методы математических доказательств, основанные на применении правил логики в геометрии.
Можно сказать, что последнее было н полезно» и вредно для логики: та часть логики, которая «спряталась» в геометрии, как бы перестала быть логикой, приняла псевдоним математики и, слившись с древней наукой о числах — арифметикой, стала развиваться независимо от той части, которая по-прежнему оставалась наукой об элементарных правилах рассуждений. Классическая Логика от этого сильно пострадала, но проникновение вируса логики в клетки математики должно было сыграть свою роль через много столетий.
В средние века логика и математика развивались параллельно. В это же время начали возникать мечты об «искусственном интеллекте». Наиболее чуткие ко всему комплексу наук в целом, наиболее образованные люда эпохи пытались выделить что-то общее для всех видов словесного и формализованного рассуждения и проанализировать его. Постепенно, благодаря математике, стали создаваться все более совершенные знаковые системы, которые позволяли всерьез ставить вопрос о знаковом моделировании логического.
XIX век был веком кульминации классической математики и, как всегда бывает, именно поэтому был веком зарождения нового взгляда на математическое знание, на его роль в человеческом познании и его связь с другими науками, в том числе с логикой.
К началу нашего столетия математическая логика и «языковая» логика настолько близко подошли друг к другу, что многими учеными стали рассматриваться как два аспекта одной науки. Произошло великое воссоединение разошедшихся когда-то направлений человеческой мысли. Многое теперь было готово для появления кибернетики; однако не было ясного осознания того, что все процедуры рассуждений и вычислений, производимые по четким правилам, формализованные вычислительно-дедуктивные процессы — в определенном смысле (и при определенных ограничениях) эквивалентны и что их изучение разными науками обусловлено лишь историческими и методологическими причинами.
Поколение математиков и логиков, родившихся уже в XX веке, пользуясь созданным к этому времени мощным аналитическим аппаратом, установило довольно четкие границы понятий «вычислимость» и «выводимость». В век дифференциации наук логика стремительно повела широкий комплекс научных дисциплин к синтезу. Оказалось, что нет принципиальной разницы между арифметикой, логикой и механическим моделированием поведения людей и вещей. Оказалось, что все эти средства потенциально одинаково пригодны для моделирования, то есть адекватного (часто, правда, только с тем, или иным приближением) описания и предсказания любого детерминированного процесса.
Вышедшая в это время на научную сцену семиотика позволила взглянуть на программу формализации математики, провозглашенную Гильбертом, не как на идеалистическую утопию, а как на серьезную программу разработки средств знакового моделирования регулярно осуществляемых процедур дискретного рода. Но как раз к этому моменту технические достижения позволили претворить знаковое моделирование в физическое. Только недавно соединившиеся математика и логика объединились теперь с электроникой и, взаимодействуя с науками о жизни и технике, положили начало кибернетике.
«Бумажная» математика, разумеется, от этого не пострадала; совсем наоборот, она получила теперь в свое распоряжение мощные вспомогательные средства. Громадное же прикладное значение кибернетики, скажем точнее — социальное ее значение — сделало таким же громадным и значение математики, которая теперь органично включила в себя логику. Сейчас мы видим уже контуры «супернауки», в которой наименования «математика», «логика», «теория логического вывода», «теоретическая кибернетика», «программирование», «теория систем», «семиотика» и другие становятся названиями отделов и подотделов.
Однако диалектика развития такова, что именно появление кибернетики поставило серьезнейшие проблемы. Иллюзия Лейбница, будто с появлением «механического интеллекта» все станет просто, рассеялась как дым. Диалектический процесс познания нельзя в целом автоматизировать— истина по своей сути не формальна, а содержательна. И чтобы перекинуть мост между формальной доказуемостью и содержательной истинностью, пришлось разработать специальную науку —логическую семантику.
Лейбниц думал — и многие еще недавно склонны были с ним соглашаться, что все, происходящее в реальном мире и сфере абстракций, в принципе может быть описано на формализованном языке, позволяющем сводить решение любых научных или практических вопросов к вычислениям. Теперь мы понимаем, что это не так. Результаты Гёделя накладывают четкие ограничения в возможности подобного подхода. Кроме того, приходится учитывать то, что сами формализованно-детерминистские предписания могут носить различный характер —они могут иметь вероятностную природу и «уживаться» с принятием решений и актами «свободного» (то есть не предопределенного детерминистским предписанием) выбора.
- Предыдущая
- 43/52
- Следующая