Suche
Anzeige der Dokumente 11-16 von 16
On computation in the limit by non-deterministic Turing machines
(Scientific Proceedings of Latvia State University, 1974)
The double-incompleteness theorem
(Stiinca, Kishinev, 1976)
Let T be a strong enough theory, and M - its metatheory, both are consistent. Then there is a closed arithmetical formula H that is undecidable in T, but one cannot prove in M neither that H is T-unprovable, nor that H is ...
The double-incompleteness theorem
(Latvia State University, 1975)
Let T be a theory, Q - a metatheory of T. Under certain conditions there exist T-undecidable sentences for which this undecidability cannot be proved in Q.
For English translation and proof, see K. Podnieks What is ...
Comparing various types of limiting synthesis and prediction of functions
(Latvia State University, 1974)