Show newer

Los glaciares del mundo pierden tres piscinas olímpicas por segundo.
Glaciar Perito Moreno, 2014
Buen finde.

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 terrytao.wordpress.com/career- , 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)

Show thread

Torre mudéjar de la Iglesia de Santa María Magdalena, Zaragoza.
Visita de San Pepe con la @eina.unizar.es 🎉🎊

Julia tiene dos hermanas y un hermano. ¿Cuántas hermanas tiene su hermano Martín?
(science.org/doi/10.1126/scienc)

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.

nature.com/articles/d41586-025

Información de interés para viajeros 😉🍻

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:
revistaclinicacontemporanea.or

Show thread

“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.
filmaffinity.com/es/film382228

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

elpais.com/cultura/2025-03-16/

“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.
filmaffinity.com/es/film549496

@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.

Show thread
Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.