Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The Martian and the Earthman - and the limit concept

  1. Apr 10, 2004 #1
    Martian mathematician visiting Earth, and he wishes to know how an Earthman mathematician understanding the limit concept.

    After couple of hours of communication we get this situation:

    1) a not= b

    Earthman: By my way (1) is a hypothesis.

    Martian: By my way (1) is an invariant state.

    2) abs(a-b)=d < e > 0

    Earthman: a) By my way you compare d to set S that includes in it all R members > 0. In this case d<d is impossible; therefore d must be = 0 --> a=b

    Earthman: b) Another version of my way is to say that e=d/2 but then |a-b|=d AND |a-b|<d/2 which is impossible; therefore a=b.

    Martian: e and d relation remaining unchanged in any arbitrary scale that you choose, which means: d is always smaller then e but greater than 0. It means that e=d/2 is impossible because e > d/n > 0.

    Martian: S is an open collection (has infinitely many elements) therefore cannot be completed by definition. Only finite collection can be a complete collection. Therefore there is no such thing like S which includes all r > 0.

    Earthman: How can a set be not completed? For example: please show us n which is not in N.

    Martian: Natural numbers do not exist because of the existence of N, but because of the axioms that define them, N is only the name of the container that its content is infinitely many elements that can never be completed, and defined by the proper axiomatic system.

    Earthman: e and d are fixed values.

    Martian: e and d are variables, and both of them always greater 0, which means both e and d are changeable but the proportion of e>d>0 holds in any arbitrary scale.


    Options:

    a) Earthman's method is the right method.

    b) Martian's method is the right method.

    c) There is no one right method; therefore both methods are reasonable methods.


    Please choose one of the options or add your own option, but in both cases please tell us why are you choosing or adding an option?


    Thank you,

    Organic
     
    Last edited: Apr 11, 2004
  2. jcsd
  3. Apr 10, 2004 #2

    pig

    User Avatar

    are you trying to say that if martians existed, they would be idiots?
     
  4. Apr 11, 2004 #3
    Pig,

    Do you understand the Martian point of view?

    You can do it by explain it to us.
     
  5. Apr 11, 2004 #4

    pig

    User Avatar

    first, the 2) isn't really stated in the right way.

    but i will still try to explain why the proof still works withing the martian's point of view..

    you say:

    "Martian: e and d relation remaining unchanged in any arbitrary scale that you choose, which means: d is always smaller then e but greater than 0. It means that e=d/2 is impossible because e > d/n > 0."

    now the Martian continues:

    "Martian: so, we can't choose e=d/2 because it is impossible. but by matt's hypothesis, we MUST be able to chose ANY number > 0 as e.

    since according to 1) d/2 must be > 0, then according to 2) we MUST be able to choose it as e, and we can't because according to 2) it is impossible.

    we have a contradiction, therefore 1. and 2. cannot both be true for given a and b."
     
    Last edited: Apr 11, 2004
  6. Apr 11, 2004 #5
    Pig,

    First please write (1) and (2) as you see it, and then I'll reply.

    Thank you.
     
  7. Apr 11, 2004 #6

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    That is a perfect answer, pig; somehow I don't think it will be accepted.

    Moreover, Organic, if you continue to use the word complete and the quantifier for all in this manner then you will never get a thread to stick in the mathematics forum.

    Simple proposition:

    n(n+1) is even for all n in the set of natural numbers

    by your logic that statement is meaningless as I've said it is true for all things in an infinite set. You do understand that the negation of "for all" is "there exists"? And thus there is a minimal natural number m for which that statement would fail to be true (if it were false), but then one of m and m+1 is even... contradiction... thus it is true for all n in N... where does that go wrong? Apart from being a completely unnecessary proof by contradiction that can be written as proof by construction.
     
  8. Apr 11, 2004 #7
    All you did is to force Earthman method on Martian method, which means that you don't understand the Martian method.

    Let us write again the two different points of view, and we shall show how you ignore the Martian method and forcing Earthman method on it.

    ----------------------------------------------------------------------------------------------

    1) a not= b

    Earthman: By my way (1) is an hypothesis.

    Marsian: By my way (1) is an invariant state.

    2) abs(a-b)=d < e > 0

    Earthman: a) By my way you compare d to set S that includes in it all R members > 0. in this case d<d is impossible; therefore d must be = 0 --> a=b

    Earthman: b) Another version of my way is to say that e=d/2 but then |a-b|=d AND |a-b|<d/2 which is impossible; therefore a=b.

    Marsian: e and d relation remaining unchanged in any arbitrary scale that you choose, which means: d is always smaller then e but greater than 0. It means that e=d/2 is impossible because e > d/n > 0.

    Marsian: S is an open collection (has infinitely many elements) therefore cannot be completed by definition. Only finite collection can be a complete collection. Therefore there is no such thing like S which includes all r > 0.

    Earthman: How a set cannot be completed? for example: please explain how N is not a complete collection of all n's by showing me n which is not in N.

    Marsian: Natural numbers do not exist because of the existence of N, but because of the axioms that define them, N is only the name of the container that its content is infinitely many elements that can never be completed, and defined by the proper axiomatic system.

    Earthman: e and d are fixed values.

    Marsian: e and d are variables, and both of them are always greater than 0.

    ----------------------------------------------------------------------------------------------

    Now pig, let us examine your forcing method:

    Matt's hypothesis in Earthman's mathod, for example:

    1) a not= b

    Earthman: By my way (1) is an hypothesis (= Matt's method).

    Marsian: By my way (1) is an invariant state because:

    e and d relation remaining unchanged in any arbitrary scale that you choose, which means: d is always smaller then e but greater than 0. It means that e=d/2 is impossible because e > d/n > 0.


    So as you see, you simply ignore the Martian method and forcing Earthman method.

    My heart with you if by forcing your point of view you naturally ignore another point of view on some examined concept.

    I can call it "raping", but Math ideas cannot be raped and if you don't understand this then you are in a big trouble.

    Also your "raping" method ignores this:

    Earthman: e and d are fixed values.

    Martian: e and d are variables, and both of them always greater 0, which means both e and d are changeable but the proportion of e>d>0 holds in any arbitrary scale.
     
    Last edited: Apr 11, 2004
  9. Apr 11, 2004 #8

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    The martian method requires us to know that the proposition that the Earthman's method proves is true. As all the Earthman is doing is proving the result (I am he so I should know) he cannot know that the Martian's view has any truth in it. Once he proves the proposition the earthman knows that one cannot have a=\=b and the premise being true, until such time as he's done that he may make no such deductions.
     
  10. Apr 11, 2004 #9
    So, please choose:

    Options:

    a) Earthman's method is the right method.

    b) Martian's method is the right method.

    c) There is no one right method; therefore both methods are reasonable methods.

    Please choose one of the options or add your own option, but in both cases please tell us why are you choosing or adding an option?
     
  11. Apr 11, 2004 #10
    even or odd are not fundamental properties of n members existence, because they are based on devision operation, which its results belong to Q.

    And from Q point of view we can see that prime numbers are the special case of n/n_AND_n/1.

    But let us say that we are not taking even as fundamental property of n members existence.

    In this case n(n+1) define the invariant state of any n which is even, over infinitely many N members, exactly as the proportion e>d>0 does not changed over infinitely many scales, that can never be completed.

    So as you see, Earthman "true" is only one of many possibilities.

    I do not care anymore about the current professional mathematician's society,
    I clearly understand now that there is no big difference between this society and organizations like the middle age inquisition, when we examine their abilities to grasp new ideas and let them be part of their world.
     
    Last edited: Apr 11, 2004
  12. Apr 11, 2004 #11

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Divisiblity is not dependent on Q, Organic, and you're just demonstrating once more that you do not understand, or have any knowledge of, any mathematics, one more nail in the coffin. Did I mention division? No, divisibility. They are different: one is a property the other an operation.

    Add another 30 points to the crackpot index for citing the inquisition.
     
  13. Apr 11, 2004 #12
    Who said that Divisiblity depends on Q?

    I said that division operation is not fundamental property for Natural numbers existence, and since even and odd are defined by division there is nothing here, which is fundamental for N members, no more no less.

    But since you don't read (as usual) all what someone writes, before you response, then all you understand is no more than the shadow of youself.
     
  14. Apr 11, 2004 #13

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    "even or odd are not fundamental properties of n members existence, because they are based on devision operation, which its results belong to Q"

    that is what you wrote, and what i based my answer upon.

    here is what divisibilty means (see not a single point of reference to division)

    p is divisible by q if there is an r with p=qr. Not a rational number in sight, not a single mention of division. see?

    evenness is equivalent to divisibilty by 2. no mention of division at all in the slightest.
     
  15. Apr 11, 2004 #14
    Q members are the rational numbers, and "rational" is based on the word "ratio", which means that any Q member defined by p/q.

    In that case evennes defined by n/2, which is the ratio between n and 2.

    But again, you did not get to the main point which is:

    Let us say that we are not taking even as fundamental property of n members existence.

    In this case n(n+1) define the invariant state of any n which is even, over infinitely many N members, exactly as the proportion e>d>0 does not changed over infinitely many scales, that can never be completed.

    So as you see, Earthman "true" is only one of many possibilities.
     
  16. Apr 11, 2004 #15

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    erm, it is not necessary to define the rational numbers in order to define divisibilty and evenness. but why would I expect someone who thinks that we must accept all possibilities to accept that he may be wrong in thinking he knows there is a unique way to define things? slightly inconsistent and selfcontradictory there organic, crank the crackpot index another few notches.
     
  17. Apr 12, 2004 #16
    Matt,

    1) A one true is based (in general) on western philosophy.

    2) Many possibilities are based (in general) on eastern philosophy.

    Complementary Logic ( http://www.geocities.com/complementarytheory/BFC.pdf ) tries to finds the ways to associate between (1) and (2) and by this approach, it opens a gate to complexity:

    http://www.geocities.com/complementarytheory/epiphi.pdf

    The heart of life is the open dialog that exists between different things.

    Shortly speaking, life without a dialog (and by using the word dialog, I mean to the general meaning of any mutual influence between different things) is the beginning of their end.

    The current Professional Mathematicians Society using philosophical methods that are based on (1), and by this approach, the dialog between different mathematical branches or between each branch to real life complexity, is barely existing.

    Without an open dialog, the technical power of Math Language quickly brings us to the end of a one-way street.


    The axiom of a Dialog:

    "Let D be a Dialog, where D is any mutual influence between A and not A."
     
    Last edited: Apr 12, 2004
  18. Apr 12, 2004 #17
    Matt,

    Why do you even bother arguing with Organic? Can't you see that his actions are not
    Motivated by curiosity or pure interest, instead they are motivated by beliefs. You can
    Not argue with beliefs. Arguing with Organic, is like arguing with an orthodox person about the existence of god. It is Organic's BELIEF that mathematicians are wrong, and for that matter, that he KNOWS mathematics and practicing it. It is his belief that the he has found a "new type" of infinity, and that this is the "right one". Arguing with Organic is a just a waste of time, since he does not really want to learn or do anything practical with his ideas.
     
  19. Apr 12, 2004 #18

    pig

    User Avatar

    organic, do you find this proof incorrect:

    I want to prove:

    0. If Arnold is fatter than every hippopotamus, then Arnold is not a hippopotamus.

    Proof:

    Assume Arnold is a hippopotamus.
    1. Arnold is fatter than every hippopotamus.
    2. Arnold is a hippopotamus.

    Since Arnold is fatter than every hippopotamus, and he is a hippopotamus, Arnold is fatter than himself. This cannot be true, so 1. and 2. cannot both be true. Therefore, it is true that "If 1, then not 2", QED (0 is exactly that).

    I think it is clear why this is true, and that if Arnold is a hippopotamus, he can be fatter than every OTHER hippopotamus at best. Also, if he is fatter than every single hippopotamus, then he surely isn't one of them himself.

    If you do agree with this proof, please replace "Arnold" with "|a-b|", "fatter" with "smaller" and "hippopotamus" with "number>0".
     
  20. Apr 12, 2004 #19

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    I know, kaiser, but it's at least interesting to point out the inconsistencies in his arguments (he has at least one acolyte, choosing a word not at random). His latest one, in large blue type above (which may disappear at any point) is that he wants A and not A to be in a dialog(ue) with something, which by his own logic is not allowed, because it is meaningless to talk about the possibility of having two mutually exclusive propostions both true.
     
  21. Apr 12, 2004 #20
    Shortly speaking, you don't understand Complementary Logic because it is based on A_AND_not_A products.
    So as I said before, Matt Grime cannot see beyond Boolean Logic or Fuzzy Logic, and he also cannot understand that these two methods are based on the one true method of the western philosophy.

    More then that, he is afraid to open himself to the idea that fundamental math concepts, can be changed when they are examined from different point of views.

    Shortly speaking, I invite Matt, kaiser soze, pig and any other person, to an open dialog on any fundamental Math Language concept.

    Kaizer please pay attention that I speak straightly to you, but you choose to speak with Matt about me, can you tell us why?

    kaiser soze, if some one has another point of view which is different fron the conventional point of view and he call you to an open dialog on any fundamental Math concept, if you have no guts for this kind of an open dialog, then any one who is looking now on this post, does not have to guess who is the orthodox and who is the open minded here.
     
    Last edited: Apr 12, 2004
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: The Martian and the Earthman - and the limit concept
  1. Martian astrology (Replies: 4)

  2. The Martian Cats (Replies: 23)

Loading...