Formal and Natural Proof : a phenomenological approach

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:051aec1c4f0822344fbd2a6ca9467f7c

CARL, Merlin, 2013. Formal and Natural Proof : a phenomenological approach

@unpublished{Carl2013Forma-21957, title={Formal and Natural Proof : a phenomenological approach}, year={2013}, author={Carl, Merlin} }

Carl, Merlin 2013 eng deposit-license 2013-03-19T11:35:43Z 2013-03-19T11:35:43Z It is frequently claimed that the formalization of a mathematical proof requires a quality of understanding that subsumes all necessary acts for checking the proof and that, consequently, automatic proof checking cannot lead to an epistemic gain about a proof. We present a project developing what is sometimes called a 'fortified formalism' and argue taking a phenomenological look at proof understanding, that proofs can be (and often are) given in a way that allows a formalization sufficient for producing an automatically checkable writeup, but does<br />not subsume checking. Carl, Merlin Formal and Natural Proof : a phenomenological approach

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Carl_219570.pdf 122

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto