Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: A New Axiom
Replies: 56   Last Post: Sep 27, 2017 12:27 PM

 Messages: [ Previous | Next ]
 FredJeffries@gmail.com Posts: 1,845 Registered: 11/29/07
Re: A New Axiom
Posted: Sep 26, 2017 10:31 AM

On Tuesday, September 26, 2017 at 6:43:52 AM UTC-7, Dan Christensen wrote:
> On Tuesday, September 26, 2017 at 4:18:05 AM UTC-4, FredJeffries wrote:
> > On Monday, September 25, 2017 at 8:38:51 AM UTC-7, Dan Christensen wrote:
> >

> > > > There is a thing called a wheel
> > > > (https://en.wikipedia.org/wiki/Wheel_theory)

> > >
> > > In the Talk section, the author states, "In the ordinary sense of division, you cannot divide by zero."
> > >

>
> The author in this case is the inventor of Wheel Theory.
>
>

> > > What he has done is invent an algebraic structure with a /-operator that is similar, but not identical to the multiplicative inverse.
> >
> > Of course he has. Because (as has been shown numerous times here) "ordinary multiplicative inverse" in a field does not (and cannot) include 0 in its domain.
> >
> > This is exactly what is done in the extension from the natural numbers to the integers, to the rationals, to the reals, to the complexes, ... that you love to rub our faces in with your "all mathematics can be developed from the Peano axioms" sloganeering.
> >
> > What is important is that the restriction of the new, non-ordinary inverse agrees with the ordinary one on the natural embedding of the field into the wheel. Just like in the rational numbers, the image of 6 under the embedding divided by the image of 3 under the embedding yields the image of 2 under the embedding, so in the wheel, the image of 6 under the embedding divided by the image of 3 under the embedding yields the image of 2 under the embedding.

>
>
> If the field axioms hold, we must a have 0=/=1 and 0x=0 for all x in that field. No Conway-style exceptions.

It's not a field. It's a wheel.

Just look at the title of the article.

Date Subject Author
9/24/17 Conway
9/24/17 mathman1
9/24/17 Conway
9/24/17 Dan Christensen
9/24/17 Conway
9/24/17 Dan Christensen
9/24/17 Conway
9/24/17 Dan Christensen
9/25/17 Conway
9/25/17 zelos.malum@gmail.com
9/25/17 Conway
9/25/17 Peter Percival
9/25/17 Dan Christensen
9/25/17 Conway
9/25/17 Peter Percival
9/25/17 Conway
9/25/17 Dan Christensen
9/26/17 Dan Christensen
9/26/17 Conway
9/26/17 Dan Christensen
9/27/17 Conway
9/25/17 Peter Percival
9/25/17 Peter Percival
9/25/17 Conway
9/25/17 Peter Percival
9/25/17 Conway
9/25/17 Peter Percival
9/25/17 Dan Christensen
9/25/17 Conway
9/25/17 Conway
9/25/17 Dan Christensen
9/25/17 Conway
9/25/17 Conway
9/26/17 FredJeffries@gmail.com
9/26/17 Dan Christensen
9/26/17 Conway
9/26/17 Dan Christensen
9/26/17 Conway
9/26/17 Dan Christensen
9/26/17 Conway
9/26/17 Dan Christensen
9/26/17 Conway
9/26/17 Me
9/26/17 Conway
9/26/17 Conway
9/26/17 Me
9/26/17 Conway
9/26/17 Conway
9/26/17 Peter Percival
9/26/17 Conway
9/26/17 Peter Percival
9/26/17 Conway
9/27/17 Peter Percival
9/27/17 Conway
9/27/17 Peter Percival
9/27/17 Conway
9/26/17 FredJeffries@gmail.com