¿Hay que tener conocimientos matemáticos para ser un buen programador?

Gracias .

Hace varios años que pienso que si, sobre todo si quieres trabajar en cosas más divertidas que tienden a ser muy abstractas, por ende la matemática es fundamental.

Voy a compartir un Mail que le envié hace unos años a Leslie Lamport, uno de los padres de los sistemas distribuidos junto con Dijkstra y otros tantos. Es ganador del premio Turing 2014, el máximo reconocimiento para un informático. Otro dato extra: él creo Latex.

En una parte de mi Mail le pregunte:

Therefore I have one doubt...

1. What kind of math is relevant learn for computer science?

My objective is better my skills and keep learning.

Traducido:

Tengo una duda…

1. ¿Qué tipo de matemática es relevante para aprender computación?

Mi objetivo es mejorar mis habilidades y seguir aprendiendo.

Fue sorprendente recibir su respuesta, muy amable me respondio lo siguiente:

Dear Camilo,

The math you are sure to need is just simple set operators and propositional and predicate logic. You will find all of that in TLA+ -- for example, as described in Specifying Systems. The math is simple, but it takes practice for it to become as natural as arithmetic. Any other math you learn will help you to become used to thinking mathematically, which is important.

Good Luck,

Traducido:

Estimado Camilo,

La matemática que seguro necesitas son simple operadores de conjunto, lógica proposicional y predicativa. Tu deberias encontrar todo eso en TLA+ —Por ejemplo, como esta descrito en Specifying Systems. La matemática es simple, pero toma práctica para que se vuelva tan natural como la aritmética. Cualquier otra matemática que aprendas te ayudará a comenzar a pensar de manera matemática, lo cual es importante.

Buena suerte,

Fue muy inspirador dicho Mail, desde entonces he aprendido mucho sobre esos temas y sin duda me he vuelto un mejor programador.

Cabe señalar que Specifying Systems es uno de los libros de Lamport, donde presenta el lenguaje TLA+, que permite crear especificaciones formales de sistemas, un enfoque totalmente matemático para probar que un sistema funcione correctamente antes de programarlo en un lenguaje tradicional.

Saludos.