IU Relief
Skip Navigation
1#: A Text Register Introduction to Computability Theory

red horizontal line
red horizontal line
red horizontal line
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.

Historical Remarks

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.

Last updated: 17 July 2006
Comments: lsm at cs dot
Copyright 2014, The Trustees of Indiana University
Copyright Complaints