Finalmente, después de un par de semanas de muchísimo trabajo, hoy y mañana son los días clave: hoy la presentación del abstract del poster, y mañana los posters en sí. En una hora arrancan las presentaciones así que no tengo tiempo para un post muy largo…

Estoy muy contento con cómo salió todo acá; el evento superó ampliamente mis expectativas y sobre todo disfruté muchísimo el tiempo dedicado a investigar en lógica, además que creo que los resultados de mi trabajo acá son interesantes lo que hace que sienta que valió la pena dedicarle tanto tiempo y esfuerzo.

No tuve mucho tiempo para bloguear, aunque sí muchísimo material para hacerlo… acá tuve oportunidad de conocer a gente interesantísima y de gran trayectoria, incluyendo a Stephen Wolfram, como ya contaba en el post anterior, y de casualidad por esas cosas de la vida, a John Conway que estaba dando unas conferencias para chicos genio de 12 años que por algún motivo están reunidos acá (ayer Wolfram les dio una también, muy divertida por cierto).

Ya se termina, mañana se cierra este evento, paso un par de días por Boston y me vuelvo para Buenos Aires.

Estos días podría haber escrito montones de blog posts por día, ya que la estoy pasando muy bien en la Summer School de Wolfram Research y encontrando muchísimas cosas interesantes todo el tiempo. El campus de UVM es maravilloso y la ciudad de Burlington es hermosísima, además de tener ardillas y gaviotas (supongo que son gaviotas) que en Buenos Aires jamás tenemos oportunidad de ver.

Las conferencias de la escuela de verano fueron escalando en dificultad e interés: empezaron siendo un poco básicas y enseguida se pusieron muchísimo más atractivas, y algunas de ellas fueron claramente reveladoras. Pero más allá de las conferencias en sí, lo que más me atrae de esta experiencia es la oportunidad de estar acá con gente de todo el mundo y de todo Estados Unidos, y de algunas de las universidades más importantes del mundo, compartiendo los avances y dificultades de nuestras investigaciones, lo que hace que haya un continuo clima intelectual que es absolutamente fascinante. Y quizás de algún modo, ése es el propósito verdadero de esta escuela de verano: juntar a gente de todo el mundo y de áreas diversas a investigar sobre temas relacionados.

Por otra parte, tiene que mencionarse, por aquí anda el señor Stephen Wolfram. Hacia fines de los 80s era uno de los científicos más conocidos del mundo en particle physics, trabajando con premios Nobeles como Richard Feynman, Murray Gell-Mann, etc; y a partir de entonces inició una serie de emprendimientos que de un modo u otro cambiaron la historia de nuestra ciencia: la investigación exhaustiva de autómatas celulares elementales (también, por lo que entiendo, descubiertos por él, la abstracción última del camino iniciado por Ulam, Von Neumann y otros), la creación del programa SMP, ahora Mathematica, que hoy día es usado masivamente para matemática e ingeniería en todo el mundo (y que lo hizo millonario), y muchos pequeños impactos más que surgen muchas veces de anécdotas por aquí.

NKS en sí, si cambiará el mundo o no lo sabremos en muchos años, como siempre en estos casos, pero sin duda como metodología permite acceder a ciertos nuevos puntos de conocimiento, y sin duda en el libro en sí de forma inequívoca Wolfram con sus colaboradores nuevamente encuentra soluciones a problemas interesantes: la universalidad de 110, el sistema de axiomas más corto de la lógica, etcétera, además de brindar un extenso y ordenado recorrido por muchísimas áreas de la ciencia y la matemática, y de hacer un recorrido exhaustivo por los estudios de los autómatas celulares y de otros tipos de sistemas simples también. Y por otra parte he visto aquí algunas otras cosas de las que, simplemente, no puedo decir más que W-O-W. Creo que Wolfram está a punto de hacerlo otra vez.

Estando aquí nosotros tenemos que desarrollar unos proyectos de investigación sobre complejidad, y el mío en este caso es sobre el análisis del grafo de demostraciones en lógica abstracta. Estoy muy feliz con este proyecto, estoy muy feliz de estar haciendo investigación sobre algo que me fascina desde siempre, la lógica abstracta y sus fundamentos, y además tengo en muchas oportunidades el feedback, y apoyo de la gente de Wolfram Research o de Stephen Wolfram mismo! sobre el avance de este proyecto (de hecho, la idea inicial para el mismo fue de SW; es para tratar de avanzar sobre un problema abierto en lógica que yo no conocía).

En definitiva, estoy en un lugar maravilloso, rodeado de gente maravillosa y, como decía en la carta de Wolfram Research, outstanding, sin duda. Y estoy cerquita del polo norte, los días son un poco más largos, además es verano, escucho todo el día conversaciones en inglés y encontrar una ardilla es siempre cómico. Y en cualquier momento puede surgir, al azar, la idea que estabas buscando, o una conversación sobre complejidad en la mesa.

En menos de una semana voy a estar saliendo para Vermont, Estados Unidos, a pasar una temporada en el campus de University of Vermont.

¿El motivo? Voy a asistir a una escuela de verano organizada por Wolfram Research (la empresa desarrolladora del programa Mathematica, usada en ingeniería y matemática en todo el mundo), sobre el tema de sistemas complejos / complejidad matemática. Va a estar en la misma nada menos que Stephen Wolfram, uno de los grandes científicos de este siglo, que trabajó junto a premios Nobel como Feynman y Gell-Mann en importantes avances a la física, y que fue uno de los pioneros de la ciencia de la complejidad.

El evento es la NKS Summer School 2008, la escuela de verano sobre el nuevo esquema para el estudio de la complejidad y la ciencia iniciado por el libro “A New Kind of Science”, de Stephen Wolfram. Va a ser una oportunidad increíble, sin duda, de aprender mucho sobre la complejidad matemática, de la mano de sus fundadores.

Como último detalle, Wolfram Research y FQXi (un science fund muy importante de USA) me dieron una sponsorship parcial para esta escuela de verano, con lo cual imagínense que mi alegría es completa! Estoy muy contento por participar de este evento, y obviamente mientras pueda durante el viaje les voy a ir contando las novedades que tenga sobre el mismo.

Hace un par de días tuve el gusto de ver una charla de Gonzalo Frasca en Educ.ar, sobre la que Alejandro Piscitelli cuenta algunos detalles aquí (en realidad sólo asistí a la segunda de las que relata).

Gonzalo es uno de los teóricos de videojuegos más conocidos del mundo (con mérito: ya que fue quien dio origen a toda la nueva corriente de ludología), además de ser dueño de un estudio de desarrollo que produce algunas joyas en materia de videojuegos.

Sigan atentos a su blog, ya que es posible que siga dando conferencias por aquí, y realmente vale la pena verlas.

Una breve explicación de esta pausa en el blog: estoy trabajando muchísimo, y cuando no, haciendo los preparativos para un viaje inminente a los Estados Unidos. Pronto haré un post sobre el tema, pero lo que puedo decir por ahora es que voy a estar estudiando unas semanas en University of Vermont, y luego voy a hacer una breve visita a Boston, por motivos que ya explicaré luego.

Más detalles pronto, o quizás durante el mismo viaje.

Segundo evento de complejidad 2.0 este jueves 15. Más info aquí: http://www.lukasnet.com.ar/blog/archives/000390.php

Esta vez con expositores: Andrés Ricardo Schuschny, Marina Umaschi, Mateo Ortega, Viviana Dehaes y Nacho Uman (y de nuevo Mario Lucas Kiektik como coordinador).

En un post reciente, aquí, hablé de la beta de Powerset, un muy interesante buscador semántico. La novedad ahora es que el buscador ya está abierto para todo público, así que se lo puede probar a gusto.

La dirección: http://www.powerset.com/

“I have made this letter longer than usual, only because I have not had time to make it shorter“, decía Blas Pascal (y parece que no Mark Twain, como generalmente se cree). Y después de la primer Tertulia de Complejidad 2.0, con su formato de charlas de 5 minutos a la Pecha Kucha, le puedo dar toda la razón.

La primer tertulia fue totalmente exitosa, y puedo decir que me fui del evento totalmente contento con los resultados. Creo que las siguientes tertulias serán más grandes y mejores, y tan participativas como la última.

Para más detalles, vean el post de Mario sobre este tema. Cuando tenga las fotos y videos del evento supongo estaré haciendo un pequeño resumen del mismo acá.

Mañana voy a estar dando una mini presentación en la reencarnación de las viejas reuniones de Complejidad, ahora abiertas al público. Pero mi presentación es lo de menos, porque hay invitados de lujo! (Alejandro Piscitelli, Heloísa Primavera, Mario Kiektik, Braja Waldman, etc) Les dejo la invitación.

Más info en un post de Mario Kiektik sobre este mismo tema.

Finalmente avanza la IA en el Go, el milenario juego chino. Aunque la variante principal (y más complejo) de este juego sucede en tableros de 19×19, es posible jugar al juego en otras variantes, entre ellas una de dificultad intermedia de 9×9. Y es en esta última variante en la que acaba de suceder que un Maestro de Go perdió en una partida contra un programa de Inteligencia Artificial.

Esto es una noticia porque hasta no hace mucho, aún los mejores sistemas de IA no podían ganarle a jugadores con poca experiencia en el juego, ni hablar de ganarle a los mejores jugadores del mundo en este juego. En cambio, para otros juegos como el Ajedrez, ya desde hace muchos años las computadoras pueden ganarle las partidas aún a los campeones. En el Go esto no era todavía así porque el juego presenta una variedad de jugadas (y posiblemente una complejidad estratégica) muy superior a la del Ajedrez, y por tanto representa un desafío mucho mayor para las computadoras que éste.

Más detalles sobre la noticia aquí.