[LUG.ro] Dijkstra y sus GOTOs (La ética de Bill Gates)

[Horacio]

El día 31 de mayo de 2012 13:22, Ezequiel Garcia
<elezegarcia en gmail.com> escribió:
> Ya sé que acá hay gente de LCC y que les dicen que los GOTOs son el
> demonio encarnado.
> Lo siento muchachos, les mintieron. El GOTO no tiene nada malo, hay
> que saber usarlo, nomás.

En esto estamos de acuerdo...


>
> Obvio que cada vez que digo esto, saltan todos y me dicen que estoy
> loco, no puede ser,
> el mundo se viene abajo.

efecto 20-12 ...


> "Program testing can be used to show the presence of bugs, but never
> to show their absence!"

Ya la conocía... eso se llama Modus Tollens... en lógica ...

Si p entoces q, luego no q entonces no p,,,

Es decir si uno tiene L enunciados explanantes que impliquen M
enunciados explanandum la falsedad de un explanandum basta para
invalidar los explanantes...

El modus tollens es central al modelo falsacionista de la ciencia
factica propuesto por Karl Popper en su libro "La lógica de la
investigación científica". Según Popper, la ciencia (incluida la
ciencia de la computación) nunca puede confirmar definitivamente una
hipótesis, pero sí puede refutarla definitivamente deduciendo una
consecuencia observable de la misma y mostrando que dicha consecuencia
no se cumple.

Según tengo entendido, lo que D... quiso mostrar es que CC es en si
una ciencia factica...