miércoles, 16 de diciembre de 2015

Acceso Abierto (PHD Comics)

Recientemente, me han encargado actualizar los vídeos científicos que salen en unas pantallas que tenemos en la entrada a mi departamento. Por este motivo estoy poniéndome al día sobre la inmensa cantidad de vídeos de ciencia que hay. Mientras lo hacía he pensado que si estos vídeos son suficientemente buenos para mi departamento también lo son para mis lectores, así que iré subiendo los que encuentre más interesantes por aquí. 

Os dejo con este de Jorge Cham (PhD Cómics) sobre el acceso abierto en las publicaciones científicas.






jueves, 10 de diciembre de 2015

Un problema de física cuántica se demuestra irresoluble

La física cuántica es complicada, de eso no cabe duda. Nos pasamos la vida desarrollando algoritmos y resoluciones analíticas para una multitud de problemas distintos. Algunos de estos problemas son muy comunes en el campo, como calcular la energía del estado fundamental de un sistema o su evolución temporal. Por este motivo muchos grupos se han especializado exclusivamente en desarrollar métodos de cálculo para estos problemas. En última instancia, estos problemas tienen un coste computacional muy elevado (exponencial) y por eso también se trabaja en el desarrollo de ordenadores cuánticos. Sin embargo, para algunos problemas parece que no será suficiente todo ese esfuerzo.

Es sabido desde hace bastante tiempo que no todos los problemas se pueden resolver. Para demostrar algo así sólo basta con encontrar un ejemplo de problema irresoluble. Así lo hizo Alan Turing, padre de la computación. El problema que propuso fue el Problema de la Parada (Halting Problem). El  problema es el siguiente: Dado un programa de ordenador cualquiera, averiguar si terminará o no terminará. La condición es que la resolución se debe hacer de manera algorítmica. Esto quiere decir que no tenemos que solucionarlo para cada posible programa uno a uno, sino que tenemos que programar un ordenador de modo que nos diga de manera autónoma si un programa terminará o no.

La demostración de que este problema es irresoluble de manera algorítmica es bastante sencilla, y la podéis encontrar en este vídeo:




miércoles, 9 de diciembre de 2015

Vídeo: Ordenadores Cuánticos

Pronto volverá la divulgación dura al blog. Mientras esperáis ansiosos y ansiosas podéis ver este vídeo que he encontrado sobre computación cuántica que creo que es bastante bueno.