Logic

Wouldn’t It be Cool if These Were Equivalent?
Charlie-Boo wrote: 2. (allX) |- P(X) What is a value "external to the language"? There are symbols (of the language) and there are things (not of the language) symbolized. Logic text books are wont to point out the difference between London (a place) and 'London' the name of the place.... 3 Jul 2010 14:35

A proof that Geometry is clean but Algebra is tainted by not having finite-number definition #619 Correcting Math
Archimedes Plutonium wrote: (snipped) Theorem: in geometry there never can be constructed a infinite-line from any number of finite line segments. Let me add to the above "in old math" Proof: Since old math does not recognize infinite-numbers, that no matter how many finite number of line... 1 Jul 2010 03:27

Place Value and Geometry and a boundary marker at 10^500 #618 Correcting Math
Archimedes Plutonium wrote: (snipped) Sorry, this post is too long already, and I am not able to explain why Twin primes has no proof yet regular primes has a proof when the old system of math never defined finite-number from infinite-number. The geometry talk does not explain the cutoff from ... 30 Jun 2010 23:06

using geometry to show why there is a Infinitude of Primes proof but no Twin Primes possible #617 Correcting Math
Let me recap what this adventure is plunging into. We notice the old math system never defined with precision the difference between a finite number and an infinite number. So that 3 is a Peano axiom number as well as 3333....33333. So the next question was, since the old math is so poor in definitions, cannot ... 30 Jun 2010 22:01

Modularity of Mind
Modularity of mind is the notion that a mind may, at least in part, be composed of separate innate structures which have established, evolutionarily developed functional purposes. Proponents believe this view is implied by Noam Chomsky's concept of a universal, generative grammar. Such universal features of languag... 1 Jul 2010 12:13

(phi( <[1] 2 3 4...> ) & An (phi ( <[1 2 ... n] n+1 n+2 ...>) -> phi( <[1 2 ... n n+1] n+2 n+3 ...> ))) -> phi( <[1 2 3 4...]> )
Behold the Cantor killer! phi( <[1] 2 3 4...> ) & An (phi ( <[1 2 ... n] n+1 n+2 ...>) -> phi( <[1 2 ... n n+1] n+2 n+3 ...> )) -> phi( <[1 2 3 4...]> ) Prefix Induction Schema If a property holds for the 1st element in a sequence, and if it holds for the first n elements in a sequence then it holds f... 1 Jul 2010 02:22

[FAQ, 06/11/05] Mathematical logic on the web
Mathematical Logic around the world: http://world.logic.at/ -- Posted: Thu Jul 1 00:03:01 2010 ... 30 Jun 2010 20:56

why Infinitude of Primes has a proof but never Twin Primes, Goldbach, FLT, Riemann Hypothesis #614 Correcting Math
On 30 June, 20:52, Archimedes Plutonium <plutonium.archime...(a)gmail.com> wrote: And Euclid's IP, Direct or constructive in short-form goes like this:  1) Definition of prime  2) Given any finite set of primes  3) Multiply the lot and add 1 (Euclid's number) which I call W+1  4) Either W+1 is prime or ... 30 Jun 2010 16:29

Unique Prime Factorization theorem is also in the Indirect method #615 Correcting Math
Archimedes Plutonium wrote: (snipped all else) INDIRECT (contradiction) Method, Long-form; Infinitude of Primes Proof and the numbering is different to show the reductio ad absurdum structure as given by Thomason and Fitch in Symbolic Logic book. (1) Definition of prime as a positive ... 30 Jun 2010 16:29

Wouldn�t It be Cool if These Were Equivalent?
On Tue, 29 Jun 2010 18:24:59 -0700 (PDT), Charlie-Boo <shymathguy(a)gmail.com> wrote: On Jun 29, 5:25�pm, MoeBlee <jazzm...(a)hotmail.com> wrote: On Jun 28, 7:04�pm, Charlie-Boo <shymath...(a)gmail.com> wrote: On Jun 28, 12:44�pm, MoeBlee <jazzm...(a)hotmail.com> wrote: On Jun 26,... 3 Jul 2010 17:54