Historical
Class-mismatch problem (why some true theorems are structurally undiscoverable)
Authority role
Class-mismatch problem (why some true theorems are structurally undiscoverable)
Related research programmes
Cite this paper
Jeremy Rodgers. Class-mismatch problem (why some true theorems are structurally undiscoverable).