Otra forma, parecida a las propuestas por Nocturno y Miguel

.
1. Elegir el número menor como divisor.
2. Dividir a los restantes entre el divisor.
3. Si todas son divisiones exactas, tenemos el MCD.
4. Si alguna no es división exacta, calcular el mayor factor propio no evaluado del menor número.
5. Dicho factor es ahora el nuevo divisor.
6. Volver al paso 2.
Mmmm, no sé, podríamos probar varias formas y ver cuál es la más eficiente (para números pequeños, para números grandes, para pocos números, para muchos números, en gral., etc.)

.
Con el ejemplo que puso Miguel
MCD de 12, 20, 24
Número menor: 12
20 mod 12 != 0, no es división exacta.
Mayor factor propio: 12 / 2 = 6
20 mod 6 != 0, no es división exacta
Siguiente factor propio: 12 / 3 = 4
20 mod 4 = 0, 24 mod 4 = 0
4 es el MCD.