510.6 Б 536 Бессонов, А. В. Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. ) . - ISSN 1560-7488
Рубрики: Логика Математика Математическая логика Общие вопросы логики Кл.слова (ненормированные): вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча. Доп.точки доступа: Хлебалин, А. В.; Целищев, В. В.; Черч, А. (американский логик и математик) |
Бессонов, А. В. Аналитическая философия в Новосибирском научном центре [Текст] / А. В. Бессонов, В. Н. Карпович, В. В. Целищев // Гуманитарные науки в Сибири. - 2007. - N 1. - С. 3-7 . - ISSN 0869-8651
Рубрики: Наука. Науковедение--Россия--Сибирь--Новосибирск, 1960-е гг. История науки Философия Общие вопросы философии Кл.слова (ненормированные): аналитическая философия -- философская логика -- логическая экспликация -- интерпретация кванторов -- знаковые системы Аннотация: Статья определяет вехи становления аналитической философии и разработки методологии философии естественных наук в Институте истории, филологии и философии в 1960-1970-е гг. Доп.точки доступа: Карпович, В. Н.; Целищев, В. В.; Целищев (философ) \в. В.\; Блинов (философ) \а. Л.\; Петров (философ) \в. В.\; Полякова (философ) \и. В.\; Карпович (философ) \в. Н.\; Сибирское отделение Академии наук СССР \институт истории филологии и философии\ |