Бирюков Б.В., Тростников В.Н. Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики

М.: Знание, 1977. — 192 с.Авторы рассказывают о длительной истории науки логики, возникшей еще в Древней Греции, прослеживают непрерывную нить преемственности, тянущейся от Аристотеля и Лейбница к современным информационным системам.
Показано становление идей вычислимости и алгоритмизации, связанных с такими титанами науки XX века, как Давид Гильберт и Курт Гедель. В заключительных главах обсуждается вопрос о современном смысле идеала рациональности знания и критикуется редукционистская установка в науке, несовместимая с новейшими данными физики и психологии. Книга будет интересна философам, логикам, историкам и методологам науки, аспирантам и студентам соответствующих специальностей, а также широкому кругу читателей, интересующихся философскими проблемами науки.Введение
Вначале было слово
Механическое рассуждение
Обретение письменности
Великая переоценка ценностей
Провозвестники перемен
Теорема Гёделя
Что такое «можно вычислить»?
Возможности вычислительных машин и человек
Заключение.