< Back to previous page

Project

Informal provability in mathematics as a partial notion.

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.

Date:1 Oct 2014 →  30 Sep 2018
Keywords:philosophy of mathematics
Disciplines:General pedagogical and educational sciences, Philosophy, Communication sciences, Theory and methodology of philosophy