Si te interesa saber qué es la verificación automática probabilística de algoritmos y demostraciones, te gustará la gran charla de Irit Dinur (Weizmann Institute of Science, Israel) el pasado sábado 21 de agosto en el ICM 2010, Hyderabad, India, que está disponible en vídeo en este enlace. Irit apunta a premio Nevanlinna en el próximo ICM 2014 (e incluso a Medalla Fields).
1 Comentario
Deja un comentario
Por Francisco R. Villatoro, publicado el 26 agosto, 2010
Categoría(s): General • Informática • Matemáticas • Mathematics • Noticias • Science
Etiqueta(s): Ciencia, ICM 2010, Informática, Matemáticas, Noticias, Personajes
⇦ Publicado en Nature: No existen estados ligados con más de tres excitones en arseniuro de galio • La utilidad de lo inútil en mecánica cuántica ⇨
Categoría(s): General • Informática • Matemáticas • Mathematics • Noticias • Science
Etiqueta(s): Ciencia, ICM 2010, Informática, Matemáticas, Noticias, Personajes
⇦ Publicado en Nature: No existen estados ligados con más de tres excitones en arseniuro de galio • La utilidad de lo inútil en mecánica cuántica ⇨
Me encanta este blog. Lo sigo a diario. Muchas gracias por todos los post que publicas cada día.