I was just riffling through my pile of obsolete theories and came across an old treatise on recursion. Do you think it really says anything about the nature of algorithms?