No answer to Hume

In a recent article in this journal, Daniel Steel charges me with committing a fallacy in my discussion of inductive rules. I show that the charge is false, and that Steel's own attempt to validate enumerative induction in terms of formal learning theory is itself fallacious. I go on to argue that, contra Steel, formal learning theory is in principle incapable of answering Hume's famous claim that any attempt to justify induction will beg the question.