I agree that calling a representation an ‘unfalsifiable tautology’ is a type error. Representation problems are ontology, not epistemology. The relevant questions are whether they allow some computation that was intractable before.
I agree that calling a representation an ‘unfalsifiable tautology’ is a type error. Representation problems are ontology, not epistemology. The relevant questions are whether they allow some computation that was intractable before.