Целищев, В. В. Саморефлексия непротиворечивости в базисной логике формализованного математического теоретизирования [Текст] / В. В. Целищев, А. В. Хлебалин> // Философия науки. - 2019. - № 3. - С. 77-91. - Библиогр.: с. 90-91 (16 назв. ) . - ISSN 1560-7488
Рубрики: Философия Общие вопросы философии Логика Общие вопросы логики Кл.слова (ненормированные): геделево предложение -- саморефлексия -- формальные системы Аннотация: Освящена проблема саморефлексии формальных систем. Традиционное убеждение в том, что в отличие от человека формальная система или компьютер не способны к саморефлексии, анализируется через экспликацию понятия "саморефлексия" применительно к формальным системам. Показано, что логика доказательства позволяет средствами формальной системы выразить свойство саморефлексии системы. Доп.точки доступа: Хлебалин, А. В. Нет сведений об экземплярах (Источник в БД не найден) |