El día 31 de mayo de 2012 13:22, Ezequiel Garcia <[email protected]> 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... _______________________________________________ Lugro mailing list [email protected] http://lugro.org.ar/mailman/listinfo/lugro
