Location of Repository

Remarks on simple proofs

By Rosalie Iemhoff

Abstract

This note consists of a collection of observations on the notion of simplicity in the setting of proofs. It discusses its properties under formalization and its relation to the length of proofs, showing that in certain settings simplicity and brevity exclude each other. It is argued that when simplicity is interpreted as purity of method, different foundational standpoints may affect which proofs are considered to be simple and which are not

Topics: Wijsbegeerte, proof, formalization, purity of method
Year: 2015
OAI identifier: oai:dspace.library.uu.nl:1874/310735
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dspace.library.uu.nl:80... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.