Б 64 Бирюков, Борис Владимирович (1922 - 2015). Жар холодных числ и пафос бесстрастной логики [Текст] : Формализация мышления от античных времен до эпохи кибернетики / Б.В. Бирюков, В.Н. Тростников. - Изд. стер. - Москва : URSS : Либроком, 2017. - 228 с. : ил. ; 22 см. - Библиогр. в примеч. в конце разд. - На обл.: 3-е изд., перераб. и доп. - ISBN 978-5-397-06002-8
Математическая логика Аннотация: Настоящая книга рисует картину развития логико-математических аспектов кибернетики и информатики. Авторы рассказывают о длительной истории науки логики, возникшей еще в Древней Греции, прослеживают непрерывную нить преемственности, тянущейся от Аристотеля и Лейбница к современным информационным системам. Показано становление идей вычислимости и алгоритмизации, связанных с такими титанами науки XX века, как Давид Гильберт и Курт Гёдель. В заключительных главах обсуждается вопрос о современном смысле идеала рациональности знания и критикуется редукционистская установка в науке, несовместимая с новейшими данными физики и психологии. Книга будет интересна философам, логикам, историкам и методологам науки, аспирантам и студентам соответствующих специальностей, а также широкому кругу читателей, интересующихся философскими проблемами науки. Скачать содержание Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Тростников, Виктор Николаевич (1928 - ) Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |