Barrapunto

Las ciencias de la computación, a pesar de que se ha intentado que se vea así (Dijkstra habla de esto en su carta), no es una ciencia experimental; es una ciencia exacta. Dijkstra aboga por que se enseñe primero a trabajar con modelos, a ver los programas como fórmulas matemáticas con las que se trabaja, en lugar de trabajar con entes concretos. Pone unos ejemplos ilustrativos muy buenos sobre los problemas del "razonamiento operativo" frente al "razonamiento formal".

Por supuesto, una vez has aprendido a programar, lo que significa, a ver un programa como un modelo, no hay peligro de que hagas malas interpretaciones o aprendas las cosas como parecen ser, no como son realmente. Así que se puede utilizar, ahora sí, la programación como un medio, y no como un fin.

Deberías, como mínimo, echarle un ojo a la carta de Dijkstra. No solo dice eso, además dice la forma en la que se está haciendo, asemejando algo formal, un programa, a un dispositivo analógico. Y la programación, por ende, a una tarea que se hace de forma analógica.

La verdad es que el tipo era brillante, supo ver y prever muchos de los problemas que hay enseñando ciencias de la computación, así como anticipar algunas soluciones. La carta tiene 20 años y aún hoy tiene mucha validez, aunque se nota también mucho su influencia (es curioso, pero a mi en primero me enseñaron introducción a la programación tal y como el lo expone, con un lenguaje que tiene la forma que él comenta; y en el segundo cuatrimestre toda la formalización y derivación).

De hecho, creo que de ese es el mensaje fundamental de Dijkstra en el artículo citado: que la computación es algo mucho más complicado de lo que parece, porque funciona de una forma muy distinta al mundo al que estamos acostumbrados.

Deberías, como mínimo, echarle un ojo a la carta de Dijkstra. No solo dice eso, además dice la forma en la que se está haciendo, asemejando algo formal, un programa, a un dispositivo analógico. Y la programación, por ende, a una tarea que se hace de forma analógica.

Me parece que no te entiendo bien, porque creo que lo que dices era justo a lo que yo me refería: a que al tratar con dispositivos digitales aparecen funcionamientos muy extraños para los seres humanos, que estamos acostumbrados al mundo analógico. Por eso la programación es tan complicada, porque trabaja con magnitudes digitales.