sˈee ˈim pˌaɾtikulˈaɾ pˈaxe θjˈen tˈe ˌundeθiðˈaβle wˈeɾe ˈe ðefˈines tˈe nˈotjon ˈof "ˌeffektˈiβe kˌalkulˌaβilˈiti" ˈin tˈeɾms ˈof "ˈan ˌalɣoɾˈitm", ˈand ˈe ˈuses tˈe wˈoɾd "tˌeɾminˈates", ˈetk.
See in particular page 100 (The Undecidable) where he defines the notion of "effective calculability" in terms of "an algorithm", and he uses the word "terminates", etc.