Жар холодных числ и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи кибернетики

Жар холодных числ и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи кибернетики

Б.В. Бирюков

     

бумажная книга



Издательство: Либроком
Дата выхода: январь 2009
ISBN: 978-5-397-00134-2
Объём: 232 страниц
Масса: 230 г
Обложка: мягкая

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