Книга рисует картину развития логико-математических аспектов кибернетики и информатики. Авторы рассказывают о длительной истории науки логики, возникшей еще в Древней Греции, прослеживают непрерывную нить преемственности, тянущейся от Аристотеля и Лейбница к современным информационным системам. Показано становление идей вычислимости и алгоритмизации, связанных с именами Давид Гильберт и Курт Гедель. Обсуждается вопрос о современном идеале рациональности знания и критикуется редукционистская установка в науке, несовместимая с новейшими данными физики и психологии.
Оглавление.
1. В начале было слово. У истоков логики.
2. Механизация рассуждения. От "Великого искусства" Р. Луллия к логическим машинам XIX - начала XX веков.
3. Обретение письменности. Булева алгебра и ее интерпретации.
4. Переоценка ценностей. Возникновение теоретико-множественной математики и современной формализованной логики. Кантор и Фреге.
5. Провозвестники перемен. Брауэр и Гильберт - интуиционизм и финитизм.
6. Теоремы Геделя. Внутренняя ограниченность математико-логической формализации.
7. Что означает "вычислимо"? Рекурсивные функции Черча, машины Тьюринга и нормальные алгоритмы Маркова.
8. Компьютер и человек. Что может и чего не может вычислительная машина.
9. Глубинная контроверза. Вариативность логического в свете трудностей квантовой физики, генетики и современной психологии.
10. Динамика научного познания. Научный редукционизм на весах современной гносеологии.
)
новое;
В продаже с 18.09.2024
