2 ms·
The issue is that some (actually, most!) of the logics you can reason about are not decidable. So, it is hard to have a sense of progress towards a goal.
by fooker 9y ago
The issue is that some (actually, most!) of the logics you can reason about are not decidable.
So, it is hard to have a sense of progress towards a goal.