The 1# team
Will Byrd: Scheme interpreter for 1# and related tools, the first 1# universal program, and editorial support.
Jiho Kim: the Java interpreter for 1#.
Lawrence S. Moss: concept, tutorial web pages
We thank the Indiana University Mathematics Department for supporting Will Byrd and Jiho Kim in their work on this project in June, 2006. We also thank the IU Program in Pure and Applied Logic for hosting this page.
Thanks to Kate Ellis for her advice on web-based instructional resources.
It is a pleasure to thank John Etchemendy and the late Jon Barwise for designing and developing Turing's World. That project made the case that new technologies could be of central important in the teaching of mathematics and computer science.
The drawings of musicians used in the tutorial are by the American cartoonist and writer James Thurber. I believe that the original sources for most of them are issues of the New Yorker magazine published in the early 1930's. (This is the about the same time as the seminal early development of computability theory.) Thanks to Jeff Taylor and Connie Wright for their help in getting the images in a usable form.
An extensive set of remarks will go here, detailing the work of Kleene in recursion theory, Shepherdson and Sturgis on the original formulation of register machines, Post machines, etc.