KOPS - The Institutional Repository of the University of Konstanz
# Formal and Natural Proof : a phenomenological approach

Type of Publication: | Preprint |

URI (citable link): | http://nbn-resolving.de/urn:nbn:de:bsz:352-219570 |

Author: | Carl, Merlin |

Year of publication: | 2013 |

Summary: |
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
not subsume checking. |

Subject (DDC): | 510 Mathematics |

Keywords: | Formaler Beweis, Husserl, Edmund Gödel, Kurt Beweis, Automatisches Beweisverfahren |

Link to License: | In Copyright |

Bibliography of Konstanz: | Yes |

Checksum:
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_219570.pdf | 195 |