Tag Archives: Euler

The Ramanujan Machine is all hype

Edit (17/02/21) I changed the title of this post which was unnecessarily incendiary. There’s a lot that I like about how mathematics operates as a social discipline. We have a great respect for the history of the subject, which in … Continue reading

Posted in Mathematics, Rant | Tagged , , , , , , , , , , , | 15 Comments

En Passant V

(warning: today’s persiflage comes with possible extra snark due to sleep deprivation) The Ramanujan Machine: I learnt from John Baez on twitter about The Ramanujan Machine, a project designed to “help reveal [the] underlying structure” of the “fundamental constants” of … Continue reading

Posted in Mathematics, Rant | Tagged , , , , , , , , , , , , , | 2 Comments

Who proved it first?

During Joel Specter’s thesis defense, he started out by remarking that the \(q\)-expansion: \(\displaystyle{f = q \prod_{n=1}^{\infty} (1 – q^n)(1 – q^{23 n}) = \sum a_n q^n}\) is a weight one modular forms of level \(\Gamma_1(23),\) and moreover, for \(p\) … Continue reading

Posted in Mathematics | Tagged , , , , , , , , , , , , , , | 2 Comments