No More Learning

The neces- sary conciseness of this criterion arises from the stipulation that from true propositions must always follow, on the one hand, good           and, on the other, useful machines.