¿Por qué los tipos de datos son mutables o inmutables?
Veamos Python como ejemplo,

Los tipos de datos en Python son básicamente objetos o clases, int es una clase, flotantes, listas, etc.

Por lo tanto, escribir x=6 crea un nuevo objeto entero con un valor de 6 y apunta una referencia llamada x a este objeto.

Ahora necesitamos analizar las clases, las clases básicamente agrupan datos y funciones, las funciones se llaman Métodos y son de dos tipos: métodos de acceso y mutador . ]

Los métodos de acceso acceden al estado actual de un objeto pero no cambian el objeto en sí, por ejemplo,

x = "hola"

y = x.superior()

Aquí se llama al método superior en el objeto al que se refiere x, el descriptor de acceso superior luego devuelve un nuevo objeto, un objeto str que es una versión en mayúsculas de la cadena original. (no dudes en volver a leer), básicamente devuelve un nuevo objeto basado en el original, ahora solo que está en mayúsculas.

Los métodos mutadores, por otro lado, cambian los valores en los objetos existentes y un buen ejemplo es el tipo de lista (clase).

nuevaLista = [1,2,3]

nuevaLista.reverse()

Este método mutará el objeto existente, un método mutador no se puede deshacer.

Se dice que los tipos de datos que carecen de estos métodos mutadores son inmutables y, por lo tanto, solo contienen métodos de acceso, los que carecen son mutables.

Espero que esto haya ayudado, mantén la curiosidad :)