Well lets see The first subchapter is  The Problem of Division by Zero This he follows up with  Five approaches to Division by Zero which I will repeat in its entirety This will take more than one sitting to type in The following is from Suppes   The first approach differs from the others in that it recommends a change in the baseic logic to deny meaning to expressions like      Without attempting to characterize the basic changes necessary we may still offer some general objections to this approach more to follow tomorrow  The second approach is to let x be a real number but to define division by the conditional definition stated in the last section IF y Then xy  z if and only if x  yz In this case for every number x x is a real number but we are not able to prove what number it is       The inability to prove or disprove  is an argument against the second approach since we want our axioms to be as complete as possible  The third approach agrees with the second in making x a real number but it differes in making x   for all x This eliminates the undecidability of statements like  For the third approach the appropriate definition of division is a proper definition similar to the axiomfree definition discussed at the end of   xy  z  y    x  yz  y    z    An advantage of the third approach is that it permits the definition of zero by a straight forward proper definition fully satisfying the criteria of elminability and noncreativity The main disadvante of this appraoch is the one mentioned in  many mathematicians feel uneasy with the identity  x    The forth approach agrees with the second and third in requiring no basic change of logic it differes in not making it possible to prove that x is a real number The basic idea is to introduce a predicate R which means is a real number Hypotheses using this predicate must be added to all the axioms stated in Chapter  Furthermore to guarantee that addition and multiplication of numbers yield numbers we must add the two closure axioms  Rx  Ry  Rxy  Rx  Ry  Rxy The introduction of the predicate R widens our domain of individuals for now it does not follow that everything in the domain is a real number in particular the  is a real number The indroduction of R has the further consequence of making it natural to make all our definitions of arithmetical relations and operations conditional There is no point in defining the realition of equal to or less than for instance for things which are not numbers Thus we would ahve  Rx  Ry  x  y  x  y V x  y The definition of division would be  Rx  Ry Rz  y     xy  z  x  yz If x is a real number with  at hand we cannot prove x is a real number And we cannot prove x is not a real number But we are not faced with the counterintuitive situation of being forced to call x a real number The situation can be improved by introducing into our system a primitive symbol for some object which is not a real number Without saying what the object is let us designate it by v They we have the axiom Rv here  is  or bent bar ie NOT that is the assertion that v is not a real number We may now definie division by  Rx  Ry  xy  z  y    Rz  x  yz  y    z  v The virtue of  is that it definitely places x outside the domain of real numbers for any number x Such a consequence would seem to be in closest accord with ordinary mathematical usage Definition  also has the virtue of making  x  y  Where x and y are real numbers thus eliminating a vast proliferation of odd mathematical entities On the other hand to see once for all that all is not for the best in this best of all possible worlds notice that if we adopt  we cannot decide whether or not vv is a real number If we use conditioncal dfinitions and insist on not tampering with the basic law of identity for therms then we must be prepared for the undecidability of the statue so fentities like vv We make thake the attitude that everything is in good order in the domain where we intend to use the division operation and we really do not care what is going on elsewhere if not inconsistencies can creap in  A fifth approach  will have to wait until tomorrow I will finish up the st one also Ive basically typed in the entire section Bill