Настоящая книга рисует картину развития логико-математических аспектов кибернетики и информатики. Авторы рассказывают о длительной истории науки логики, возникшей еще в Древней Греции, прослеживают непрерывную нить преемственности, тянущейся от Аристотеля и Лейбница к современным информационным системам. Показано становление идей вычислимости и алгоритмизации, связанных с такими титанами науки XX века, как Давид Гильберт и Курт Гёдель. В заключительных главах обсуждается вопрос о современном смысле идеала рациональности знания и критикуется редукционистская установка в науке, несовместимая с новейшими данными физики и психологии.Книга будет интересна философам, логикам, историкам и методологам науки, аспирантам и студентам соответствующих специальностей, а также широкому кругу читателей, интересующихся философскими проблемами науки.
Nastoyashchaya kniga risuet kartinu razvitiya logiko-matematicheskikh aspektov kibernetiki i informatiki. Avtory rasskazyvayut o dlitelnoy istorii nauki logiki, voznikshey eshche v Drevney Gretsii, proslezhivayut nepreryvnuyu nit preemstvennosti, tyanushcheysya ot Aristotelya i Leybnitsa k sovremennym informatsionnym sistemam. Pokazano stanovlenie idey vychislimosti i algoritmizatsii, svyazannykh s takimi titanami nauki XX veka, kak David Gilbert i Kurt Gyedel. V zaklyuchitelnykh glavakh obsuzhdaetsya vopros o sovremennom smysle ideala ratsionalnosti znaniya i kritikuetsya reduktsionistskaya ustanovka v nauke, nesovmestimaya s noveyshimi dannymi fiziki i psikhologii.Kniga budet interesna filosofam, logikam, istorikam i metodologam nauki, aspirantam i studentam sootvetstvuyushchikh spetsialnostey, a takzhe shirokomu krugu chitateley, interesuyushchikhsya filosofskimi problemami nauki.