A View of the Evidences of Christianity: In Three Parts ..., Volume 2 |
From inside the book
Results 1-5 of 11
Page 3
... PROOF 23.SECOND PROOF 28.THIRD PROOF 34.FOURTH PROOF 36.FIFTH PROOF 41.SIXTH PROOF 53.SEVENTH PROOF 58.EIGHTH PROOF 63.NINTH PROOF 68.TENTH PROOF 71.ELEVENTH PROOF 74.TWELFTH PROOF 78.THIRTEENTH PROOF 81.FOURTEENTH PROOF 85.FIFTEENTH PROOF ...
... PROOF 23.SECOND PROOF 28.THIRD PROOF 34.FOURTH PROOF 36.FIFTH PROOF 41.SIXTH PROOF 53.SEVENTH PROOF 58.EIGHTH PROOF 63.NINTH PROOF 68.TENTH PROOF 71.ELEVENTH PROOF 74.TWELFTH PROOF 78.THIRTEENTH PROOF 81.FOURTEENTH PROOF 85.FIFTEENTH PROOF ...
Page 2
... proofs in P but polynomially long proofs in Q we say that P is exponentially weaker than Q. The main open problem in propositional proof complexity is about the length of proofs and, in particular, it concerns proving (or more likely ...
... proofs in P but polynomially long proofs in Q we say that P is exponentially weaker than Q. The main open problem in propositional proof complexity is about the length of proofs and, in particular, it concerns proving (or more likely ...
Page 6
... proof in mathematics, about the role of proof in school mathematics, about difficulties in proving, about how proof should be taught in school, and about the self as mathematical thinker in the context of proof. The authors conclude by ...
... proof in mathematics, about the role of proof in school mathematics, about difficulties in proving, about how proof should be taught in school, and about the self as mathematical thinker in the context of proof. The authors conclude by ...
Page 40
... proofs as it has been described here because among the proofs from which we abstract are those containing undischarged assumptions , giving us an abstract proof corresponding to each assumption [ 1 ] of absurdity . " The abstract proofs ...
... proofs as it has been described here because among the proofs from which we abstract are those containing undischarged assumptions , giving us an abstract proof corresponding to each assumption [ 1 ] of absurdity . " The abstract proofs ...
Page 150
... Proof-terms The proof-terms of our logical type theory, PT(IHL), are intended to represent proofs in IHL. Their grammar is given in Fig. 5.1. The grammar is given with respect to a denumerable set of proof-term variables, VarPT(IHL) ...
... Proof-terms The proof-terms of our logical type theory, PT(IHL), are intended to represent proofs in IHL. Their grammar is given in Fig. 5.1. The grammar is given with respect to a denumerable set of proof-term variables, VarPT(IHL) ...
Other editions - View all
Common terms and phrases
accounts Acts afcribed affertion againſt alfo alledged alſo amongſt ancient apoftles atteftation authority becauſe biſhop cafe caſe cauſe Celfus Chrift Chriftians Chriſtian writers church circumftance Clement Clement of Alexandria confequence confiderable courſe delivered difciples diftinction epiftle eſtabliſhed Eufebius evangelifts evidence exifted exiſtence facred faid falſe fame fatisfactory fcriptures fecond fect feem fhall fhew firft firſt fituation fociety fome four gofpels ftate ftill ftory fubject fuch fufferings fuppofe goſpel hiftory himſelf inftances inftitution Irenæus itſelf Jefus Jerufalem Jews John Judea Juftin leaſt Lord Luke Marcion Matthew meaſure miracles moſt muſt obferve Origen original paffage paffed perfecution perfons pofition Polycarp preached prefent proof propofition publiſhed purpoſe queftion quoted raiſed reaſon received refpect refurrection religion ſay SECT ſhall ſhould ſpeak ſtate ſtory Tacitus Tatian Teftament teftimony Tertullian thefe themſelves theſe books things thofe thoſe tians tion tranfaction truth uſed whofe whoſe words writings written