Informal provability in mathematics as a partial notion.

01 October 2014 → 30 September 2018
Regional and community funding: Special Research Fund, Research Foundation - Flanders (FWO)
Research disciplines
  • Humanities
    • Theory and methodology of philosophy
    • Philosophy
  • Social sciences
    • General pedagogical and educational sciences
    • Communication sciences
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.