Вид документа : Однотомное издание Шифр издания : 007/М 23 Автор(ы) : Манин Ю. И. Заглавие : Доказуемое и недоказуемое : научно-популярная литература Выходные данные : М.: Советское радио, 1979 Колич.характеристики :167 с. ; 0.60 Серия: Кибернетика Цена : 0.60 р. ГРНТИ : 28.01 УДК : 007+510.6 Предметные рубрики: Кибернетика Ключевые слова (''Своб.индексиров.''): формальные языки--теорема геделя--счетные модели--парадокс сколема--язык self--теорема тарского--мощность континуума Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение сопровождается экскурсами в физику, психологию и семиотику. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.