Code
01D05214
Duration
01 October 2014 → 30 September 2021
Funding
Regional and community funding: Special Research Fund
Promotor
Fellow
Research disciplines
-
Humanities and the arts
- Philosophy of mathematics
- Analytical philosophy
- History of philosophy
Keywords
computer-assisted proof
mathematical proof
Gödels incompleteness theorems
calculus
language game
Ludwig Wittgenstein
rule-following
philosophy of mathematics
mathematical practice
Project description