#8 PD: Existe la denominada 'verificación formal de programas o algoritmos', que demuestran mediante matemática discreta el correcto funcionamiento de los mismos.
Pero el problema de la parada nos dice que es imposible determinar con ningún algoritmo si otro algoritmo funcionará o no.
La verificación formarl de programas sólo funciona para un número reducido de programas y en un cierto tipos de condiciones.
#24 Sigo "siendo 100% libre" si tengo el Doom III (propietario) con los drivers propietarios de NVIDIA en un OS full libre como Gentoo??
NO!!
Porque pasado mañana puede a NVIDIA convenirle que los sistemas GNU/Linux paguen por tener sus drivers y puede por cuestión de mercado prohibirte que los tengas si no pagas.
Por lo tanto no eres libre.
A ti te puede dar igual,pero para una empresa con 150 ordenadores, que un día el fabricante NVIDIA le prohiba utilizar sus tarjetas si no paga puede ser muy traumàtico...
Pregunta para que entiendas la "filosofia" del software libre: si la empresa ha pagado religiosamente las tarjetas NVIDIA y el proveedor las prohibe un día, realmente de quién son las tarjetas??
#19 libertad = poder ponerte lo que te de la gana en tu Linux/Windows/lo que sea, indiferentemente de que sea libre ó no
Esa igualdad es falsa.
La libre elección te permite instalar software libre i software no libre
Lo que decimos tanto sergi como yo es que el segundo es esclavizante y muchas veces las comodidades que da el software privativo no valen la pena comparado con la libertad del primero.
Lo que pasa que los que estáis por la comodidad del software privativo no os dais cuenta que no sóis libres y en cuanto se os lo dice (con buena fe) armáis escándalos com el que has armado.
Qué mania con que las sanciones disminuyen los accidentes, conyio!!!
Lo que han de hacer es más accesible el paso de los peatones de una parte a otra de la calle, o en el caso de los accidentes de tráfico, mejorar las carreteras.
#7 Cubells 
:-)