On Formal and Informal Provability

Abstract

This article is a philosophical study of mathematical proof and provability . In contrast with the prevailing tradition in philosophy of mathematics, we will not so much focus on {\textquotedblleft}proof{\textquotedblright} in the sense of proof theory but rather on {\textquotedblleft}proof{\textquotedblright} in its original intuitive meaning in mathematical ...