Héctor Socas reflexiona sobre cómo Argentina podría haber tenido un papel crucial en la confirmación de la teoría de la relatividad general a través del eclipse de Eddington, explicando que una expedición liderada por Charles Perrin, director del Observatorio Nacional de Argentina, se vio frustrada por las condiciones climáticas.
Habla: Héctor SocasSignificado #1 · Palabras #1eclipse de eddington brasilcharles perrin observatorio nacional argentinaexperimento eclipse ideas einsteinlluvias torrentales observación eclipse…de hecho que son las que yo decía que se tomaron desde España en 1860. Por eso digo que hay cierta conexión entre todo lo que es el descubrimiento de la Corona, entendimiento de la Corona con algo de, bueno, que tiene cierta conexión histórica con España. Y Argentina podía haber sido, o sea, el eclipse de Eddington y la confirmación de la relatividad general podía haber sido un descubrimiento argentino, porque ese eclipse de 1812, creo que es el mismo, porque... No, no, no, es el de Brasil. En 1912 había una expedición a Brasil liderada por Charles Perrin, que era inglés, pero era el director del Observatorio Nacional de Argentina, que conocía las ideas de Einstein y que estaba empeñado en hacer el experimento del eclipse y fue a una expedición a Brasil, pero le pilló mal tiempo, le pillaron lluvias torrentales y no pudo hacer la observación. Y luego hubo otro en 1914. Igual, déjame aclarar una cosa de ese eclipse; que después de muchas investigarlo, porque no sé, la chat GPT me decía que Eddington no había estado en Brasil, por ejemplo, y sí estuvo en Brasil. Eddington estuvo en Brasil; hay una foto, hay una foto, encontré…
Francis Villatoro comenta sobre la creciente popularidad de herramientas como Charles GPT para generar código Lean y explica que algunas personas prefieren esto en lugar de recibir explicaciones detalladas de demostraciones matemáticas.
Habla: Francis VillatoroSignificado #17charles gpt genera código leanpreferencia por código lean automáticofrancis villatoro y charles gpt…y se da vuelta; está volviendo famoso. Y entonces probablemente eso incentive a gente joven que lo haga también. Pero se requiere un enorme conocimiento porque son demostraciones muy técnicas. Este es el gran problema que tenemos ahora mismo, como Esto se popularice y se está empezando a popularizar, ya está empezando a haber gente que está diciendo: No, no, no, no, yo no quiero que Charles G.P.T. me explique la demostración, porque yo no tengo ni zorrea, no lo voy a entender, quiero que me genere el código Lean automáticamente, porque las Demostraciones a principios de este año se generaban en lenguaje humano, hecho por la máquina, y entonces tú usabas Aristóteles, un conversor que te convertía esa demostración al lenguaje Lean, y después la verificabas en Lean. Se ha verificado en Lean y…
José Edelstein recuerda haber compartido una charla con otra persona la semana pasada, donde intercambiaron el orden de sus presentaciones respecto a un evento similar que ocurrió hace un año.
Habla: José EdelsteinPalabras #13charla de josé edelstein semana pasadaorden inverso charlas edelstein y yomismas charlas hace un año…conexión con el común de los mortales para, ¿qué sé yo?, hacer todo el esfuerzo. En general, cuando uno es más normal, uno es un físico normal; digamos, uno puede quizás tener más presente lo que el otro no sabe y entonces tratar de bajar mucho más a tierra. Yo estuve en la charla que él dio la semana pasada; dimos los dos una charla juntos, uno detrás del otro, mismas charlas que habíamos dado hace un año en el orden inverso: la había dado primero él y luego yo y luego ahora al revés. Y claro, yo escucho las charlas de él; a mí me parecen muy buenas como charlas, o sea, yo creo que cuando un físico te sientas ahí a escucharlas, te das cuenta; ya lo hemos comentado alguna vez con Gastón, que Juan Martín te cuenta las cosas que ya tú sabías…