MathA Institute of Rigorously Unnecessary Mathematics
Rigorous mathematics for questions settled by slogans.
About us
The Math∀ Institute of Rigorously Unnecessary Mathematics (MIRUM) applies the full machinery of modern mathematics, from spectral theory to optimal transport, to the questions that public debate settles with slogans.
Every claim is a theorem. Every theorem has a proof.
Papers
On the Existence of a Solution to the Italian Irregular Immigration Problem: A Spectral, Max-Flow and Optimal-Transport Approach
Johnny Silicio, Vittorio Mayellaro, Francesco Paoli Leonardi
Featuring the Barge Theorem (Teorema del Barcone), the ground state of outrage, and the Excluded Middle Theorem (Teorema del Terzo Escluso).
Read the paper (PDF)