AnLo LoAn

Amante del rock progresivo, de los videojuegos y de la lógica matemática. Soy un friki de esos, supongo.

[AnLo LoAn @AnLoLoAn]

Buena música poco conocida, de nada. 😁
https://t.co/f4hc6Ll3WY

[AnLo LoAn @AnLoLoAn]

@Pablogalante9 Qué bien expresada la primera idea, buena imagen

[AnLo LoAn @AnLoLoAn]

@lluisp1999 Ahh vale tiene que ver con el Tema. Vale, entiendo, gracias

[AnLo LoAn @AnLoLoAn]

@lluisp1999 Qué quiere decir? Que si "no saben" resolver el problema entran en una especie de argumentación cíclica? (No me he leído el paper solo el tweet xd)

[AnLo LoAn @AnLoLoAn]

y no para ahorrarnos una actividad tan humana como son las matemáticas. Al igual que el arte, en este caso.

[AnLo LoAn @AnLoLoAn]

Comparto este sentimiento. Pero es lo que hay, es lo más normal en el mundo en el que vivimos. La lógica de la producción capitalista impera también en la investigación, incluso en la más fundamental y abstracta. Y la prioridad es producir. Resultados, papers, charlas, etc.

[MatLab crashes @memecrashes]

I am so tired of seeing these posts.

I am so tired of seeing my beloved field of study be the testing lab for a technology that is disrupting everyday life at such a high pace.

Mathematics were always about the beauty of seeing the ideas of a person unfolded in an extremely precise language so we can all look into a mathematician's mind and see their purest form of ideas, their understanding of a problem, their style, their way of communicating to other fellow researchers through mathematical results... this often transcends the common language humans use to communicate with each other and it is incredibly exciting to bump into shared ideas another person had thousands of kilometers away several years ago without even knowing them.

I am extremely unexcited about AI-breakthroughs in Mathematics in the same way I am extremely unexcited about a picture created by AI or an AI-generated video, not to speak about AI-generated text. Mathematics requires soul and intention. Mathematics need not be useful by definition, Mathematics are pure art that need hard work and effort to understand. The high you get when a year of work gets condensed in a one-page result is incomparable to anything else and, certainly, a machine is not apt to relate to humans in such a humane way.

I am not interested in the truth of the results. I am interested in how was the mind behind a result able to connect those dots. I am interested in the diversity human thoughts bring to Mathematics. I am not interested in a bunch of servers running probabilities to return a Theorem, even if true: that lacks the objective of Mathematics as I see them.

[AnLo LoAn @AnLoLoAn]

Las máquinas deberían de ser usadas para facilitarnos la vida (en otra sociedad en la que las usemos para reducir el trabajo, no en esta en la que existen únicamente para producir más, más barato, y con más beneficios, y de manera limitada, pues no generan plusvalía que robar),

[lewis @Lewiswbt1]

[reading only the first word and last word of this reply] glad you agree with me 👍

[MathMatize Memes @MathMatize]

More people live inside this circle than outside it

[Alex au Kote @RadiantKvothe]

20 años volviendo al barro
20 años sin suficientes cuchillos
20 años de cadáveres flotando junto a los muelles
20 años siendo realistas
20 años agradeciendo al sinvergüenza de @LordGrimdark que le diese por escribir un libro
⚔️🔥 20 AÑOS DE LA VOZ DE LAS ESPADAS 🔥⚔️

[Grupo Barbaria @grupobarbaria]

Publicamos una toma de posición común sobre la actual dinámica bélica del capitalismo junto a nuestros compañeros de Matériaux Critiques, de la @LeagueofIntCom, de Balance y Avante y otros compañeros internacionalistas
https://t.co/ufWq2yE5iz

[////////////////////////////////////// @fuckcomputer]

this is how the alphabet looks from above

– – – – – – – – · - – – — – – – – – – – – – — – – –

[Catsèries @_catseries]

ATENCIÓ: El @SomSX3 estrenarà la sèrie 'Fullmetal Alchemist: Brotherhood' amb el @DoblatgeCatala aquesta primavera. Feu RT!

[GBAtemp @GBAtemp]

https://t.co/JsGbxiVaDa

[Logic & Applications @LogicPractice]

Löb's theorem regarding Peano arithmetic is taken as an axiom in Gödel–Löb modal logic. □(□p → p) → □p.

[𝑹𝒐 💔 @holaconamor]

Holi
Me siento aventurera. ¿Sabéis de alguien que vaya al concierto de Walls en Madrid? Mi amigo y yo estamos buscando alojamiento, y por hacer piña. Un besitoo