ˈeɾeɪn ˈis rossˈeɾs famˈows ðˌefinˈitjon ˈof "ˌeffektˈiβe metˈod": "...a metˈoð eˈatʃ stˈep ˈof wˈitʃ ˈis pɾˌeθisˈeli pɾˌeðetˌeɾminˈeð ˈand wˈitʃ ˈis θˈeɾtaɪn tˈo pɾoðˈuθe tˈe answˈeɾ ˈin a finˈite numbˈeɾ ˈof stˈeps... a matʃˈine wˈitʃ wˈiʎ tˈen sˈolβe ˈani pɾˈoβlem ˈof tˈe sˈet wˈit nˈo ˈuman ˌinteɾβˈɛntjom beʝˈonð insˈeɾtiŋ tˈe kˈestjon ˈand latˈeɾ reˈaðiŋ tˈe answˈeɾ" pˈe. dosθjˈentos βˌeɪntiθˈinko ðosθjˈentos βˌeɪntisˈeɪs, tˈe ˌundeθiðˈaβle
Herein is Rosser's famous definition of "effective method": "...a method each step of which is precisely predetermined and which is certain to produce the answer in a finite number of steps... a machine which will then solve any problem of the set with no human intervention beyond inserting the question and (later) reading the answer" (p. 225–226, The Undecidable)