DOC

consistency-theorem

By Eleanor Hicks,2014-04-17 22:17
6 views 0
The Consistency of Arithmetic Storrs McCall The paper presents a proof of the consistency of Peano Arithmentic (PA) that does not lie in deducing its consistency as a theorem in an axiomatic system. PA's consistency cannot be proved in PA, and to deduce its consistency in some stronger system PA+ is self-defeating. Instead, a semantic proof is constructed which ..
null
null
null
null
null
null

Report this document

For any questions or suggestions please email
cust-service@docsford.com