Подробное описание документа

Бирюков Б. В., Тростников В. Н.
   Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики / Бирюков Б. В., Тростников В. Н. - 3-е изд., перераб. и доп. - М. : УРСС, 2004. - 228 с. - ISBN 5-354-00310-5.

Аннотация

Книга рисует картину развития логико-математических аспектов кибернетики и информатики. Авторы рассказывают о длительной истории науки логики, возникшей еще в Древней Греции, прослеживают непрерывную нить преемственности, тянущейся от Аристотеля и Лейбница к современным информационным системам. Показано становление идей вычислимости и алгоритмизации, связанных с такими титанами науки XX века, как Давид Гильберт и Курт Гедель. В заключительных главах обсуждается вопрос о современном смысле идеала рациональности знания и критикуется редукционистская установка в науке, несовместимая с новейшими данными физики и психологии.

УДК

51 Математика

Предметные рубрики

• Математика - Философские проблемы

Общее кол-во в фондах

2 экз.

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
3. Читальный зал ауд.305л, УЛК, ауд. 305л
4. Читальный зал ауд.313, ГУК, ауд. 313