Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Поиск по журналу

Философия науки

2019 год, номер 3

САМОРЕФЛЕКСИЯ НЕПРОТИВОРЕЧИВОСТИ В БАЗИСНОЙ ЛОГИКЕ ФОРМАЛИЗОВАННОГО МАТЕМАТИЧЕСКОГО ТЕОРЕТИЗИРОВАНИЯ

В.В. Целищев, А.В. Хлебалин
"Институт философии и права СО РАН, 630090, Новосибирск, ул. Николаева, 8
leitval@gmail.com"
Ключевые слова: саморефлексия, формальные системы, геделево предложение, самореференция, self-reflection, formal systems, Gödel-sentence, self-reference
Страницы: 77-91

Аннотация

Статья посвящена проблеме саморефлексии формальных систем. Традиционное убеждение в том, что в отличие от человека формальная система или компьютер не способны к саморефлексии, анализируется через экспликацию понятия «саморефлексия» применительно к формальным системам. Показано, что логика доказательства позволяет средствами формальной системы выразить свойство саморефлексии системы.

DOI: 10.15372/PS20190304
Скачать pdf-версию статьи



Наш сайт использует куки. Продолжая им пользоваться, вы соглашаетесь на обработку персональных данных в соответствии с политикой конфиденциальности. Подробнее
Отказаться Принять