Кл.слова (ненормированные):
вычислительная математика -- когнитные процессы -- методология -- время -- индукция -- индукция Гудмена -- вычислимость -- теория множеств -- задачи -- классификация -- естественные языки -- формальные языки
Аннотация: В сборнике представлены работы, отражающие широкий спектр вопросов философии науки, как то: сопоставляются некоторые физические и богословские представления о времени; "новая загадка индукции" Н.Гудмена представляется как частный случай отрицательного результата, полученного ранее К. Самохваловым; вводится понятие перечислителя и обсуждается постановка задачи об изучении времени как средства для перечисления; предлагается сопоб оценки длины убедительного доказательства, учитывающий синтаксическую структуру текста; обсуждается вопрос, почему можно осмысленно утверждать истинность континуум-гипотезы после результатов Гегеля и Коэна; анализируется вопрос: что это значит - понимать задачу; уточняются способы разграничения" естественный язык" - "формальный язык"; рассматриваются соотношения между различными видами языковых времен. Сборник рассчитан на тех, кто интересуется философией науки.
Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Доп.точки доступа:
Самохвалов, К. Ф. \ред.\
Экземпляры всего: 1
ИВМ-СИФ (1)
Свободны: ИВМ-СИФ (1)