Bueno lo primero return es lo que devuelve en este caso tu programa al shell desde el que fue invocado, en este caso lo que estas devolviendo al shell es el numero introducido por el usuario. Esto es lo típico la respuesta de un comando, que tipicamente es 0 cuando todo va bien y un número distinto si ha habido algún problema, no obstante es preferible usar cuando tu código es el que se ejecuta principal la función exit antes que return.
Cuando el return está en una función el valor de return es lo que se le pasa a la funcion que lo invoca.
Por otro lado para "volver al principio" lo mejor es utilizar un bucle, y para que quede un "poco más claro", no queda mal encapsular el código que queremos que se repita en una funcion.
Por otro lado, tú comentas que quieres que salga si el número no es 1,2 o 3 y en tu código si te meten un número negativo o 0 también saldría, eso lo puedes corregir con chequeando que el resultado sea > 3 o menor que 1: if elegir_corte < 1 or elegir corte > 3:
No obstante un código que ejecuta lo que tú quieres te lo pongo aquí:
import time
def takeNumber():
n=0
print("Programa para sacar notas de p1, p2 o p3")
time.sleep(1)
nombre=input("Escribe tu nombre aqui: ")
print(nombre)
print("Bienvenid@ {} para comenzar a calcular".format(nombre))
time.sleep(1)
elegir_corte = int(input("Escribe el corte que vamos a calcular (Ej: 1, 2, 3): "))
print(elegir_corte)
return elegir_corte
def main():
numberToExit = (1,2,3)
result = 0
while not (result in numberToExit):
result = takeNumber()
if __name__ == '__main__':
main()
exit(0)
Lo que hace es invocar a un método main() que es una buena práctica, y este método lo que hace es crear una tupla, con los números que te marcan el corte en este caso 1,2,3.
Luego se itera en un bucle while mientras el número no esté contenido dentro de tus números de salida (la palabra in devuelve true si el número está dentro de la tupla). Y luego se llama a una función que recoge el nombre de usuario y el número que introduce, esta función devuelve pues el número introducido al usuario, luego la función main chequea si está dentro del conjunto de números para salir, si es así no vuelve a iterar el bucle, si por contra no está dentro de ellos (por eso en la condición del bucle se pone el not) lo que hace es volver a pedir otro numero.
Y al sistema operativo se le devuelve con exit(0) siempre que el comando se ejecutó correctamente (por convenio).