×

On the principle of conservation of information in intuitionistic mathematics. (English. Russian original) Zbl 0358.02033

Sov. Math., Dokl. 17, 601-605 (1976); translation from Dokl. Akad. Nauk SSSR 227, 1293-1296 (1976).
The author considers a new axiomatic theory, based on the principle of conservation of information. This principle states that in the process forming a free choice sequence there can be no unbounded growth of the quantity of information contained in it about the truth of arithmetic predicates. For this purpose he uses the quantity of information introduced by A. N. Kolmogorov as the algorithmic complexity [Probl. Pevedachi Inf. 1, No. 1, 3–11 (1965; Zbl 0271.94018)].
Reviewer: D. Pötschke

MSC:

03F55 Intuitionistic mathematics
68Q30 Algorithmic information theory (Kolmogorov complexity, etc.)

Citations:

Zbl 0271.94018
PDFBibTeX XMLCite