Robert Soare, the Paul Snowden Russell Distinguished Service Professor in Mathematics and Computer Sciences, has played a leading role in computability theory - the field that Turing founded and which is devoted to determining how effectively complex mathematical problems can be solved. In Mathematical Logic in the 20th Century, Gerald Sacks ranked a paper Robert Soare published in theAnnals of Mathematicsas one of the century's 31 most important papers in mathematical logic, including computability theory.
Alan Turing is remembered for developing concepts that made modern computers possible, and for leading complex military decoding efforts that proved critical in World War II. But Robert Soare argues that Turing's landmark 1936 paper on computability theory contains beauty as well as scientific breakthroughs.
In his invited book chapter, Robert Soare proposes that Turing's landmark 1936 paper on computability theory contains beauty as well as scientific breakthroughs. He compares the concepts in that paper to Michelangelo's statue, David. "Michelangelo and Turing both completely transcended conventional approaches. They created something completely new from their own visions, something which went far beyond the achievements of their contemporaries", Robert Soare writes.
Robert Soare further notes that the work of both men emphasized the human form. "Michelangelo brought out the human form in his statues and the Sistine ceiling. Turing invented a system which simulates how a human being computes, and then demonstrated that his creation did capture human computing", he wrote.
Robert Soare's chapter, titled "Turing and Michelangelo: The Art of Classical Computability", will appear in "Alan Turing - His Work and Impact", edited by Barry Cooper and Jan van Leeuwen. He will contribute two other invited works on Turing and computability to volumes that also will be published this year, as will his latest book, "Computability Theory and Applications: The Art of Classical Computability".
"Prof. Soare is specially important to the book, 'Alan Turing - His Work and Impact'", Barry Cooper stated. "Turing developed his ideas about computability and computers as a way of answering deep questions about the way the world works. Robert Soare has revived this connection in a very clear and exciting way. He has single-handedly produced what we now see as a 'Turing Renaissance', which makes his work on computability and art specially interesting and appropriate."
This spring Robert Soare will participate in scholarly Turing events at the University of Cambridge, where the latter completed his undergraduate education in 1934. On April 16, Robert Soare will deliver the opening plenary address of the British Mathematical Colloquium at the University of Kent in Canterbury.
Like Alan Turing, Robert Soare is an alumnus of Princeton University. One of Robert Soare's undergraduate professors at Princeton in the early 1960s, Alonzo Church, served as Turing's doctoral adviser more than two decades earlier.
Art history has long interested Robert Soare. A reproduction of Michelangelo's Creation of Adam hangs on his office wall at UChicago. The poster serves as a reminder of the undergraduate courses in art history that he took at Princeton, and of his subsequent viewings of the Renaissance art treasures and of Michelangelo's statues in Florence, Italy.
While presenting and listening to lectures on computability at the Italian Mathematical Summer Center in Bressanone in June 1979, Robert Soare began seeing analogies between what he called classical recursion theory and the classical art of the Italian High Renaissance. He developed a lecture on the analogies, which were published in the conference proceedings, and further expanded his ideas at the July 1982 American Mathematical Society meeting.
In his new "Turing and Michelangelo" chapter, Robert Soare concludes that mathematicians are like artists in that "they choose which problems to work on according to taste and beauty. Like artists, what they produce is evaluated on the basis of beauty as well as mathematical results. The greatest results are those arising from a completely new vision and a profound intuition into the area."
Turing's 1936 paper, written when he was a 23-year-old graduate student at Cambridge, opened the field of computability. He invented his automatic machine, now called a Turing machine, to capture the intuitive idea of how human beings calculate. He also introduced a special kind of Turing machine, which he called a universal machine.
"The universal machine simulated any other Turing machine because it took as inputs the programme for that machine and an arbitrary input, and processed that input just as the given programme would have done", Robert Soare stated. "The universal machine became very useful a few years later when Turing used it in the design of an electronic computer in the United Kingdom during World War II, and Jon von Neumann used it in the United States for the same purpose."
Turing died of potassium cyanide poisoning, ostensibly by his own hand, just two weeks shy of his 42nd birthday in 1954. He is still remembered, however, for his mathematical acumen and for his critical work in the British cryptographic service at Bletchley Park during World War II.
The British Government had persecuted Alan Turing as a homosexual in his final years. Decades later, British Prime Minister Gordon Brown lauded him for saving the lives of thousands of British servicemen during World War II. "Winston Churchill could not wait to get the intercepts that Alan Turing delivered. Alan Turing was his favorite man at Bletchley Park", Robert Soare stated.