On Formally Undecidable Propositions of Principia Mathematica

First Page		Document Content
Date: 2013-09-21 05:15:44 Principia Mathematica Axiom On Formally Undecidable Propositions of Principia Mathematica and Related Systems Kurt Gödel Theorem Rule of inference Peano axioms Metamathematics Formal proof Logic Mathematics Mathematical logic		On Formally Undecidable Propositions of Principia Mathematica Add to Reading List Source URL: jacqkrol.x10.mx Download Document from Source Website File Size: 177,57 KB Share Document on Facebook

	And the Winners Are... An Axiomatic Approach to Selection from a Set DocID: 1oYwm - View Document
	TERM EXTRACTION AND RAMSEY’S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH Abstract. In this paper we study with proof-theoretic methods the function(al)s provably recursive relative to Ramsey’s theore DocID: 1okaY - View Document
	COLORING THE RATIONALS IN REVERSE MATHEMATICS EMANUELE FRITTAION AND LUDOVIC PATEY Abstract. Ramsey’s theorem for pairs asserts that every 2-coloring of the pairs of integers has an infinite monochromatic subset. In th DocID: 1o6FP - View Document
	PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS ULRICH KOHLENBACH AND PAULO OLIVA Abstract. We call proof mining the process of logically analyzing proofs in mathematics with the aim of obtaining new i DocID: 1o5JD - View Document
	Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008 DocID: 1nVyh - View Document