Angel \”Java\” Lopez on Blog

June 23, 2012

Alan Turing: Links and Resources

Filed under: Artificial Intelligence, Computer History, Computer Science, Turing — ajlopez @ 10:18 am

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 (play /ˈ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

Leave a Comment »

No comments yet.

RSS feed for comments on this post. TrackBack URI

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Create a free website or blog at WordPress.com.

%d bloggers like this: