Even in the realm of pure mathematics, where the notion of inerrancy is the most developed (and nowadays even able to be automatically verified by formal proof assistants), it is still true that mathematics *as practiced by mathematicians* still contains important components of accuracy-based thinking rather than inerrancy-based thinking. In line with the "three stages of mathematical development" I discussed in https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/ , while it is vitally important to be able to use the inerrant mechanism of formal (or semi-formal) mathematical proof to verify one's arguments, in order to actually *locate* these proofs it is far faster and more efficient to adopt looser, but still reasonably accurate, heuristic models in order to get an early sense of the feasibility or infeasibility of different ways to attack the problem, and to glimpse what the potential outcome of a complex calculation might be. Nowadays one even can employ completely non-rigorous techniques such as numerical simulations or machine learning to map out the landscape of intermediate results (which may be true or false, and whose proof or disproof may be routine, difficult, or hopeless) in order to select the most promising strategy (or to select a more tractable problem to study first). (3/3)
Julia tiene dos hermanas y un hermano. ¿Cuántas hermanas tiene su hermano Martín?
(https://www.science.org/doi/10.1126/science.adw5211)
Editorial en Nature:
Trump 2.0: an assault on science anywhere is an assault on science everywhere.
US President Donald Trump is taking a wrecking ball to science and to international institutions. The global research community must take a stand against these attacks.
La adjudicación a una empresa vinculada al PP del Teatro del Mercado de Zaragoza llega a los tribunales
Etats-Unis : un chercheur français refoulé pour avoir exprimé « une opinion personnelle sur la politique menée par l’administration Trump »
Hoy jueves 20, a las 19:00 h., en el Paraninfo de la Universidad de Zaragoza
http://uninfancia.unizar.es/2024/12/10/xiii-ciclo-de-cine-sobre-derechos-de-infancia-y-adolescencia/
Según veo, la UZ tendrá por primera vez una Rectora.
https://portalelectoralsg.unizar.es/static/resultados/resultados_eleccion_20.html
Hoy martes 18, a las 19:00 h., en el Paraninfo de la Universidad de Zaragoza
http://uninfancia.unizar.es/2024/12/10/xiii-ciclo-de-cine-sobre-derechos-de-infancia-y-adolescencia/
Premio al Mejor actor (Michael Fassbender) de la Asociación de Críticos de Los Ángeles.
5 Premios Genie (!?) (premios de la academia canadiense de cine y televisión).
Aquí, una reseña:
https://www.revistaclinicacontemporanea.org/archivos/cc2012v3n1a10.pdf
“A Dangerous Method” (2011), de David Cronenberg. Basada en las relaciones entre Carl Gustav Jung, Sigmund Freud y Sabina Spielrein. Los inicios del psicoanálisis. Transferencia y contratransferencia eróticas entre Spielrein y Jung, y diferencias entre éste y Freud. #cinejf
https://www.filmaffinity.com/es/film382228.html
Tesla se come una pared demostrando que no tiene nada que hacer contra un LiDAR
A semejante estulticia hay que ponerle nombre y foto: María del Carmen Muñoz Rivero (Linares, 1973).
La concejala de Igualdad de Linares ordena parar una representación de ‘Lisístrata’ por su “contenido radical” | Cultura | EL PAÍS
Buen debut de Julio Torres escribiendo el guión, dirigiendo la película y protagonizándola.
Nominada a Mejor ópera prima y a Mejor guion novel en los Premios Independent Spirit Awards.
Aquí, una reseña:
https://bitacoradecine.cl/problemista-2023-una-fabula-sobre-el-sueno-americano/
“Problemista” (2023) de Julio Torres. Comedia ligera pero ágil y surrealista sobre los infortunios de un joven migrante salvadoreño en Nueva York. Criogenización de cuerpos, arte contemporáneo y una muy loca viuda (Tilda Swinton, claro) del congelado, un pintahuevos. #cinejf
https://www.filmaffinity.com/es/film549496.html
@javifields peliculón. El alma en vilo y un recuerdo imborrable. Una película que reivindica el coraje y la necesidad de la memoria histórica
Por cierto, en los últimos minutos de la peli el personaje de Eunice Paiva, interpretado en la mayor parte del metraje por Fernanda Torres, es encarnado por Fernanda Montenegro (95 años), la actriz más grande de la historia de Brasil y madre de Fernanda Torres.
Leo #librosjf, veo #cinejf y a veces hago #fotosjf y #viajesjf.
(Catedrático jubilado de Unizar, Universidad de Zaragoza)