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

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

Жанры

Рейтинг LiveLib

4,4

5 оценок

5
40%
4
60%
3
0%
2
0%
1
0%

Ваша оценка

Прочитали 10Хотят прочитать 29

Цитаты

ghinzu15 октября 2017 г.
Слепота и автоматизм логики с древнейших времен и до наших дней вызывали у некоторых людей недоумение, а иногда и раздражение. Это прекрасно изображено Платоном: почти во всех диалогах противники Сократа, безукоризненно строящего формальные выводы, проявляют различные эмоции такого рода — от легкой досады до вспышек ярости.
В истории человеческой мысли было немало попыток умалить значение логики. ... Нет единой оценки основного свойства логики — ее формальности; нет и единого мнения относительно происхождения этого свойства; но текут века, кипят споры и страсти, а слепой механизм логики существует, и ни зуб ногой.
Читать далее
2
710