Informal and Absolute Proofs: Some Remarks from a Gödelian Perspective
Sign Up to like & getrecommendations! Published in 2017 at "Topoi"
DOI: 10.1007/s11245-017-9515-3
Abstract: After a brief discussion of Kreisel’s notion of informal rigour and Myhill’s notion of absolute proof, Gödel’s analysis of the subject is presented. It is shown how Gödel avoids the notion of informal proof because… read more here.
Keywords: absolute; notion; absolute proofs; remarks delian ... See more keywords