John Machin (1680 – 1751) est un mathématicien anglais connu principalement pour avoir calculé, en 1706, 100 décimales de pi grâce à la formule qui porte son nom, la formule de Machin :