Research Explorer

Project

Informal provability in mathematics as a partial notion.
Code
3F018614
Duration
01 October 2014 → 30 September 2018
Funding
Regional and community funding: Special Research Fund, Research Foundation - Flanders (FWO)
Promotor
Research disciplines
  • Humanities
    • Theory and methodology of philosophy
    • Philosophy
  • Social sciences
    • General pedagogical and educational sciences
    • Communication sciences
Keywords
philosophy of mathematics
 
Project description

This research concerns philosophical accounts of informal provability as well as formal theories of this notion. I will investigate the problems that the current theories struggle with, including insufficient philosophical motivation. The second aim is to investigate the relation between theories of truth and the notion of informal provability. I will develop a theory of informal provability analogous to Kripke's theory of truth.