«It is practically impossible to teach good programming to students that have had a prior exposure to BASIC: as potential programmers they are mentally mutilated beyond hope of regeneration.»

Autor: 
Edsger Dijkstra
Traducción: 
«Es prácticamente imposible enseñar programación correctamente a estudiantes que han estado expuestos al lenguaje BASIC con anterioridad. Como potenciales programadores, tienen la mente mutilada sin esperanza alguna de regeneración.»

Comentarios

Imagen de magmax

Puedo demostrar que no es correcto.

Por inducción, si encontrara un caso que no se ajustara a la sentencia a demostrar, habría demostrado que ésta no se cumple, ¿no?

Pues bien... Tengo un caso: ¡¡ yo !! Laughing out loud

Sin embargo estoy totalmente de acuerdo con la primera parte... Eye-wink

Miguel Ángel García
http://magmax.org

Imagen de nacho

Eso no es inducción

Eso no es inducción, es un contraejemplo.
Para demostrar por inducción, primero tienes que demostrar que se cumple el primer caso, y luego, demostrar que se cumple para cualquiera de los demás casos. Pero es condición necesaria que los casos estén ordenados.

Nacho

Imagen de magmax

Contraejemplo, contraejemplo

Cierto: es un contraejemplo, no inducción.

Laughing out loud

Miguel Ángel García
http://magmax.org

Imagen de brue

añado...

... además, para completar un poco a Nachete, decir que un contraejemplo se puede ver como una prueba de refutación para un cuantificador universal, mientras que en inducción estamos construyendo "todas" las posibles "demostraciones/pruebas", basándonos en el orden de los números naturales.

El procedimiento de inducción es:

1) ¿p(1) cierto?. (también se puede construir a partir de un n >= x')
2) p(n) supuestamente es cierto. (hipótesis de inducción).
3) ¿es p(n+1) cierto?.

Y el de contraejemplo:

Si decimos, (Para todo X)(p(X)), lo transformamos en No(Existe X)(no (p(X)), por eso cuando encontramos un X que no cumple p(X), hemos terminado y podemos decir que nuestra primera fórmula es falsa.

Espero poder haber ayudado a alguien, aunque el motivo original es el mismo que el de Nacho Eye-wink

brue

Imagen de david.villa

Joer, lo que da de sí la

Joer, lo que da de sí la Wikipedia Sticking out tongue

No soy portavoz de ningún colectivo, grupo o facción. Mi opinión es personal e intransferible.

Imagen de brue

:) ca**onazo!

Si fuera de la wiki, estaría referenciado Sticking out tongue

Pero no está de más mentar a Pascual Julián y a Manuel Fúnez. Transmisores de dicho conocimieto al menda Eye-wink

brue

Imagen de david.villa

¿Y cómo puedes demostrar que

¿Y cómo puedes demostrar que tu mente no está mutilada y se ha regenerado? A lo mejor si no hubieramos programado en BASIC a estas alturas estaríamos trabajando para la NASA... Sticking out tongue

No soy portavoz de ningún colectivo, grupo o facción. Mi opinión es personal e intransferible.

Imagen de magmax

Me has pillado

Pues sí, vale. Me has pillado. Dijkstra tenía razón.

Tan solo voy a añadir un corolario: Cualquiera que haya trabajado más de un año contra la API de Windows también tiene la mente mutilada sin ninguna esperanza de recuperación.

Para muestra, la función FormatMessage, típico caso de función de la API de windows y que es, más o menos, el equivalente a printf + strerror + alguna cosa más. Pues así todas las funciones.

Miguel Ángel García
http://magmax.org