En los inicios de la cartografía lunar había recibido otros nombres.
Entre ellos, "Cráter de la Luna Roja" y "Cráter de la Mancha Oscura", debido a su apariencia en las primeras imágenes obtenidas desde la Tierra. Sin embargo, finalmente se le asignó el nombre de "Cráter de la Luna" en