Robert Irving Soare

  • Citations Per Year
Learn More
1. Mathematics as an Art Mathematics is an art as well as a science. It is an art in the sense of a skill as in Donald Knuth’s series, The Art of Computer Programming, but it is also an art in the sense of an esthetic endeavor with inherent beauty which is recognized by all mathematicians. One of the world’s leading art treasures is Michelangelo’s statue of(More)
The model of recursive functions in 1934-1936 was a deductive formal system. In 1936, Turing and in 1944, Post introduced more intuitive models of Turing machines and generational systems. When they both died prematurely in 1954, their informal approach was replaced again by the very formal Kleene T-predicate for another decade. By 1965, researchers could(More)
  • 1