Búsqueda · 34 momentos en 19 episodios
Silvana TapiaJuan Carlos GilFrancis VillatoroHéctor SocasBorja TosarGastón Giribetrevolución matemáticas fronteralean y nuevas generaciones matemáticoseuler matemáticas siglo xixmatemáticas siglo xxi leanEulerLeansiglo XIXsiglo XXIFrancis VillatoroTerence Tao
Revolución Matemáticas frontera
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro reflexiona sobre la revolución actual en matemáticas y su impacto en las diferentes generaciones de matemáticos, especialmente en relación con herramientas como Lean.
…yo voy a hacer el casting; no te vamos a consultarte. Para vos va a ser una sorpresa: vas a ir a la premiere y no vas a saber nada. Bueno, bueno, no sé; vamos a hacer la película de Coffee Break y vamos a buscar; yo me voy a encargar del casting de todos. Estamos viviendo un momento fascinante en la revolución de lo que está ocurriendo en matemáticas en la frontera y nos va a afectar a todos; los que ya tenemos una cierta edad nunca vamos a aprender. No voy a tener la capacidad de ganar intuiciones matemáticas gracias a formalizar en Lean, pero la gente joven acabará ganándolo y dominando. ¿Cómo se hacían matemáticas en la época de Euler, finales del siglo XIX? No tiene nada que ver cómo se hacían matemáticas a finales del siglo XX o cómo se hacen matemáticas ya en el siglo XXI. Héctor, apunta lo que ha dicho Francis: que en el episodio 1000 de Coffee Break nos va a traer una demostración por Linn, estoy convencido; hecha por él. Va a ser una demostración muy linda, digo que lo que es fascinante es como este programa adquiere vida…
Significado #1 · Palabras #1
Francis Villatoro comparte su opinión personal sobre las demostraciones asistidas por computadora, expresando la perspectiva de un matemático tradicional.
Habla: Francis VillatoroSignificado #17matemático tradicional comprensión demostraciónavances matemáticos comprensión objetosrelaciones entre objetos matemáticas…esos 1020 y tantos casos había que hacerlo por computadora. Entonces, vos siendo matemático, pero siendo más afín a otras ciencias en las cuales el cálculo, el cómputo es importante, ¿vos cómo te sentís acerca de las demostraciones asistidas por computadora? Acá viene lo personal. Bueno, a nivel personal, al matemático de toda la vida lo que nos gusta es disfrutar de la comprensión de la demostración; o sea, el avance en matemáticas es un avance a base de comprender objetos, de comprender cosas. Hay una serie de objetos que tienen relaciones entre ellos y lo que tú quieres es entender. Esas relaciones y disfrutar de la comprensión. O sea, vos decís que hay algo del goce y no solamente del estar seguro. Claro, claro. Porque la demostración cumple las dos cosas: saber que existe una demostración y que la ha hecho alguien, pues para mí es…
Francis Villatoro expresa su duda sobre la confianza que se puede depositar en demostraciones matemáticas realizadas por máquinas, a pesar de su aparente corrección.
Habla: Francis VillatoroSignificado #3 · Palabras #4demostraciones matemáticas máquinasconfianza demostración máquina correcciónrevolución matemáticas inteligencia artificial…las entiendo pero tengo la convicción de que si yo dedicara tiempo suficiente, acabaría entendiéndolas pero cuando una demostración me requiere estudiar 100 millones de páginas pues yo sé que por mucho que yo me esfuerce yo no lo voy a ser capaz de entender. Entonces yo puedo confiar en una demostración de 200 páginas que supuestamente demuestra que una máquina es capaz de demostrar que eso es correcto; pero te quedas como diciendo, me falta algo. Y es el problema que tenemos ahora mismo en matemáticas: es que está habiendo una revolución con el tema de La inteligencia artificial generativa y es que hasta hace muy poquito tiempo, un matemático le daba miedo formalizar en ordenador las demostraciones. Hay demostradores automáticos desde hace 50 años, pero muy poca gente los usaba. ¿Por qué? Porque dedicar…
Francis Villatoro reflexiona sobre el futuro de las matemáticas y cómo los verificadores automáticos están transformando la disciplina.
Habla: Francis VillatoroSignificado #14verificadores automáticos matemáticasasignatura herramientas matemáticas carrerarevistas validación máquina matemática…de casos, pero eran millones de casos que había que estudiar uno a uno y se estudiaban por ordenador, con una serie de propiedades que tenían que cumplir, entonces cada caso había que estudiarlo y siempre estaba con la duda de si se ha dejado algún caso. Acababa obteniéndose una prueba con ese tipo de verificadores automáticos y ahora está de moda. Entonces, el futuro dentro de 10, 15 años es que hay una asignatura en la carrera de matemáticas para aprender a usar estas herramientas y que todo se haga de esta manera. O sea, y que las revistas digan: esto es verdad solo si la máquina lo dice. Y para que la máquina lo diga, tú tienes que haber pasado todo lo que tú has dicho, todo lo que tú has escrito en papel, a la máquina. Pero déjame que lo vuelva a decir, que no sé si yo mismo lo he entendido bien, o sea, no. Es que Tao esté haciendo inteligencia artificial generativa, inventándose cosas, no; la herramienta le ayuda a explorar el código, ¿cómo se llama? Lint Lint, L-A-N, es el demostrador más famoso ahora mismo, y es un metademostrador. Te permite trabajar con un…
Francis Villatoro reflexiona sobre cómo Terence Tao está impulsando una revolución en la demostración matemática, anticipando que los matemáticos jóvenes adoptarán estas técnicas en las próximas décadas.
Habla: Francis VillatoroSignificado #2 · Palabras #2terence tao revoluciona demostración matemáticamatemáticas jóvenes adoptarán técnicas taodemostración en matemáticas próxima décadaterence tao matemáticas revolucionariasvaloración creciente enfoque taotendencia entre matemáticos tao…no había pensado, pero ahora que lo pienso pues es una buena idea y entonces está acelerando ese proceso de búsqueda de ideas a la hora de demostrar y ya tiene varios ejemplos y son absolutamente fascinantes, claro eso ahora mismo lo puede hacer pues Dios En matemáticas, Terence Tao, pero que ya no es un niño, que ya no tiene 30 años, que ya tiene sus 50 a largo, pero probablemente eso lo aprendan a hacer los matemáticos jóvenes en las próximas décadas y lo haga todo el mundo, por lo que promete una enorme revolución a lo que es la demostración en matemáticas. A mí me parece muy valiente por parte de Tao, yo soy muy equipo Tao, pero poquísimo que abarco en mis matemáticas y me parece fascinante lo que está haciendo. O sea, y ya te digo, está generando una tendencia en la que muchos matemáticos están empezando a valorar esto porque hace un año y medio el 99,9% de los matemáticos puede asegurar que Se negaba rotundamente a usar Lean. Eso es de inútiles, solo los inútiles requieren formalizar y que la máquina les diga que lo han hecho bien. No, no, no: aquí el matemático de pro tiene que mirárselo página a página y si para revisar un artículo hay que…
Francis Villatoro reflexiona sobre la revolución actual en matemáticas y su impacto en las diferentes generaciones de matemáticos, especialmente en relación con herramientas como Lean.
Habla: Francis VillatoroSignificado #1 · Palabras #1revolución matemáticas fronteralean y nuevas generaciones matemáticoseuler matemáticas siglo xixmatemáticas siglo xxi lean…yo voy a hacer el casting; no te vamos a consultarte. Para vos va a ser una sorpresa: vas a ir a la premiere y no vas a saber nada. Bueno, bueno, no sé; vamos a hacer la película de Coffee Break y vamos a buscar; yo me voy a encargar del casting de todos. Estamos viviendo un momento fascinante en la revolución de lo que está ocurriendo en matemáticas en la frontera y nos va a afectar a todos; los que ya tenemos una cierta edad nunca vamos a aprender. No voy a tener la capacidad de ganar intuiciones matemáticas gracias a formalizar en Lean, pero la gente joven acabará ganándolo y dominando. ¿Cómo se hacían matemáticas en la época de Euler, finales del siglo XIX? No tiene nada que ver cómo se hacían matemáticas a finales del siglo XX o cómo se hacen matemáticas ya en el siglo XXI. Héctor, apunta lo que ha dicho Francis: que en el episodio 1000 de Coffee Break nos va a traer una demostración por Linn, estoy convencido; hecha por él. Va a ser una demostración muy linda, digo que lo que es fascinante es como este programa adquiere vida…