Search found 159 matches

by Moyo
Fri Oct 16, 2015 3:14 pm
Forum: Logic and Philosophy of Mathematics
Topic: The Axiom Of Identity *Challenged*
Replies: 232
Views: 48782

Re: The Axiom Of Identity *Challenged*

The answer is that symbols cannot be referred to within a system as symbols, but only as elements of the formal system. Thus, saying that "(a,a) means that the first 'a' is before the second 'a' " is a meta-statement, outside the system. You do realise that your point is really just a poi...
by Moyo
Fri Oct 16, 2015 12:25 pm
Forum: Logic and Philosophy of Mathematics
Topic: The Axiom Of Identity *Challenged*
Replies: 232
Views: 48782

Re: The Axiom Of Identity *Challenged*

Why not build the whole system of relations on the same basis that this "=" is. It seems that if we can do this we avoid arbitrariness and acheive consistency. The whole system of cartesian products and orderd pairs are an unnecesary frameworkthen and we can build mathematics without the ...
by Moyo
Fri Oct 16, 2015 9:29 am
Forum: Logic and Philosophy of Mathematics
Topic: The Axiom Of Identity *Challenged*
Replies: 232
Views: 48782

Re: The Axiom Of Identity *Challenged*

... The whole system of Cartesian products and ordered pairs are an unnecessary framework then and we can build mathematics without the suspect (because it doesn't involve computation) theory of sets. ... I thought pretty much that Mathematics was already built before set theory came about? Set the...
by Moyo
Fri Oct 16, 2015 6:48 am
Forum: Logic and Philosophy of Mathematics
Topic: After Reimann
Replies: 49
Views: 11848

Re: After Reimann

All we are doing is making the primes predictable and finding how this induces the natural numbers to behave. we do have some theory's that correlate primes with naturals so inverting them would be easy. Once we have enough of these theorems we see how the inverted naturals are behaving each time an...
by Moyo
Fri Oct 16, 2015 6:44 am
Forum: Logic and Philosophy of Mathematics
Topic: The Axiom Of Identity *Challenged*
Replies: 232
Views: 48782

Re: The Axiom Of Identity *Challenged*

Reality can be desribed as a "group" minus the identity element. Since the axiom of identityy is a=a i.e. leave "a" unchanged, and as we can see its giving us problems , we could search for an algebraic structure that handles identity in a more sophisticated way that circumvents ...
by Moyo
Fri Oct 16, 2015 6:40 am
Forum: Logic and Philosophy of Mathematics
Topic: After Reimann
Replies: 49
Views: 11848

Re: After Reimann

Lets plot the prime numbers evenly on a line and call it axis A. Then get another axis B and put it perpendicular to form a plane. On that plane exists all the numbers made by multiplying two prime numbers. Can you give an example to say what you mean? So on the A axis we have the prime 7, say. The...
by Moyo
Fri Oct 16, 2015 6:27 am
Forum: Logic and Philosophy of Mathematics
Topic: The Axiom Of Identity *Challenged*
Replies: 232
Views: 48782

Re: The Axiom Of Identity *Challenged*

The answer is that symbols cannot be referred to within a system as symbols, but only as elements of the formal system. Thus, saying that "(a,a) means that the first 'a' is before the second 'a' " is a meta-statement, outside the system. You do realise that your point is really just a poi...
by Moyo
Fri Oct 16, 2015 6:21 am
Forum: Logic and Philosophy of Mathematics
Topic: The Axiom Of Identity *Challenged*
Replies: 232
Views: 48782

Re: The Axiom Of Identity *Challenged*

Why not build the whole system of relations on the same basis that this "=" is. It seems that if we can do this we avoid arbitrariness and acheive consistency. The whole system of cartesian products and orderd pairs are an unnecesary frameworkthen and we can build mathematics without the s...
by Moyo
Thu Oct 15, 2015 2:14 am
Forum: Logic and Philosophy of Mathematics
Topic: After Reimann
Replies: 49
Views: 11848

Re: After Reimann

Lets plot the prime numbers evenly on a line and call it axis A. Then get another axis B and put it perpendicular to form a plane. On that plane exists all the numbers made by multiplying two prime numbers. If we were to draw a line or a circle on this plane the functional description would be very ...
by Moyo
Thu Oct 15, 2015 2:05 am
Forum: Logic and Philosophy of Mathematics
Topic: The Axiom Of Identity *Challenged*
Replies: 232
Views: 48782

Re: The Axiom Of Identity *Challenged*

Lets do this slowly

say we have a set A = {a;b;c}


In what way is that element "a" the element "a".

Why ! but by the axiom of identity.or in other words a=a . AKA (a,a).
by Moyo
Thu Oct 15, 2015 2:01 am
Forum: Logic and Philosophy of Mathematics
Topic: After Reimann
Replies: 49
Views: 11848

Re: After Reimann

Get the limit of M(n). M(n) is the mother function that generates the child functions which at one end are N(n) and at the other P(n). The partial functions don't converge in any way I can think of. You need to say exactly how to determine the limit. If you could do that, you'd have something. I'm ...
by Moyo
Thu Oct 15, 2015 1:54 am
Forum: Logic and Philosophy of Mathematics
Topic: After Reimann
Replies: 49
Views: 11848

Re: After Reimann

Get the limit of M(n).

M(n) is the mother function that generates the child functions which at one end are N(n) and at the other P(n).
by Moyo
Thu Oct 15, 2015 1:50 am
Forum: Logic and Philosophy of Mathematics
Topic: The Axiom Of Identity *Challenged*
Replies: 232
Views: 48782

Re: The Axiom Of Identity *Challenged*

... There's a bit of notational confusion here. A is the set, 'a' is one of its elements. So given the set A, we form the collection {(a,a) : a is an element of A}. That collection, which is a subset of A X A, is the equality relation. ... I'm interested in this wtf, how can there be a CP of a sing...
by Moyo
Thu Oct 15, 2015 1:45 am
Forum: Logic and Philosophy of Mathematics
Topic: The Axiom Of Identity *Challenged*
Replies: 232
Views: 48782

Re: The Axiom Of Identity *Challenged*

You don't accept the Axiom of Extensionality, which says that two sets are the same if and only if they have exactly the same elements? If you deny Extensionality, then you are rejecting modern set theory. You are free to invent your own set theory, but you are not saying anything meaningful about ...
by Moyo
Thu Oct 15, 2015 1:35 am
Forum: Logic and Philosophy of Mathematics
Topic: After Reimann
Replies: 49
Views: 11848

After Reimann

The golden prize in number theory is to get a function P(n)=p(n) Were P of n gives us the nth prime number. Here is a sketch of how we may do it. We know that n ranges over the natural numbers. The natural numbers do have a simple function to obtain the nth natural number..simply N(n)=n We also know...