G¨odel’s a theorem concerns an arithmetical statement and the truth of this statement does not depend on self-reference; nevertheless its interpretation is of tremendous interest. G¨odel’s theorem allows one to conclude that formal arithmetic is not axiomatizable. But there is another very interesting logico-philosophical result: the possibility of a statement to exist such that it is improvable in the object-theory and at the same time its truth is provable in the metatheory. It seems that in t…
Read moreG¨odel’s a theorem concerns an arithmetical statement and the truth of this statement does not depend on self-reference; nevertheless its interpretation is of tremendous interest. G¨odel’s theorem allows one to conclude that formal arithmetic is not axiomatizable. But there is another very interesting logico-philosophical result: the possibility of a statement to exist such that it is improvable in the object-theory and at the same time its truth is provable in the metatheory. It seems that in the real history G¨odel’s theorem was absolutely unexpected, and even in retrospect, now it is difficult to point out logico-philosophical reasons for the above possibility. In my opinion though it was still conceivable at that time, but unfortunately the philosophers and logicians missed to notice it. In the terms of recursive arithmetic Hilbert’s programme can be formulated as follows: Build a decidable, complete, consistent logical system such that the class of derivable statements coincides with the class of the mathematical statements which are intuitively true; prove this equivalence by means of an arithmetization of the theory in the framework of the recursive arithmetic! Now, if the system is so strong as to admit the construction of the classical mathematics, then in particular it will contain the classical arithmetic. But Hilbert’s requirements reduce to a proof with the means of the recursive arithmetic, by arithmetization. So, on one hand the system will contain the arithmetic and, on the other hand it will be expressible in it, in order words the system will include its own syntax, as well as its own semantics. Now it is clear that Hilbert’s programme contains a possibility of a situation similar to some well known semantic antinomies, situations of self-reference