Assertion: effective solvability | /r/CapableOf | permit method
Facets:
Source sentences:
text: It is because effective solvability permits methods which contain an infinite number of steps, that I assert that the space of effectively solvable problems is a superset of the space of Turing decidable problems.