The Sources of Certainty in Computation and Formal Systems
List of papers
from
Michael J. O'Donnell
Bibliography
Michael J. O'Donnell. The Sources of Certainty in Computation
and Formal Systems, presented at the 1999-2000 Sawyer Seminar at the
University of Chicago, Computer Science as a Human Science: the
Cultural Impact of Computerization
Copyright
Copyright is held by the author. The author grants permission to use
the material under the terms of the GNU license. In general, you may
use this preprint freely as long as you use it accurately. You may
convert the text to other formats, and pass along copies to others as
long as you preserve the credit to the authors and publisher, and pass
on with every copy of this paper or derivative work the full license
granted to you.
There is a small amount of color in the paper, and a larger amount
in the lecture slides. The paper is completely comprehensible in black
and white, but the figures are nicer in color.