Folder 43: A Basis for a Mathematical Theory of Computation Preliminary Report by John McCarthy