In conclusion, the author expresses his gratitude to A. A. Makhnev for advice and remarks which helped in proving the theorem. LITERATURE CITED
In conclusion, the author expresses his gratitude to A. A. Makhnev for advice and remarks which helped in proving the theorem. LITERATURE CITED
I. Veretennikov,A. A. Makhnev
1983
0 Citations
TLDR
A general method for interpreting how Turing machines perform computations in finitely axiomatizable theories whose properties are determined by Turing machine computations is described.