Gabriel Martins

@bronzeagepapi He doesn't even define the metric tensor correctly, which is the most fundamental object in a Riemannian manifold. This paper is hopeless.

A mathematical framework of intelligence and consciousness based on Riemannian Geometry arxiv.org/abs/2407.11024

10 years ago today, two terrorists stormed the offices of the French satirical magazine Charlie Hebdo, murdering 12 people and injuring 11 others. The magazine was targeted because its writers and cartoonists refused to bend the knee to religious dogma. As was said of Charb, the magazine's editor, "He died standing up."

It's not even known if this constant is irrational! Crazy!

Gotta love that unstable principal axis!

This is pretty funny. Quantifiers can be described as adjoint functors, ok category theory relax... #As_adjoint" target="_blank" rel="nofollow noopener">en.wikipedia.org/wiki/Universal…

Politicians and admins are trying really hard to prevent our students from learning their foundational math. edsource.org/2024/new-math-…

@paigelasgidi @miniapeur That cracked me up! Let's make sure that it's transitive so everyone has a good time.

@miniapeur Group action

This is hard.

circles encircling circles... (this took an entire day to render... 🥲) (it's ya boi, the hopf fibration of the 3-sphere...)

From Noam Elkies: " The elliptic curve E29 : y^2 + xy =   x^3 - 27006183241630922218434652145297453784768054621836357954737385 x       + 55258058551342376475736699591118191821521067032535079608372404779149413277716173425636721497 has rank at least 29, and exactly 29 under the GRH (generalized Riemann hypothesis) for zeta functions of number fields. This is now the largest rank known for an elliptic curve over Q (more precisely, the largest rank known for a subgroup of E(Q)), at last incrementing the previous record rank of 28 which I found and announced here in 2006. The new curve was found by Zev Klagsbrun last week by a sieve search on a rank-17 fibration of the same K3 surface that I used to find the rank-28 curve "

In 1890, Henri Poincaré proved the non-existence of the uniform first integral of the three-body problem and the sensitive dependence to initial conditions of its trajectories. Yet, stable solutions to it do exist and these are some of them.

If you would like to check out the code behind this video please take a look at github.com/holomorpheus/t…

An animation of a kickflip continuously deforming into a heelflip.

A continuous deformation between an ollie and a double kickflip. Made with @matplotlib. I recently posted a big update to the topological flips library that can generate these videos, check it out if you're interested: github.com/holomorpheus/t… youtube.com/watch?v=BjKvQh…

@FightFuzzyMath The piece in the top right is not nonsensical though. I do think it is unnecessarily complicated, but it's correct. It's so simple I can do that in a tweet though... 1 / (3/4) = 4/3 = 1 + 1/3 lol

@FightFuzzyMath This is awful! There is meaning to these algebraic symbols, this type of terrible shorthand notation will just lead to further confusion and many more mistakes... Is this actually real? I don't really want to buy her book to confirm...

The glaring mistakes in Jo Boaler's new book "Math-ish" reveal her unsolid and erroneous conceptual understanding of fractions and simple multiplication. If anything, the mistakes suggest weak procedural fluency and vague conceptual understanding reinforce each other.

@tejotaefe Ele era um desses tipo profeta da matemática haha.

Endrick, um matemático? - Sem dúvidas, Grothendieck. Não só pela sua enorme contribuição à geometria algébrica, mas também pela sua maneira radicalmente original de pensar e fazer matemática

@tejotaefe Essa é uma boa abertura de conversa pra festas. 😂 Eu diria que é falso, mas eu também acho que um argumento matemático é uma expressão mais interessante de um pensamento, do que uma proposição em si.

Verdadeiro ou falso? Tese 6.21 do TLP de Wittgenstein: "Mathematical propositions express no thoughts."

@tejotaefe Eu acho que ele tá fazendo matemática, só não é uma matemática lá tão emocionante...

Considere um gerador de teoremas aleatório: um algoritmo que gera uma sequência aleatória de proposições matemáticas (em alguma língua formal), verifica se é um teorema e retorna este teorema se a resposta for positiva. Este algoritmo está fazendo matemática?

@Yann_LeGall That's beautiful! I'm definitely showing this next time I find myself talking about stereographic projections!

rubiks projection