Project

Wittgenstein als filosoof van de wiskundige praktijk

Code

01D05214

Looptijd

01-10-2014 → 30-09-2021

Financiering

Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds

Promotor

Maarten Van Dyck

Mandaathouder

Wim Vanrie

Onderzoeksdisciplines

Humanities and the arts
- Philosophy of mathematics
- Analytical philosophy
- History of philosophy

Trefwoorden

wiskundige praktijk Gödels onvolledigheidsstellingen wiskundig bewijs computerbewijs calculus Ludwig Wittgenstein filosofie van de wiskunde taalspel rule-following

Projectomschrijving

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.