Today is the 100th birthday of wartime code-breaker and pioneer of computer science Alan Mathison Turing. My collection of links about Turing, his ideas, his life, his machine, and related topics.
http://en.wikipedia.org/wiki/Alan_Turing
Alan Mathison Turing, OBE, FRS (
/ˈtjʊərɪŋ/ tewr-ing; 23 June 1912 – 7 June 1954), was an English mathematician, logician, cryptanalyst and computer scientist. He was highly influential in the development of computer science, providing a formalisation of the concepts of “algorithm” and “computation” with the Turing machine, which played a significant role in the creation of the modern computer.[1][2] Turing is widely considered to be the father of computer science and artificial intelligence.[3]
COMPUTING MACHINERY AND INTELLIGENCE
http://loebner.net/Prizef/TuringArticle.html
Turing, A.M. (1950). Computing machinery and intelligence. Mind, 59, 433-460
A Turing Machine built using LEGO
http://www.legoturingmachine.org/
In honor of the Alan Turing year 2012
Turing Round Up
http://aperiodical.com/2012/06/turing-round-up/
Una máquina de Turing de Lego
http://www.microsiervos.com/archivo/tecnologia/maquina-turing-lego.html
Para conmemorar el centenario del nacimiento del matemático y pionero de la informática Alan Turing unos aficionados han construido esta Máquina de Turing hecha con piezas de Lego,
El legado de un científico visionario
http://sociedad.elpais.com/sociedad/2012/03/20/actualidad/1332271841_073504.html
When Did That Happen?
http://pragprog.com/magazines/2011-12/when-did-that-happen
During the first or second week of December 1942—it’s impossible to be more precise—three men met for lunch at the Hay-Adams House in Lafayette Square in Washington, D.C. All of the men were geniuses and each of the three made separate, landmark contributions to the creation of electronic computers in the twentieth century.
Maquinaria computadora e inteligencia
http://www.etnassoft.com/biblioteca/maquinaria-computadora-e-inteligencia/
Embracing Uncertainty: The new machine intelligence
http://scpro.streamuk.com/uk/player/Default.aspx?wid=7739
A turing machine in 133 bytes of javascript
http://swizec.com/blog/a-turing-machine-in-133-bytes-of-javascript/swizec/3069
Swizec Gist
https://gist.github.com/1449124
How Dr. Seuss would prove the halting problem undecidable
http://ebiquity.umbc.edu/blogger/2008/01/19/how-dr-suess-would-prove-the-halting-problem-undecidable/
Alan Turing: Una historia de nazis y matemáticas
http://corralmatematico.wordpress.com/2011/08/31/alan-turing-una-historia-de-nazis-y-matematicas/
World War II Enigma Buster Alan Turing Commits Suicide
http://www.computerhistory.org/tdih/June/7/
Alan Turing and the Electric Monk Overlords
http://crispian-jago.blogspot.com.ar/2011/03/alan-turing-and-electric-monk-overlords.html
Turing Test online
http://testing.turinghub.com/
Turing award goes to ‘machine learning’ expert
http://phys.org/news/2011-03-turing-award-machine-expert.html
The Halting Problem
http://www.cgl.uwaterloo.ca/~csk/halt/
Turing Machines
http://www.xamuel.com/turing-machines/
Turing Machines were not the first model of computability, but they were the first model which viscerally captured the idea of computation, in a really tangible way that meshed with intuition. Turing’s model of computability is computationally equivalent to those of Church and Kleene, but even an expert logician has trouble imagining a physical real-life machine for lambda calculus.
Infinite Time Turing Machines
http://www.xamuel.com/infinite-time-turing-machines/
Watson, Turing, and extreme machine learning
http://radar.oreilly.com/2010/08/watson-and-turing.html
The real value of the Watson supercomputer will come from what it inspires.
Turing Completeness Considered Harmful: Component Programming with a Simple Language
http://lampwww.epfl.ch/~mcdirmid/papers/mcdirmid06turing.pdf
Why you need to be excited about SpyParty
http://www.destructoid.com/why-you-need-to-be-excited-about-spyparty-167171.phtml
If you want to look at it in the kookiest way possible, it’s actually a game based around the Turing test.
A Turing Machine
http://aturingmachine.com/
In Alan Turing’s 1936 paper on computable numbers, he presented a thought experiment. Turing describes a machine that has an infinitely long tape upon which it writes, reads and alters symbols. He further shows that a machine with the correct minimal set of operations can calculate anything that is computable, no matter the complexity.
Construye tu propia Máquina de Turing
http://www.neoteo.com/construye-tu-propia-maquina-de-turing
Morphogenesis
http://en.wikipedia.org/wiki/Morphogenesis
Some of the earliest ideas on how physical and mathematical processes and constraints affect biological growth, and hence natural patterns such as the spirals of phyllotaxis, were written by D’Arcy Wentworth Thompson and Alan Turing. These works postulated the presence of chemical signals and physico-chemical processes such as diffusion, activation, and deactivation in cellular and organismic growth.
Chuck Thacker Attains Computing’s Peak
http://www.microsoft.com/en-us/news/features/2010/mar10/03-09chuckthacker.aspx
A Talk With Charles Thacker, the Turing Winner
http://bits.blogs.nytimes.com/2010/03/09/a-talk-with-the-turing-winner/?scp=1&sq=charles%20thacker&st=cse
Barbara Liskov wins Turing Award
http://web.mit.edu/newsoffice/2009/turing-liskov-0310.html
ACM cites ‘foundational innovations’ in programming language design
A Lambda-Calculus Turing Machine
http://frmb.org/lambdaturing.html
The Shortest Universal Machine Implementation
http://www.mathrix.org/experimentalAIT/TuringMachine.html
Gregory Chaitin
http://www.umcs.maine.edu/~chaitin/
Gregory Chaitin is well known for his work on metamathematics and for the celebrated Ω number, which shows that God plays dice in pure mathematics.
Turing Centenary Lecture
http://www.umcs.maine.edu/~chaitin/mexico.html
Alan Turing: From Computers to Life
Three beliefs that lend illusory legitimacy to Cantor’s diagonal argument
http://arxiv.org/ftp/math/papers/0304/0304310.pdf
Cantor’s diagonal argument, Gödel’s proof, and Turing’s Halting problem
Computable function
http://en.wikipedia.org/wiki/Computable_function
Computable functions are the basic objects of study in computability theory. Computable functions are the formalized analogue of the intuitive notion of algorithm. They are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
Halting problem
http://en.wikipedia.org/wiki/Halting_problem
In computability theory, the halting problem can be stated as follows: Given a description of an arbitrary computer program, decide whether the program finishes running or continues to run forever. This is equivalent to the problem of deciding, given a program and an input, whether the program will eventually halt when run with that input, or will run forever.
Alan Turing proved in 1936 that a general algorithm to solve the halting problem for all possible program-input pairs cannot exist.
Omega and why maths has no TOEs
http://plus.maths.org/content/os/issue37/features/omega/index
by Gregory Chaitin
AlanTuring.net
http://www.alanturing.net/
The Turing Archive for the History of Computing
Omega
http://axxon.com.ar/zap/300/c-Zapping0300.htm
My Links
http://delicious.com/ajlopez/turing
Angel “Java” Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez
Angel \"Java\" Lopez on Blog 