Category:Alan M. Turing Paper

From BibNetWiki

Papers published by Alan M. Turing.

See also: http://www.turingarchive.org/browse.php/B

Articles in category "Alan M. Turing Paper"

There are 43 articles in this category.

A A formal theorem in Church's theory of types A method for the calculation of the zeta-function A.M. Turing's ACE report of 1946 and other papers C Checking a Large Routine Collected works of A. M. Turing. Mathematical logic Computability and lambda-definability Computing Machinery and Intelligence Computing machinery and intelligence Critique of ''Running Short Cribs on the U. S. Navy Bombe'' E Equivalence of left and right almost periodicity G Giza garuna eta ordenadorea: (garunaren eboluzioaz) I Intelligent machinery Intelligent machinery, a heretical theory Intelligenza meccanica

I cont. Introductory Remarks for the Article in Biometrika 66 (1979), ''A. M. Turing's Statistical Work in World War II'' L La machine de Turing Lecture to London Mathematical Society, February 20, 1947 Lecture to the London Mathematical Society on 20 February 1947 Local programming methods and conventions M Manchester computing machine: general topics Mathematical logic Mechanical intelligence Morphogenesis Mozhet li mashina myslit? O On Computable Numbers, with an Application to the Entscheidungsproblem On computable numbers, with an application to the Entscheidungsproblem. A correction P Practical forms of type theory Programmers' handbook for Manchester electronic computer. Mark II Proposal for Development in the Mathematics Division of an Automatic Computing Engine (ACE)

P cont. Proposed Electronic Calculator Pure mathematics R Rounding-Off Errors in Matrix Processes S Solvable and unsolvable problems Some calculations of the Riemann zeta-function Systems of logic based on ordinals T The chemical basis of morphogenesis The essential Turing: seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma The extensions of a group The p-function in lambda-K-conversion The use of dots as brackets in Church's system The word problem in semi-groups with cancellation Turing's Treatise on Enigma V Visit to National Cash Register Corporation of Dayton, Ohio