Alan Turing
Alan Mathison Turing, , (/ˈtjʊərɪŋ/ TEWR-ing; 23 June 1912 – 7 June 1954) was a British pioneering computer scientist, mathematician, logician, cryptanalyst, philosopher, mathematical biologist...
Alan Turing - Wikipedia
Turing Award
The ACM A.M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) to "an individual selected for contributions of a technical nature made to the computing community"....
Turing machine
A Turing machine is a hypothetical device that manipulates symbols on a strip of tape according to a table of rules. Despite its simplicity, a Turing machine can be adapted to simulate the logic of an...
Turing machine - Wikipedia
Barbara Jane Liskov
Barbara Liskov (born November 7, 1939 as Barbara Jane Huberman) is an American computer scientist who is an institute professor at the Massachusetts Institute of Technology and Ford Professor of Engin...
Barbara Jane Liskov - Wikipedia
Object-Oriented Turing
Object-Oriented Turing is an extension of the Turing programming language and a replacement for Turing Plus created by Ric Holt of the University of Toronto, Canada, in 1991. It is imperative, object-...
ReCAPTCHA
reCAPTCHA is a user-dialogue system originally developed by Luis von Ahn, Ben Maurer, Colin McMillen, David Abraham and Manuel Blum at Carnegie Mellon University's main Pittsburgh campus, and acquired...
Turing test
The Turing test is a test of a machine's ability to exhibit intelligent behavior equivalent to, or indistinguishable from, that of a human. In the original illustrative example, a human judge engages ...
Turing test - Wikipedia
Andrew Hodges
Andrew Hodges (born 1949) is a British mathematician and author.
Hodges was born in London. Since the early 1970s, Hodges has worked on twistor theory, which is the approach to the problems of f...
Reaction-diffusion system
Reaction–diffusion systems are mathematical models which explain how the concentration of one or more substances distributed in space changes under the influence of two processes: local chemical react...
Reaction-diffusion system - Wikipedia
Unorganized machine
An unorganized machine is a concept mentioned in a far-sighted 1948 report in which Alan Turing suggested that the infant human cortex was what he called an "unorganised machine". Turing defined the c...
National Physical Laboratory (United Kingdom)
The National Physical Laboratory (NPL) is the national measurement standards laboratory for the United Kingdom, based at Bushy Park in Teddington, London, England. It is the largest applied physics or...
National Physical Laboratory (United Kingdom) - Wikipedia
Reverse Turing test
A reverse Turing test is a Turing test in which the objective or roles between computers and humans have been reversed.Conventionally, the Turing test is conceived as having a human judge and a comput...
NuCaptcha
NuCaptcha is an early fraud detection service which utilises behavior analytics to provision threat appropriate, animated video CAPTCHA's. NuCaptcha is developed and operated by Canadian-based firm, N...
Description number
Description numbers are numbers that arise in the theory of Turing machines. They are very similar to Gödel numbers, and are also occasionally called "Gödel numbers" in the literature. Given some un...
Turing (programming language)
Turing is a Pascal-like programming language developed in 1982 by Ric Holt and James Cordy, then of University of Toronto, Canada. Turing is a descendant of Euclid, Pascal and SP/k that features a cle...
Turing (programming language) - Wikipedia
Computing Machinery and Intelligence
"Computing Machinery and Intelligence", written by Alan Turing and published in 1950 in Mind, is a seminal paper on the topic of artificial intelligence in which the concept of what is now known as th...
Computing Machinery and Intelligence - Wikipedia
Turing switch
In theoretical network science, the Turing switch is a logical construction modeling the operation of the network switch, just as in theoretical computer science a Turing machine models the operation ...
Turing switch - Wikipedia
Robin Milner
Arthur John Robin Gorell Milner FRS FRSE (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a prominent British computer scientist.
Milner was born in Yealmpton, n...
Ole-Johan Dahl
Ole-Johan Dahl (12 October 1931 – 29 June 2002) was a Norwegian computer scientist and is considered to be one of the fathers of Simula and object-oriented programming along with Kristen Nygaard...
Robert W. Floyd
Robert W (Bob) Floyd (June 8, 1936 – September 25, 2001) was an eminent computer scientist.His contributions include the design of the Floyd–Warshall algorithm (independently of Stephen Warshall...
Turing machine examples
The following are examples to supplement the article Turing machine.
The following table is Turing's very first example (Alan Turing 1937):With regard to what actions the machine actually does, Tu...
Turing machine examples - Wikipedia
Turmite
In computer science, a turmite is a Turing machine which has an orientation as well as a current state and a "tape" that consists of an infinite two-dimensional grid of cells. The terms ant and vant a...
Turmite - Wikipedia
Systems of Logic Based on Ordinals
Systems of Logic Based on Ordinals was the PhD dissertation of the mathematician Alan Turing.The thesis is an exploration of formal mathematical systems after Gödel's theorem. Gödel showed for that a...
Loebner Prize
The Loebner Prize is an annual competition in artificial intelligence that awards prizes to the chatterbot considered by the judges to be the most human-like. The format of the competition is that of ...