This project investigates how Wittgenstein’s concern with social practices can be tied to his philosophy of mathematics, by connecting his notions of calculus and language game. A reading of Wittgenstein as an early philosopher of mathematical practice is developed and subsequently applied to four specific issues: rule-following, the nature of mathematical proof, Gödel’s incompleteness theorems and computer-assisted proofs.