¨ GODEL’S REFORMULATION OF GENTZEN’S FIRST CONSISTENCY PROOF FOR ARITHMETIC: THE NO-COUNTEREXAMPLE INTERPRETATION - Counterexample - Document - PDFSEARCH.IO

First Page	Meta Content
	¨ GODEL’S REFORMULATION OF GENTZEN’S FIRST CONSISTENCY PROOF FOR ARITHMETIC: THE NO-COUNTEREXAMPLE INTERPRETATION Add to Reading List Document Date: 2005-08-08 21:51:44 Open Document File Size: 235,82 KB Share Result on Facebook Facility Bar Theorem / / IndustryTerm machinery / / Person Thierry Coquand / Jeremy Avigad / Solomon Feferman / Brouwer / John W. Dawson Jr. / / ProgrammingLanguage L / / SocialTag Functions and mappings Theory of computation Computability theory Model theory Primitive recursive function Interpretation Function Entailment Recursion Logic

¨ GODEL’S REFORMULATION OF GENTZEN’S FIRST CONSISTENCY PROOF FOR ARITHMETIC: THE NO-COUNTEREXAMPLE INTERPRETATIONAdd to Reading List