formality and informality. I use this perspective to respond to the arguments for the inconsistency of mathematics made by Beall and Priest, presenting problems with the assumptions needed concerning formalisation, the unity of informal mathematics and the relation between the formal and informal." /> Saving proof from paradox - Stanley Tanswell Fenner | sdvig press

Saving proof from paradox

Gödel's paradox and the inconsistency of informal mathematics

Fenner Stanley Tanswell

pp. 159-173


This document is unfortunately not available for download at the moment.

Not implemented yet !