No, not that comment, I mean the initial post. The problem is handling mathematical systems in an epistemology.
Handling mathematical systems in an epistemology is in my idea a topic but not a specific problem. In that topic there are probably a bunch of practical problem but.
Molecular biology is a subject. Predicting protein folding results is a specific problem.
If we look at FAI, writing a bot that performs well in the prisoner dilemma tournaments that are about verifying source code of the other bots is a specific problem.
The are also problems in the daily business of doing science where the scientist has to decide between multiple possible courses of action.
Handling mathematical systems in an epistemology is in my idea a topic but not a specific problem. In that topic there are probably a bunch of practical problem but.
Molecular biology is a subject. Predicting protein folding results is a specific problem.
If we look at FAI, writing a bot that performs well in the prisoner dilemma tournaments that are about verifying source code of the other bots is a specific problem.
The are also problems in the daily business of doing science where the scientist has to decide between multiple possible courses of action.