ˈes ðeθˈiɾ ke tˈoðo ˌalɣoɾˈitmo kalkˈula ˈuna funθjˈon dˌonde kˈaða nˈumeɾo nˌatuɾˈal ˈes la kˌoðifˌikaθjˈon de ˈum pɾoβlˈema o ðe ˈuna sˌoluθjˈon.
Es decir que todo algoritmo calcula una función  donde cada número natural es la codificación de un problema o de una solución.