SELF-REFLECTION OF CONSISTENCY IN BASIC LOGIC OF FORMALIZED MATHEMATICAL THEORIZATION
Vitaliy Valentinovich Tselishchev, Aleksandr Valerievich Khlebalin
Institute of Philosophy and Law, Siberian Branch of the Russian Academy of Sciences, 8, Nikolaev st., Novosibirsk, 630090, Russia
Keywords: саморефлексия, формальные системы, геделево предложение, самореференция, self-reflection, formal systems, GГ¶del-sentence, self-reference
Abstract
The paper deals with the problem of self-reflection of formal systems. The traditional belief that unlike a human, a formal system / computer is not capable of self-reflection is analyzed through explication of the concept of self-reflection with regard to formal systems. It is shown that GL enables to use means of a formal system to express self-reflection of the system.
|
