29g, OOdddddddEddSEEEESOOOOES™ lecture 13 Inraduction and Proops |A prog is a_methad: for ascartoinieg the-truth * | Experimertation and. observation Sampling and counterexamples teas Work of God Word of Bess. tyotsttdths conviction Seth as A mathematical, proxf isco Yerifiaalion of cv ‘propesiben By chain i teal_deduche-ns from a. orc la prepasition isa statement-that is either true or--false."s 243°S _foya3,} Yn GIN nttOt 4 is ociprime numbers’ . “or ats! Prectoate s A -propesition myinse ietl laces ay nt+ot4l prime. 4l - ais AB, Ya what 9) sudsdoavtins a Gt 9 nade 53 ~ 4 9n the value of a variable (pn) Snrivs|on sod heeCny Bub it Is false for n240,n241 sian dor nathahendat.s at tht tot =d* hes inelipasitive dniggerselutions a> 96800 b= 24,519 ve C2 414,560, niga snerlowas Joos pelle d= 422,48) Sane} dabede Nt, at tb tet dt there exists” Bipprttyty aZt oes.cne positive agtegen selutions isco : piss a arlon ete The regieré in ong. map om bs colored. in 4 colors such hate adjacont cep ionss..,hava. diffecent 2plerSa ciel ac itioge [Bren even pesitixe Integer. bak tro. the, Sum of bro Pring: aE east Geidboch’s conjecture Implies. Pep An umpicahen P®@ Is Said to betue If pts-false lor gis tue ms a $2 D>DPppp JLpLeeee PPPS PPpeed. to have Implication beth ways, eg., \Yné 2, n%2S> n? 74 false, n=-3 2 +e 5 e ee Teh Tablet pi cng) pat i gp peg re Ue it Ts r T ~ | ings ie gen rt F ~" | Ps seat abs To ¥ = te FOF oo rv + sy $ Def An axiom is a proposition that is assumed 4p be trues 209., |IP a>b, and bec, then arc. i Euclidean geenehys Givena Line L and. ¢eint P not on L,-thene is exactly one. line through P parallel 40 Le Spherical geomehys Given a. tine Land. point P thera in ing through P parallel to b» » Axioms should be consistent and. complete 7 safe A seb of axioms Is complete. consistent _if ne propacition can be Ricleembothidcua cand false,ee mmm HE HOHKDSOSBHOHKHEHEW SD lpeps~Asek of axioms is complete if it con be Used te preva, jevery proposition is either tue OF false ee Astlenng 4 Ager