The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions
暂无分享,去创建一个
[1] A. M. Turing,et al. Review: Arthur W. Burks, The Logic of Programming Electronic Digital Computers , 1953 .
[2] Intelligent Machinery 1948 Report for National Physical Laboratory Universal Turing Machine , 2022 .
[3] Universal Turing,et al. Can Digital Computers Think?; Reprinted in (copeland 2004) , 2022 .
[4] Programmers ’ handbook for Manchester electronic computer Universal Turing Machine , 2022 .
[5] A Diffusion Reaction Theory of Morphogenesis , 1952, Nature.
[6] A. Turing. The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.
[7] Proposed electronic calculator ; reprinted in ( Copeland 2005 ) Universal Turing Machine , 2022 .
[8] Proof That Every Typed Formula Has a Normal Form Universal Turing Machine , 2022 .
[9] A. Turing. Equivalence of Left and Right almost Periodicity , 1935 .
[10] Universal Turing,et al. The chemical basis of morphogenesis reprinted from Philosophical Transactions of the Royal Society ( Part B ) 237 37-72 ( 1953 ) Universal Turing Machine , 2022 .
[11] A. Turing. Finite Approximations to Lie Groups , 1938 .
[12] George Cboom,et al. Mind: A Quarterly Review of Psychology and Philosophy , 1876, Journal of Psychological Medicine and Mental Pathology (London, England : 1875).
[13] B. V. Bowden,et al. Faster than thought , 1953 .
[14] John Tyler Bonner,et al. Morphogenesis , 1965, The Physics of Living Matter: Space, Time and Information.
[15] Théorie Des Nombres Calculables Suivi D'une Application Au Probl'eme De La Décision Universal Turing Machine , 2022 .
[16] On Computable Numbers. . . Proc Universal Turing Machine , 2022 .
[17] Proposed Electronic Calculator report for National Physical Laboratory Teddington Universal Turing Machine , 2022 .
[18] Nellie Clarke Brown. Trees , 1896, Savage Dreams.
[19] A. Turing. Some Calculations of the Riemann Zeta-Function , 1953 .
[20] Logic based on Inclusion and Abstraction WV Quine , 2022 .
[21] J. Cremona,et al. Proceedings of the London Mathematical Society , 1893 .
[22] Charles Hutton,et al. Philosophical Transactions of the Royal Society of London , 1781, The London Medical Journal.
[23] A. M. Turing,et al. Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.
[24] A. M. Turing,et al. Solvable and Unsolvable Problems , 1954 .
[25] A. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .
[26] Collected Works: Mathematical Logic (RO Gandy and CEM Yates Editors) , 2022 .
[27] A. Turing. ROUNDING-OFF ERRORS IN MATRIX PROCESSES , 1948 .
[28] Rounding off-emfs in matr dotsxp mcesses dagger Quart Universal Turing Machine , 2022 .
[29] Computer machinery and intelligence Universal Turing Machine , 2022 .
[30] A. M. Turing. The $\mathfrak{p}$-Function in $\lambda-K$-Conversion , 1937 .
[31] Alan M. Turing,et al. Systems of Logic Based on Ordinals , 2012, Alan Turing's Systems of Logic.
[32] Michael O. Rabin,et al. Lecture to the london mathematical society on 20 february 1947 Universal Turing Machine , 2022 .
[33] Alan M. Turing,et al. Computability and λ-definability , 1937, Journal of Symbolic Logic.
[34] A. Turing. THE WORD PROBLEM IN SEMI-GROUPS WITH CANCELLATION , 1950 .
[35] Alan M. Turing,et al. The use of dots as brackets in Church's system , 1942, Journal of Symbolic Logic.
[36] Alan M. Turing,et al. Practical forms of type theory , 1948, Journal of Symbolic Logic.
[37] A. Turing. A method for the calculation of the zeta-function Universal Turing Machine , 2011 .