The repository administrator has not yet configured an RDF license.
More than half a century has passed since the famous papers Godel (1931) and Turing (1937) that shed so much light on the foundations of mathematics, and that simultaneously promulgated mathematical formalisms for specifying algorithms, in one case via primitive recursive function denitions, and in the other case via Turing machines. The development of computer hardware and software technology during this period has been phenomenal, and as a result we now know much better how to do the high-level functional programming of Godel, and how to do the low-level machine language programming found in Turing's paper. And we can actually run our programs on machines and debug them, which Godel and Turing could not do. I believe that the best way to actually program a universal Turing machine is John McCarthy's universal function EVAL. In 1960 Mc- Carthy proposed LISP as a new mathematical foundation for the theory of computation [McCarthy (1960)]. But by a quirk of fate LISP has largely been ignored by theoreticians and has instead become the standard programming language for work on articial intelligence. I believe that pure LISP is in precisely the same role in computational mathematics that set theory is in theoretical mathematics, in that it provides a beautifully elegant and extremely powerful formalism which enables concepts such as that of numbers and functions to be dened from a handful of more primitive notions.
HTML Summary of #7047 ALGORITHMIC INFORMATION THEORY