Dit project onderzoekt hoe Wittgensteins bekommernis met sociale praktijken gerelateerd kan worden aan zijn filosofie van de wiskunde, door zijn noties van calculi en taalspelen te verbinden. Wittgenstein wordt gelezen als een vroege filosoof van de wiskundige praktijk. Deze lezing wordt vervolgens toegepast op vier specifieke kwesties: rule-following, de aard van wiskundige bewijzen, Gödels onvolledigheidsstellingen en computerbewijzen.