¿Ha salido algo bueno del Instituto de Estudios Avanzados?

La broma en la academia es que el Instituto destruye genios. Todos los grandes nombres asociados con él hicieron su mejor trabajo antes de ir allí. Dicho esto, creo que Einstein y Godel hicieron un trabajo interesante al final de la carrera juntos allí o algo, sobre la naturaleza del tiempo.

Como dijo Richard Hamming en su famosa charla, Tú y tu investigación

http://www.cs.virginia.edu/~robi…

Cuando eres famoso es difícil trabajar en pequeños problemas. Esto es lo que hizo Shannon. Después de la teoría de la información, ¿qué haces para un bis? Los grandes científicos a menudo cometen este error. No logran continuar plantando las pequeñas bellotas de donde crecen los poderosos robles. Intentan sacar la gran cosa de inmediato. Y esa no es la forma en que van las cosas. Entonces, esa es otra razón por la que encuentras que cuando obtienes un reconocimiento temprano parece esterilizarte. De hecho, te daré mi cita favorita de muchos años. El Instituto de Estudios Avanzados de Princeton, en mi opinión, ha arruinado a más buenos científicos que cualquier institución que haya creado, juzgados por lo que hicieron antes de venir y juzgados por lo que hicieron después. No es que no fueran buenos después, pero fueron excelentes antes de llegar allí y solo fueron buenos después.

El libro de Teoría de los tipos de homotopía, que tiene un montón de personas que conozco al menos bastante entusiasmadas, fue escrito en el IAS. No he visto el material yo mismo, pero parece una extensión prometedora de la teoría de tipos con miras a una base constructiva para las matemáticas. A la gente de CS, por lo menos, ¡realmente le gusta cómo suena esto!

El libro también es interesante por cómo fue escrito, más allá de su contenido. Matemáticas y Computación tiene una buena publicación sobre esto, explicando cómo algo así como dos docenas de matemáticos publicaron un libro de 600 páginas en menos de seis meses. Eso en sí mismo es un logro impresionante, y también es muy sorprendente en matemáticas: los matemáticos normalmente no trabajan juntos en grupos grandes como este.

La mayoría de los autores: ¡los matemáticos normalmente no escriben libros en grupos como este!

Entre otras cosas, los autores del libro usaron git y GitHub. De hecho, puedes ver sus repositorios de GitHub: Teoría del tipo de homotopía. ¿Cuántos otros libros de texto puedes nombrar así?

También tienen no una, sino dos pruebas verificadas por computadora separadas junto con el libro: una en Agda y otra en Coq. Otra cosa que la mayoría de los matemáticos nunca hacen. (Con razones razonables la mayor parte del tiempo).

Finalmente, lanzaron todo bajo una licencia Creative Commons, para que pueda hacer casi todo lo que quiera con él. ¡Casi el polo opuesto de las revistas de acceso cerrado!

Con suerte, esto significa que las ideas del software libre están llegando a la academia. ¡Y eso es realmente emocionante por sí solo!

Diría que John Bahcall seguía siendo extremadamente productivo incluso después de ingresar al Instituto de Estudios Avanzados.

Todavía fue muy prolífico en sus últimos años: http://adsabs.harvard.edu/cgi-bi

Y aparentemente, hizo del instituto un imán para la astrofísica. Vea su obituario aquí: http://adsabs.harvard.edu/abs/2007BAAS … 39.1053S

Fue un educador que cambió la naturaleza de la formación posdoctoral y un estadista científico de influencia inusual y benéfica. Bahcall se mudó al Instituto de Estudios Avanzados (IAS) en Princeton en 1968 y pronto estableció esa institución como un imán y modelo para la formación postdoctoral. . Una fracción significativa de los astrofísicos más distinguidos del mundo se benefició de su tutela y de la atmósfera intelectualmente fértil que estableció allí. El eminente científico británico Sir Martin Rees se describe a sí mismo como afortunado de haber sido uno de los primeros becarios posdoctorales en astrofísica de la IAS en 1969. Se celebró el cumpleaños de todos los compañeros y los eventos familiares importantes. El ambiente intelectual era intenso, y los almuerzos semanales de los martes, con la presidencia de John, a los que invitó a toda la comunidad de física de Princeton, eran legendarios (ahora llamados Almuerzos Bahcall). El programa postdoc de Bahcall fue el que emularon las instituciones de astrofísica de todo el mundo. En el IAS, los jóvenes científicos fueron seleccionados y reclutados de la manera más exigente y luego fueron libres de trabajar en lo que quisieran, con quien quisieran. Bahcall fue mentor de más de 200 jóvenes astrónomos en sus cuatro décadas en el IAS.

Ahora, ¿era su trabajo algo que involucraba genio teórico o intuitivo? No estoy seguro. Su trabajo teórico sobre el problema de los neutrinos solares, por ejemplo, ya estaba hecho en gran medida cuando ingresó al IAS. Pero su reputación era mucho más alta en el momento de su muerte que en el momento en que ingresó al IAS.