para Buscar en este blog

Ejemplo: Para acceder a las entradas que incluyan las palabras Sadosky y Clementina , basta colocar las mismas en la ventanita superior.

2016.01.27: Hugo Scolnik: Alan Turing and His Connections to MATLAB

Los trabajos de A.Turing, implementados prácticamente por la Dra.C.Popplewell en la Universidad de Manchester condujeron al desarrollo de la Ferranti-Mercury instalada en nuestra facultad y  bautizada Clementina

Conocí a J.Wilkinson, el ayudante de Turig, en un congreso en 1973 donde presenté mi tesis (él fue el referee). y a Cleve Moler en Stanford. Ambos geniales

Saludos

Hugo Scolnik

Alan Turing and His Connections to MATLAB

By Cleve Moler, MathWorks
The popularity of the movie “The Imitation Game” has focused public attention on Alan Turing, one of the 20th century’s most important mathematicians. The film is about Turing’s war-time code breaking and personal life. I am also interested in his unique contributions to science and his influence on MATLAB®.
Alan Turing, 1912–1954. Image courtesy Science & Society Picture Library.
Alan Turing, 1912–1954. Image courtesy Science & Society Picture Library.

Turing Machines

In 1936, as a 24-year-old student at King’s College, Cambridge, Turing delivered a paper that was to become the foundation of modern-day computer science: “On Computable Numbers, with an Application to theEntscheidungsproblem.” Loosely stated, the Entscheidungsproblem, or Halting Problem, asks “Is it possible to begin a proof that never finishes?” The question was first posed in 1928 by the great German mathematician David Hilbert. Hilbert challenged mathematicians to formalize the notion of mathematical proof and determine whether it is possible to state a proposition that can be neither proved nor disproved.
Turing formalized the notion of proof by introducing a theoretical machine. This machine had a finite number of states and an infinite tape containing a finite, but unlimited, number of zeros and ones. A set of rules (what we would today call its program) would cause the machine to read a single zero or one from the tape, then possibly erase it and write a new symbol in its place, move the tape one position to the left or right, and transition to a new state. That was all the machine could do. Turing showed that such a machine was capable of proving anything that could be proved by more complicated formalisms.
When he presented his paper, Turing was completely unknown in the field of mathematical logic. His approach was unprecedented. He used his formalism to show that the Hilbert Entscheidungsproblem had no solution—in other words, that it is possible to state mathematical propositions whose attempted proofs never terminate.
The implications of what we now know as “Turing machines” go far beyond this esoteric result. They are the basis of modern computer science, and, in fact, the theoretical basis for the actual computers that we use today.
Turing’s paper was published in 1936, at about the same time as another paper on the Entscheidungsproblem by the American logician Alonzo Church, a professor at Princeton. Turing spent two years working under Church and getting his Ph.D. from Princeton. During this time he also built three of four stages of an electromechanical binary multiplier and began his study of cryptography.

Bletchley Park and Enigma

In 1939, Turing returned to England to join the newly formed, top-secret Government Code and Cypher School at Bletchley Park. This organization’s task was to break the codes used by the German military to communicate with troops in the field, especially those on Uboats at sea. One of these codes employed the German cypher machine Enigma.
Germany’s Enigma cipher machine. Image courtesy Science & Society Picture Library.
Germany’s Enigma cipher machine. Image courtesy Science & Society Picture Library.
Early models of Enigma machines had been in use since the 1920s, so their basic principles were not secret. The details of the model used initially by the German military had been reverse-engineered by Marian Rejewski, a Polish mathematician in the Polish Cipher Bureau, in 1931. The machine has a typewriter-like keyboard, a plug board, three rotors, a reflector, and a display board. When a key is depressed, the electrical signal for that letter passes through the plug board, the three rotors, and the reflector. It then passes back through the rotors in the opposite direction and back through the plug board, where it lights the encrypted character on the display. At least one of the rotors then turns so that a different circuit is used for the next character.
Each day, three rotors were chosen from a set of five. Their initial positions were set according to code transmitted at the beginning of a message. These settings, together with the settings of the plug board and the reflector, determined the message encryption. The number of possible initial configurations was almost 1.6×1017.
Building on work begun by Polish intelligence, Turing designed an electromechanical machine known as the Bombe. This machine would eliminate configurations that generated decrypted messages failing to contain a specified crib, or given plaintext. For example, digits were often spelled out, and so the word “eins”, for “one”, was a frequent crib.
Turing’s group was so successful at decrypting German messages that Britain’s military had to disguise their responses to hide the fact that they came from intercepted communications.
The Bombe was not yet a full-fledged computer—it had no memory, it was “programmed” by setting switches and inserting patch cords, and its logic units were relays.
A recreation of the Bombe in the Bletchley Park museum.1 Image courtesy Wikimedia Commons.
A recreation of the Bombe in the Bletchley Park museum.1 Image courtesy Wikimedia Commons.

An Automatic Computing Engine

Immediately after the war, universities and research laboratories in many countries began to build stored-program electronic computers. In February 1946, while he was working at the National Physical Laboratory (NPL) in Teddington, Turing presented his own design for a stored program machine that he called the ACE (Automatic Computing Engine).
The design for ACE was based on concepts from Turing’s theoretical work on computability and on his code-breaking experience at Bletchley Park, where he had been involved with the development of a machine called Colossus. Colossus was built to help with the cryptanalysis of the German Lorenz cipher. It is often regarded as the world’s first digital computer, although, since it did not have a memory, it was not a stored-program computer; it was programmed by paper tape, plugs, and switches. Turing hoped the ACE could be built by the engineering team that built Colossus, but the Official Secrets Act prevented him from explaining that his design for ACE could actually be implemented.
Turing’s design for the ACE was far more ambitious than machine designs being proposed elsewhere. It included an early form of a programming language called Abbreviated Computer Instructions, and Turing believed that much of the work could be done in subroutines, with different sets of subroutines used for different tasks. His ACE was indeed inspired by a Universal Turing Machine.
Unaware of the computing successes at Bletchley Park, the NPL management was reluctant to approve Turing’s elaborate project.
Turing became frustrated at the bureaucratic delays, and eventually left NPL. In 1948, he accepted a position at the University of Manchester, where computer development was proceeding more quickly.

A Growing Interest in Matrix Computation

In 1947, while he was still at NPL, Turing wrote a paper titled “Rounding-off Errors in Matrix Processing.” This was before anyone had actual experience with automatic digital computers. Up to that point all computing had been done by hand. Although the terminology used in the paper is not quite what we would use today, the 13 section headings could serve as the syllabus for a modern course on matrix computation.
For example, Section 3 is “Triangular Resolution of a Matrix.” The principal result is
THEOREM ON TRIANGULAR RESOLUTION.
If the principal minors of the matrix A are non-singular, then there is a unique unit lower triangular matrix L, a unique diagonal matrix D, with non-zero diagonal elements, and a unique unit triangular matrix U such that A = LDU.
When we absorb D into U, this becomes the LU function in MATLAB. The result was not original with Turing. It also appears in another 1947 paper by von Neumann and Goldstine, which Turing references, and had appeared in other papers before then.
Section 4 is “The Elimination Method.” Gaussian elimination is described in words and related to LDU “resolution.” The fact that solving a set of n equations involves  multiplications is discussed. But there is no mention of the need for pivoting.
In Section 8, “Ill-Conditioned Matrices and Equations,” Turing uses the term “condition number” for the first time in the literature, and presents some of its properties. However, the definition is not expressed in terms of what we now call a compatible matrix norm.
John Todd developed the notions of matrix norms and condition numbers in a series of papers in the 1950s. Several other authors wrote about condition numbers, as well. By 1959, when I studied numerical analysis with Todd at Caltech, the concept was on a sound footing. I don’t remember if he mentioned Turing. Now we have normcond, andcondest in MATLAB.
The last four sections of Turing’s paper deal with round-off errors. Turing’s entire analysis is based on a quantity denoted by ε, the error made in one step of elimination. This error can be observed and controlled in hand computation but not in automated computation on a modern machine with a fixed word length. Because Turing was not concerned with pivoting and scaling, his analysis does not consider the possibility that ε might grow during the elimination.

The Pilot ACE

With Turing’s departure from NPL, his assistant, J. H. Wilkinson, took over leadership of the group. A simplified version of the ACE, known as the Pilot ACE, was built instead of the full machine. The first program on the Pilot ACE was run in May 1950, and the machine was officially demonstrated in December of that year. Wilkinson designed and built the arithmetic unit. Since Turing’s design meant that multiplication was done in a subroutine, Wilkinson was able to introduce floating-point arithmetic as soon as he realized it was desirable.
J. H. Wilkinson at the console for the launch of the Pilot ACE in 1950. Image courtesy Science & Society Picture Library.
J. H. Wilkinson at the console for the launch of the Pilot ACE in 1950. Image courtesy Science & Society Picture Library.
The Pilot ACE used mercury delay lines for its main memory. At first, there were only 128 32-bit words of memory. That was later expanded to 354 words. A 4096-word drum was added in 1954.
The machine was originally intended to be experimental, but it was so useful that it was kept in operation for several years. One application, publicized by the BBC, involved modeling metal fatigue in a Comet jet airliner. A commercial version of the Pilot ACE known as the DEUCE was produced by British Electric. Altogether, 33 Pilot ACE machines were made between 1955 and 1964.

Wilkinson and the Beginnings of MATLAB

Jim Wilkinson continued to head the Pilot ACE project, as well as work on numerical analysis. He went on to become the world’s leading authority on matrix computation. His research on matrix eigenvalue algorithms was published as a series of papers, with various coauthors, in Numerische Mathematik. The work was eventually collected in Handbook for Automatic Computation, Volume II, Linear Algebra, 1971, with coauthor Christian Reinsch.
Wilkinson’s Algol procedures in the Handbook were translated to Fortran by a group at Argonne National Laboratory. This version became EISPACK (Eigensystem Package). I was part of the EISPACK project. I wrote the first version of MATLAB so that my students could get access to the package without writing Fortran.
I never met Alan Turing. I was 15 years old when he died. I wonder what he would have thought of MATLAB.

No hay comentarios:

Publicar un comentario

Comentarios son bienvenidos. Pero deben ser con identificación del comentarista, mail incluido. Los comentarios anónimos son eliminados.
¿Cómo hacerlo?: 1) clic en ventanita a la derecha de comentar como; 2) clic en la opción Nombre/URL; 3) completar nombre y clic en Continuar; 4) Escribir comentario y clic en Publicar. Si el comentarista no es miembro del Blog debe incluir su mail.
Hernán