Math Forum http://mathforum.org/kb List of forum topics en Re: THE ANTITHESIS of GODEL'S INCOMPLETENESS THEOREM http://mathforum.org/kb/thread.jspa?messageID=7926062&tstart=0#7926062 > DEFINE a 2 parameter predicate
>]]> Nov 20, 2012 11:15:51 AM Nov 20, 2012 11:15:51 AM shymathguy@gmail.com 0 Re: THE ANTITHESIS of GODEL'S INCOMPLETENESS THEOREM http://mathforum.org/kb/thread.jspa?messageID=7926022&tstart=0#7926022 > On Nov 20, 12:13 pm, Graham Cooper]]> Nov 20, 2012 9:56:50 AM Nov 20, 2012 9:56:50 AM dissytra@gmail.com 0 Re: THE ANTITHESIS of GODEL'S INCOMPLETENESS THEOREM http://mathforum.org/kb/thread.jspa?messageID=7926010&tstart=0#7926010 >

The antithesis would be that]]> Nov 20, 2012 8:55:24 AM Nov 20, 2012 8:55:24 AM patmpowers@gmail.com 1 THE ANTITHESIS of GODEL'S INCOMPLETENESS THEOREM http://mathforum.org/kb/thread.jspa?messageID=7925906&tstart=0#7925906 PROOF(THEOREM, DEDUCTIONSEQUENCE)

proof( R , [R] ) <- axiom(R)
proof( R , [R|DED] ) <- if(L,R)]]> Nov 20, 2012 12:13:18 AM Nov 20, 2012 12:13:18 AM grahamcooper7@gmail.com 3