Gabriel ( derived functor edition)

Vais de la vida a la muerte, vais de la nada a la nada

[Gabriel ( derived functor edition) @Gabanades8]

Un poco muy muy lofi, her song de @davidmaoux (el portugués de la guitarra)

[David Bessis @davidbessis]

"Étale cohomology is useful to Fields medallists so don't say it's useless to you."

[Gabriel ( derived functor edition) @Gabanades8]

@ckiroga23 Te acabas de referir a encontrar el grupo fundamental de yogoslavia como algo pedante, ni que fuese encontrar un funtor entre dos infinito categorias que connmute con colimites filtrados

[Gabriel ( derived functor edition) @Gabanades8]

El simplex es literalmente sumar y restar numeritos por favor un poco de seriedad eh

[shalaylay raiyusyoré yayaya pumpano ☭ @ykantguilleread]

“optimizacion” y es hacer dos derivadas cuando entreis en una carrera y os manden hacer un simplex os moris

[Thomas Bloom @thomasfbloom]

Mathematics -is- a human endeavour.

There is something which maybe you're calling mathematics that has nothing to do with humans, some 'platonic otherworld' of abstract ideas. But what I call mathematics is the human attempt to explore and understand this world.

[Thomas Bloom @thomasfbloom]

Indeed, the word mathematics itself comes from Greek, meaning roughly 'that which is to be learned'.

With no humans to learn it, it is not true mathematics.

[Alvaro Lozano-Robledo @mathandcobb]

The Riemann Hypothesis, the Goldbach conjecture, the Twin Prime conjecture... They have all been extensively verified numerically. So for all practical purposes, these are "true" statements. If needed for an actual practical use, they could easily be verified even farther.

The mathematical truth of these statements would only be "useful" to mathematicians that seek the truth and those who seek to understand *why* these statements are true.

If an AI agent proved these statements but there were no mathematicians to understand and digest the proofs, what would be the point of such a proof?

Even in the most optimistic of cases, where a super human mathematician agent exists that could prove or disprove (or declare undecideable) every statement, either there are human mathematicians that are there to understand the proof to explain it to other humans... Or there is simply no point for such a super human agent to exist in the first place.

[Gabriel ( derived functor edition) @Gabanades8]

El papagallo seguro que no dice gilipolleces como esta

[zugzjuan @zugzjuan96]

Un chaval o chavala talentoso que aborrece el sistema mediocre en el que está inmerso por supuesto que debería tener prioridad sobre papagallo que saca un 14 en selectividad mecanizando y repitiendo como un autómata. Lo veo bien.

[Gabriel ( derived functor edition) @Gabanades8]

Por otro lado el discurso de que alguien debe entrar más a una carrera que otra persona es completamente estúpido

[Gabriel ( derived functor edition) @Gabanades8]

Yo creo que deberíamos premiar al revés, plazas a los chavales que toquen hierba.

[Kinai @Kinai_24]

A mí esto me sigue pareciendo una barbaridad y espero que NO salga adelante. Ojalá se enseñara un desglose de la participación en olimpiadas por sesgos (especialmente por clase social) para que quede claro a quién beneficiaría esto.

[Sridhar Ramesh @RadishHarmers]

Computers are ineligible for the Fields Medal, as they are over 40 years old.

[Gabriel ( derived functor edition) @Gabanades8]

La ley de la gravedad es lo que ha hecho que a este cabron se le haya caído todo el pelo y por eso le tiene rabia

[Fonseca @Sr_Fonseca]

Según la ley de la gravedad, los aviones no volarían

[Gabriel ( derived functor edition) @Gabanades8]

Basao

[Thomas G. Dietterich @tdietterich]

Attention @arxiv authors: Our Code of Conduct states that by signing your name as an author of a paper, each author takes full responsibility for all its contents, irrespective of how the contents were generated. 1/

[David Bessis @davidbessis]

As it happens, verification is the real bottleneck for monkeys randomly typing on a keyboard.

[Lalo ❄️ #JjkEnjoyer @SarcasticLalo]

"Estamos muy, muy, muy cerca de que el legado de Pedro Sánchez sea, no sacar a España de la OTAN [...], sino desmantelar la OTAN totalmente"

[Gabriel ( derived functor edition) @Gabanades8]

Si tu pizarra y tu café tienen esa pinta no estas estudiando

[madeleine✶ @pilatesgirly]

you'll never regret studying

[Rock Solid @ShitpostRock2]

I hate performative students so much, every person I know who actually studies is addicted to caffeine and nicotine and is in the early stages of developing insomnia and schizophrenia

[Gabriel ( derived functor edition) @Gabanades8]

@PedroMayP @jtrechu No, que estudien los niños

[Gabriel ( derived functor edition) @Gabanades8]

@PedroMayP @jtrechu Higher algebra en primero, higher topos theory en segundo y en tercero shifted symplectic structures así si que va bien la ESO coño

[Gabriel ( derived functor edition) @Gabanades8]

@orrorbacui Esto si que es dedicación coño

[Gabriel ( derived functor edition) @Gabanades8]

@TellezKi Ajahahah que bonito que bonito

[Gabriel ( derived functor edition) @Gabanades8]

Combo breaker