Search results

Gödel K. [1931, [2006] Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I Monatsch. Math. Phys., 38, 173-198 149, № 1, 1-30 ~; 08.03.45 REOS article Вернуться к поиску

Rosser J.B. [1936] Extensions of some theorems of Gödel and Church J. Symbolic Logic, 1, № 3, 87 ~ article Вернуться к поиску

Schinzel B. [1979] Classes of decompositions of a Gödel numbering Math.Res., 2, 397-403 80.05.59 article Вернуться к поиску

Cooper S.B. [1998] Beyond Gödel theorem : Turing nonrigidity revisted Lect. Notes in Logic., 11, 44-50, Springer-Verlag ? article Вернуться к поиску

Hartmanis J., Baker T.P. [1982] On simple Gödel numberings and translation SIAM . J. Comp., 4, № 1, 1-11 75.11.87 O article Вернуться к поиску

Schinzel B. [1982] Complexity of decompositions of Gödel numberings Ann. Soc. math. pol., ser. 4,5, № 1, 15-93 83.03.60 article Вернуться к поиску

Rogers H. Jr. [1958] Gödel numberings of partial recursive functions J. Symbolic Logic, 23, № 3, 331-341 60.8518 ES article Вернуться к поиску

Schinzel B. [1980] Zerlegung mit Vergleichsbedingungen einer Gödel numberierung Z. math. Logik und Grundl. Math., 26, № 3, 215-226 81.02.49 article Вернуться к поиску

Buchberger B. [1974] On certain decompositions of Gödel numbering Arch. Math. Logik Grundl., 16, № 1-2, 85-96 74.10.83 E article Вернуться к поиску

Hartmanis J. [1982] A note on natural complete sets and Gödel numberings Theor. Comput. Sci., 17, № 1, 75-89 82.05.40 O article Вернуться к поиску

Machtey M., Winklmann K., Young P.R. [1978] Simple Gödel numberings, isomorphisms, and programming properties SIAM J. Comp., 7, № 1, 39-60 78.В11.1084 O article Вернуться к поиску

Longo G., Moggi E. [1984] Gödel numberings, principal morphisms, combinatory algebras Lect. Notes in Comp. Sci., 176, 397-406, Springer -Verlag 85.04.72 article Вернуться к поиску

Cooper S.B. [1997] Beyond Gödel theorem : the failure to capture information content Lect. Notes in Pure and Appl. Math., 187, 93-122, Marcel Dekker, N.Y. ? OS article Вернуться к поиску

Kinber E. B. [1977] On btt -degrees of sets of minimal numbers in Gödel numbering Z. math. Logik und Grundl. Math., 23 , № 3, 201-212 78.03.66 O article Вернуться к поиску

G GaleA GaleD Gandy R.O. Ganesan K. Gao Su Gasarch W.I. Georgieva N. Gerla G. Gill J. Giorgi M.B. Giusto M. Gladstone M.D. Glasser C. Gödel K. Goetze B. GoldEM Goldfarb W.D. Goncharov S.S. Gonshor H. Gordon C. E. Grant P.W. Grassin J. Greenberg N. Griffiths E.J. J. Griffor E.R. Grilliot T. Groszek M. J. Grzegorczyk A. Guichard D. Gurevich Ju. Вернуться на главную страницу

Young P.R. [1985] Gödel theorems, exponential difficulty and undecidability of arithmetic theories an exposition Proc. AMS and ASL Summer Institute on Recursive Theory (Ithaca, New York), Lect. Notes in Math. 42, 503-522, Springer-Verlag 86.02.78 S article Вернуться ...