Ingresar:

Pablo Azero :: Blog :: Entrevista a Robin Milner

July 10, 2007

¿Quién es Robin Milner? Turing Award en 1991 por sus trabajos en sistemas para la automatización de demostración de teoremas (LCF), dentro del cual se inventó el lenguaje ML (un lenguaje funcional estricto con inferencia de tipos que usa el algoritmo Hindley-Milner que él ha co-inventado) y su trabajo en teorías para la formalización de sistemas concurrentes. La entrevista es en parte técnica y en parte sobre su vida.

Palabras clave: entrevista, inferencia de tipos, ml, robin milner, turing award

Enviado por Pablo Azero



Comentarios

  1. Leer esa entrevista me caus'o alegr'ia y tristeza a la vez.

    Alegr'ia al ver que alguien que no consigui'o un doctorado tenga un nivel acad'emico tan alto, es un matem'atico que se form'o a si mismo y lleg'o a donde est'a despues de varios tropiezos y mucha b'usqueda.

    Pero tristeza al ver que no puedo comprender la mayor parte t'ecnica de la entrevista, realmente mi nivel de matem'aticas es p'esimo y as'i dif'icilmente puedo aspirar a tocar siquiera el 'ambito cient'ifico :( .

    El hecho es que not'e que Robin fu'e bastante autodicacta, es cierto, pero no sin antes haber tenido una muy buena formaci'on escolar en matem'aticas, para alguien con buenos cimientos es mas f'acil.

    user iconAlvaro Sejas on Tuesday, 10 July 2007, 19:23 BOT # |

  2. Todos los dias se puede comenzar. Hay que agarrar un buen libro de lógica y leer. En la biblioteca de la facultad hay cientos de buenos libros en matemáticas. En el sitio de Haskell hay buen material sobre lo que es interesante de las matemáticas para la programación funcional. Hay personas con las que uno puede compartir estas cosas. Por ejemplo no creo que Vladi o yo no estemos dispuestos a charlar sobre algunos aspectos de matemáticas que podemos conocer aplicados a computación. Luego también creo que Américo Vargas puede apoyar. Se puede hacer un blog para poner las anotaciones que uno tenga de las cosas que resuelve (o no puede), etc.

    user iconPablo Azero on Wednesday, 11 July 2007, 07:57 BOT # |

Debes iniciar sesión para enviar un comentario.