Remarks on simple proofs Rosalie Iemhoff∗ March 15, 2015 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

First Page		Document Content
Date: 2015-04-01 09:58:14 Logic Mathematics Abstraction Proof theory Mathematical proofs Formal languages Formal systems Logical truth Theorem Elementary proof Mathematical logic Proof		Remarks on simple proofs Rosalie Iemhoff∗ March 15, 2015 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 Add to Reading List Source URL: www.phil.uu.nl Download Document from Source Website File Size: 183,34 KB Share Document on Facebook

	THE ACCESS PROBLEM AND KNOWLEDGE OF LOGICAL POSSIBILITY Abstract. Accepting truth-value realism can seem to raise an explanatory problem: what can explain our accuracy about mathematics, i.e., the match between human psy DocID: 1vkuS - View Document
	Truth in Mathematics: The Question of Pluralism∗ Peter Koellner “. . . before us lies the boundless ocean of unlimited possibilities.” —Carnap, The Logical Syntax of Language DocID: 1uNva - View Document
	179 Doc. Math. J. DMV Differen e S heme for the Vlasov-Manev System DocID: 1rgQa - View Document
	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨ DocID: 1reYE - View Document
	Fairfield County Lineage Society Application Guidelines and Checklist GENERAL INFORMATION Miscellaneous Information: 1. All applications and supporting documents become the property of FCC-OGS. 2. By submitting an applic DocID: 1rbah - View Document