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