Logic
in [Science]
|
infinity on the small scale between two integers and infinity on the large scale #628 Correcting Math Funny how infinity on the large scale, such as infinity of counting numbers, yet with defining infinity as starting with 10^500 really does not stir up the mathematicians like a hornet's nest. Sure a few will come out of their hive or clam shell and take a peek at what is going on, but then right back to the ivor... 4 Jul 2010 03:39
The Necessary vs Contingent Distinction The distinction between contingent and necessary statements is one of the oldest in philosophy. A truth is necessary if denying it would entail a contradiction. A truth is contingent, however, if it happens to be true but could have been false. For example: Cats are mammals. Cats are reptiles. Cats ... 3 Jul 2010 23:21
details re Z-R |- PA consistent In recent threads it has been questioned whether ZFC proves the consistency of first order PA (called 'PA' in this post). This post provides a proof in Z-R (Z set theory without the axiom of regularity) of the consistency of PA, thus perforce ZFC proves the consistency of first order PA.. In order to be clear for c... 13 Aug 2010 12:30
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) 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
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
Quine, and Truth is anything we want it to be. John Jones wrote: It's a quote. I don't understand it. I made it. But wrongly: Quine wrote "Any statement can be held true..." and you wrote "Any statement can be made true...". -- I can't go on, I'll go on. ... 3 Jul 2010 11:16
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 |