Búsqueda · 34 momentos en 24 episodios
Ignacio CrespoBorja TosarJosé EdelsteinIsabel CorderoFrancis VillatoroHéctor Socashistoria de tales de miletociclos de saros babilonioscomunicación mundo helenístico mesopotámicoheródoto siglos despuéscomunicación entre culturas campo batallahistoria dudosa del ciclo de sarosHeródotoTales de MiletoBabiloniosSarosHéctor Socasciclo de SarosJosé EdelsteinLeanFrancis VillatoroAstraOpenAI
Comunicación mundo helenístico mesopotámico
Ep565: Introgresión; Eclipse; Inestabilidad Kelvin-Helmholtz; Piezoquiralidad
6 de agosto de 20262 momentos
Con
0:000:301:001:302:002:303:003:34
Héctor Socas discute la veracidad de una predicción de eclipse solar atribuida a Tales de Mileto, señalando que la historia fue relatada por Heródoto siglos después.
…es por algo. Nuestro Dios se cabreó, lo que comentaba Héctor antes de la famosa paz en el eclipse que supuestamente predijo Tales, que es bastante flojo de papeles esa predicción, aunque no es totalmente imposible, pero es bastante probablemente imposible. El tema es que eso fue contado por Heródoto siglos más tarde. Un siglo y 130 años más tarde. Pero podría ser porque los babilonios sí que conocían los ciclos de Saros y había cierta comunicación entre el mundo helenístico y esas culturas mesopotámicas, es posible que algo le hubiera llegado a Tales de Mileto, pero bueno, no lo sabemos seguro. Sí. Pero a ver, primero que el ciclo de Saros, algunos comentarios sobre eso. El ciclo de Saros es más o menos la misma época, es un poco anterior, bueno, quizás un siglo anterior, que es mucho, evidentemente, pero bueno, un siglo anterior, pero una época en la cual comunicar a las culturas con las cuales solo te encontrabas en el campo de batalla. Pero por eso digo, no es imposible, no está bien establecido, pero bueno, tampoco es disparatado; o sea, no sabemos, es una historia ahí que está un poco dudosa. Lo que lo hace muy improbable es que el ciclo de Saros, bueno hoy entendido muy bien, el ciclo de Saros es que los eclipses se repiten casi iguales a sí mismos cada 18 años, 11 días, 7 horas, 42 minutos. Y eso fue apreciado por los astrónomos caldeos probablemente en torno al año 700 a.C., con eclipses de…
Significado #1 · Palabras #1
Héctor Socas discute la veracidad de una predicción de eclipse solar atribuida a Tales de Mileto, señalando que la historia fue relatada por Heródoto siglos después.
Habla: Héctor SocasSignificado #1 · Palabras #1historia de tales de miletociclos de saros babilonioscomunicación mundo helenístico mesopotámicoheródoto siglos despuéscomunicación entre culturas campo batallahistoria dudosa del ciclo de saros…es por algo. Nuestro Dios se cabreó, lo que comentaba Héctor antes de la famosa paz en el eclipse que supuestamente predijo Tales, que es bastante flojo de papeles esa predicción, aunque no es totalmente imposible, pero es bastante probablemente imposible. El tema es que eso fue contado por Heródoto siglos más tarde. Un siglo y 130 años más tarde. Pero podría ser porque los babilonios sí que conocían los ciclos de Saros y había cierta comunicación entre el mundo helenístico y esas culturas mesopotámicas, es posible que algo le hubiera llegado a Tales de Mileto, pero bueno, no lo sabemos seguro. Sí. Pero a ver, primero que el ciclo de Saros, algunos comentarios sobre eso. El ciclo de Saros es más o menos la misma época, es un poco anterior, bueno, quizás un siglo anterior, que es mucho, evidentemente, pero bueno, un siglo anterior, pero una época en la cual comunicar a las culturas con las cuales solo te encontrabas en el campo de batalla. Pero por eso digo, no es imposible, no está bien establecido, pero bueno, tampoco es disparatado; o sea, no sabemos, es una historia ahí que está un poco dudosa. Lo que lo hace muy improbable es que el ciclo de Saros, bueno hoy entendido muy bien, el ciclo de Saros es que los eclipses se repiten casi iguales a sí mismos cada 18 años, 11 días, 7 horas, 42 minutos. Y eso fue apreciado por los astrónomos caldeos probablemente en torno al año 700 a.C., con eclipses de…
Francis Villatoro explica que, debido al aumento de demostraciones generadas en el lenguaje de programación Lean por herramientas de inteligencia artificial, todos los licenciados en matemáticas del mundo necesitarán un curso anual sobre este lenguaje.
Habla: Francis VillatoroPalabras #15curso anual lean para licenciados matemáticasdemostraciones generadas en lenguaje leanexpertos en lean comunidad matemáticagestionar demostraciones lean matemáticos…en Lean y además entiendo el lenguaje humano con el que se ha descrito. Pero es que ahora no, ahora ha generado directamente Lean, el lenguaje máquina, entre comillas, incomprensible para los humanos. En muy pocos años, todas las carreras de matemáticas del Mundo, todos los licenciados en matemática del mundo van a tener que tener un curso de un año en Lean. Todos van a tener que ser expertos en Lean, porque van a aparecer miles, decenas de miles de demostraciones en Lean. Y la única manera de gestionar eso para la comunidad matemática mundial va a ser que esos matemáticos entiendan Lean, también como entienden sumar, restar o multiplicar. Y eso estamos en un momento en la transición terrible. Entonces, esas 10 demostraciones, ¿sabes que una de ellas es incorrecta? ¿Las otras 9 son correctas? No lo sabemos. No lo sabemos. Tenemos que ponernos a estudiar Lean. Yo no sé Lean. Yo no puedo ponerme a leer un código de 20.000 líneas en Lean si me aburro…