Math

geometry template for infinite-line-ray to precision define infinite-number in Peano Axioms #627 Correcting Math
Alright, making some progress here even though some backpeddling. Geometry has precision definitions of finite-line versus infinite-line and they have two types of infinite-line, the line-ray with one arrow and the line with two arrows. But Geometry does not imply or hint or suggest that there must be a boundar... 3 Jul 2010 15:41

geometry template for infinite-line-ray to precision define infinite-number in Peano Axioms #627 Correcting Math
Alright, making some progress here even though some backpeddling. Geometry has precision definitions of finite-line versus infinite-line and they have two types of infinite-line, the line-ray with one arrow and the line with two arrows. But Geometry does not imply or hint or suggest that there must be a boundar... 3 Jul 2010 15:41

How Can ZFC/PA do much of Math - it Can't Even Prove PA isConsistent(EASYPROOF)
Nam Nguyen <namducnguyen(a)shaw.ca> writes: herbzet wrote: Nam Nguyen wrote: herbzet wrote: .... No -- I don't "see" if PA + (1) is consistent. Since inconsistency of a FOL formal system T is merely a finite proof, you must have "seen" such a proof for PA + (1)? Must I have? ... 3 Jul 2010 15:41

How Can ZFC/PA do much of Math - it Can't Even Prove PA isConsistent(EASYPROOF)
herbzet wrote: Nam Nguyen wrote: herbzet wrote: Nam Nguyen wrote: herbzet wrote: Nam Nguyen wrote: herbzet wrote: Nam Nguyen wrote: herbzet wrote: The whole thing is nonsense, anyway. Clearly, PA is consistent, or at least, its consistency i... 3 Jul 2010 17:54

How Can ZFC/PA do much of Math - it Can't Even Prove PA isConsistent(EASYPROOF)
herbzet wrote: Nam Nguyen wrote: herbzet wrote: Nam Nguyen wrote: herbzet wrote: Nam Nguyen wrote: herbzet wrote: The whole thing is nonsense, anyway. Clearly, PA is consistent, or at least, its consistency is at least as evident as the consistency of... 3 Jul 2010 13:29

FERMATISTS!! THE FALLACY OF YOUR "QUANTUM SPACE CALCULUS" ----THE FUTURE OF QUANTUM MATHEMATICS
:o ! SURPRISE ANAL FISTING ! :o "Inverse 19 mathematics" <hope9900(a)verizon.net> wrote in message news:d7d63eb2-969c-4879-af0c-fb899660be22(a)a30g2000yqn.googlegroups.com... "squared calculus is not at kitchen sink with the real mathematics:" "(there is a small particle of brain lodged in my skull)" ... 3 Jul 2010 12:23

How Can ZFC/PA do much of Math - it Can't Even Prove PA isConsistent(EASYPROOF)
In article <4C2F47AC.57FFDAAD(a)gmail.com>, herbzet <herbzet(a)gmail.com> wrote: Nam Nguyen wrote: herbzet wrote: Nam Nguyen wrote: herbzet wrote: The whole thing is nonsense, anyway. Clearly, PA is consistent, or at least, its consistency is at least as evident... 3 Jul 2010 20:05

Call for participants
The NFS(a)Home project is moving towards factoring larger numbers. This is a call for participants. Visit: http://escatter11.fullerton.edu/nfs/ ... 26 Jul 2010 06:12

How Can ZFC/PA do much of Math - it Can't Even Prove PA isConsistent(EASYPROOF)
herbzet wrote: Nam Nguyen wrote: herbzet wrote: Nam Nguyen wrote: herbzet wrote: The whole thing is nonsense, anyway. Clearly, PA is consistent, or at least, its consistency is at least as evident as the consistency of any system which purports to prove it. Somet... 3 Jul 2010 15:41

How Can ZFC/PA do much of Math - it Can't Even Prove PA isConsistent(EASYPROOF)
herbzet wrote: Nam Nguyen wrote: herbzet wrote: The whole thing is nonsense, anyway. Clearly, PA is consistent, or at least, its consistency is at least as evident as the consistency of any system which purports to prove it. Sometimes it's much ... much simpler and more logical, ... 3 Jul 2010 21:09