At a very brief skim, it doesn’t look like the problem classes this paper looks at are problem classes I’d care about much. Seems like a case of scoping everything broadly enough that something in the defined problem class ends up very hard.
Is that because you already believed that enumerative interpretation agendas were unlikely to succeed?
At a very brief skim, it doesn’t look like the problem classes this paper looks at are problem classes I’d care about much. Seems like a case of scoping everything broadly enough that something in the defined problem class ends up very hard.
Is that because you already believed that enumerative interpretation agendas were unlikely to succeed?