How Can ZFC/PA do much of Math - it Can't Even Prove PA is Consistent (EASY PROOF)
in [Math]
|
Prev: AUNG SAN SUU KYI STEALS IN START OF BOLKIAH�S FIERY END. NO PAYMENT, NO TRIVIA
Next: Challenge to Mathematical Intelligencer; devote an entire issue to two proofs of Euclid Infinitude of Primes #611 Correcting Math
From: master1729 on 29 Jun 2010 02:56 CBL = ?? wffs = ?? sorry i just started reading this thread , maybe it has been explained already.
From: master1729 on 29 Jun 2010 03:08
lwalke wrote : > > Srinivasan, meanwhile, is trying to come up with > NAFL, > which is supposed to be an alternative _logic_ to > FOL. If > I remember correctly, in NAFL, it's possible for some > statement to be similarly true _and_ false, unlike in > FOL. thats a big difference with my 3 valued logic. > > Srinivasan was once fascinated by Ed Nelson's set > theory, > called Internal Set Theory or IST. One axiom schema > of IST > is called the Transfer Principle. I came up with my > current username right in the middle of a discussion > about > IST with Srinivasan. i thought the Transfer Principle refered to not buying books or spending money on math ? > > Both Srinivasan and IST's creator appear to be > sympathetic > to finitism. Srivinasan discusses > ZF-Infinity+~Infinity, a > theory which can be used by finitists, while Nelson > is > working on a proof that PA is inconsistent. And of > course, > if Nelson's proof goes through, it would also prove > that > ZFC is inconsistent, since, as so many were quick to > tell > Charlie-Boo, ZFC proves that PA is consistent. > > Hughes will undoubtedly disagree with me, but I find > the > arrival of all these opponents of ZFC at the same > time > simply hilarious... i know another enemy of ZFC :) he has a proof of 4CT and Andrica. he is intrested in tetration and proposed a solution. he also is a fan of S.Ramanujan ( like " srinivasan " i assume ) as 'his number' indicates. he also works on 3valued logic , calculus , analysis , fractals and number theory. i think you know who. tommy1729 |