Nos outros posts dessa minissérie, acho que o meu melhor aprofundamento foi no post da verificação formal.

Imagina formular um automato finito base que consegue "percorrer todos os casos de uso de um algoritmo" é um nível de sofisticação que nunca ouvi falar antes.

Automato esse, que de certa forma também é uma representação em grafo.

Felizmente temos este espaço pra tentar quebrar esse estigma e mostrar que é útil sim.

É além de útil, a matemática é essencial em qualquer área, mesmo as de humanas.