The Definition of Points
in [Math]
|
Prev: Guide to presenting Lemma, Theorems and Definitions
Next: Density of the set of all zeroes of a function with givenproperties
From: Mike Kelly on 21 Apr 2007 07:14 On 20 Apr, 17:24, Tony Orlow <t...(a)lightlink.com> wrote: > MoeBlee wrote: > > On Apr 19, 7:01 am, Tony Orlow <t...(a)lightlink.com> wrote: > >> Mike Kelly wrote: > >>>> If you say in the same breath, "there > >>>> are infinitely many rationals for each natural and there are as many > >>>> naturals overall as there are rationals", > >>> And infinitely many naturals for each rational. > >> How do you figure? In each 1-unit real interval, there is exactly one > >> natural, and an infinite number of rationals. Which interval has one > >> rational and an infinite number of naturals? > > > That there are denumerably many rationals but only one natural in a > > unit interval defined by the standard ordering on rationals doesn't > > refute that there exists the kind of correspondence Mike Kelly > > mentioned. Several months ago I defined for you a dense linear > > ordering on the set of natural numbers. You ignored it. > > I did? I was out of touch with this stuff for a while. Maybe that was > then. Sorry > > >>> Or, maybe, other people don't share the same intuitions as you!? Do > >>> you really find this so hard to believe? > >> Most people find transfinite cardinality "counterintuitive". Surely, you > >> don't dispute that. > > > Probably most people who are not familiar with the theorem by theorem > > proofs of set theory would find uncountability unintuitive. But I know > > of no evidence that most people in general can't grasp the idea of an > > infinite set such as the set of natural numbers if the matter is > > presented to them in a clear way. Then, if one accepts that there are > > infinite sets, and one grasps the notion of a power set and some other > > basic concepts about sets, uncountability follows. > > Some people have problems with uncountability, but that's not what I'm > talking about. Most people find it strange that half the naturals are > even, but that half is considered the same "size". Evidence for this? When people are introduced to cardinality in freshman analysis they don't generally seem to have problems with it. Of course, freshman analysis teaches things in a sensible order. You're taught about relations, funtions, injections, surjections and bijections and so on right at the start. When it's time to discuss cardinality, you look at bijecting infinite sets. You discover that the naturals and the evens can be bijected. Naturals and integers. Naturals and rationals. Then you learn cantor's diagonal argument about set and powerset being unbijectible. And see that the reals and naturals can not be bijected. So, not all infinite sets can be bijected. Interesting. So let's come up with some way to denote these "bijectibility classes". Only then are cardinal numbers introduced. And they aren't controversial. We've already seen that the naturals and the evens are both bijectible, and that bijection aligns with our intuitive notion of size in the finite case. Why is it so horrible to denote their bijectibility with what we call a number, and informally refer to cardinality as size? > I really don't have any problem with cardinality, Took you long enough to admit that, eh? > but I wouldn't call any transfinite cardinalities "quantities" by any means. Nor would I. So what? >I think referring to them as "numbers" is what makes the theory suspicious to people. It's what makes it suspicous to cranks on the internet. They see the word "number" and are so mathematically stunted that they assume this means "number like what I deals with on my calculator". Then they find, horrors, that infinite cardinal numbers are different from finite cardinal numbers. How very confusing! > >>> Well, maybe you'd like to do that. But you have made no progress > >>> whatsoever in two years. Mainly, I think, because you have devoted > >>> rather too much time to very silly critiques of current stuff and > >>> rather too little to humbling yourself and actually learning > >>> something. > >> That may be your assessment, but you really don't pay attention to my > >> points anyway, except to defend the status quo, so I don't take that too > >> seriously. > > > You're ridiculous. Certain people have even OVER-indulged you by > > showing in detail, ad nauseam, exactly what's whack in your various > > proposals. And it doesn't even matter WHO is telling you - that you > > need to study this stuff from a good textbook is just plain, basic, > > good adive that you do need to take seriously. Or continue to be a > > nonsense spouting crank. Your choice. > > There have been lots of objections, and a few valid points, but no major > flaws detected in what I propose. It's just not compatible with ZFC. It's not compatible with formalisation in general. What is your goal in all this? Are you trying to come up with an alternative "geometrical" foundation? Are you trying to build on ZFC to define "bigulosity"? You claim they're incompatible, but mundane stuff like asymptotic density in the naturals is certainly definable in ZFC. Finally, do you think your "proposal" will lead to any kind of novel applied mathematics? Does bigulosity do anything for us other than claim "the bigulosity of the evens is N/2"? > >>> Get this through your head : every relation between objects in set > >>> theory is based on 'e'. It's really pathetic to keep mindlessly > >>> denying this. Set theory doesn't just "try to base everything on 'e'". > >>> It succeeds. > > >> If you say so. > > > No, not just "if he says so". He says so and he's RIGHT. And you can > > VERIFY for yourself just by reading a textbook already. > > > MoeBlee > > So, defining N doesn't involve a successor relation between two > elements, as well as a member relation between an element and a set? > When you define N, doesn't the rule E x e N -> E succ(x) e N define a > relation between two elements, as well as between those elements and N? Successor is defined in terms of 'e'. Or maybe we're lying to you. Crank. -- mike.
From: Mike Kelly on 21 Apr 2007 07:16 On 20 Apr, 20:09, Tony Orlow <t...(a)lightlink.com> wrote: > MoeBlee wrote: > > On Apr 20, 9:24 am, Tony Orlow <t...(a)lightlink.com> wrote: > >> MoeBlee wrote: > > >> So, defining N doesn't involve a successor relation between two > >> elements, as well as a member relation between an element and a set? > > > The successor operation is DEFINED in terms of the membership > > relation. EVERYTHING in set theory is defined in terms of the > > membership relation. The only non-logical primitives of set theory are > > '=' and 'e' (and we could even define '=' in terms of 'e' if we want > > to set it up that way). There is NO formula of set theory that doesn't > > revert to a formula in the primitive language with just 'e' and > > '=' (or even just 'e') as the ONLY non-logical symbols. I've been > > telling you this for probably over a year now. Why don't you > > understand this? > > The particular successor relation for the vN ordinals is defined in > terms of 'e', but that's not the only model of successorship. But every relation in set theory is defined in terms of 'e'. I thought we were talking about set theory? > >> When you define N, doesn't the rule E x e N -> E succ(x) e N define a > >> relation between two elements, as well as between those elements and N? > > > "Define a relation". From N of course we can define the successor > > relation on N. So what? That doesn't refute that every definition in > > set theory ultimately reverts to the membership relation. I'll say it > > YET AGAIN: > > Before you go on your rant, let me just say this. As a relation, I > specifically mean that each combination of inputs produces either a 0 or > 1. It's a truth table conception of what a relation is. Oh, we're not talking about set theory. -- mike.
From: Lester Zick on 21 Apr 2007 14:52 On Fri, 20 Apr 2007 12:00:37 -0400, Tony Orlow <tony(a)lightlink.com> wrote: >>> What truth have you demonstrated without positing first? >> >> And what truth have you demonstrated at all? >> >> ~v~~ > >Assuming two truth values as 0-place operators, I demonstrated that >not(x) is the only functional 1-place operator, and then developed the >2-place operators mechanically from there. That was truth about truth. And how have you demonstrated the truth of the two "truth values" you assumed? ~v~~
From: stephen on 21 Apr 2007 19:31 In sci.math Tony Orlow <tony(a)lightlink.com> wrote: > stephen(a)nomail.com wrote: >> In sci.math Tony Orlow <tony(a)lightlink.com> wrote: >>> stephen(a)nomail.com wrote: >>>> In sci.math Tony Orlow <tony(a)lightlink.com> wrote: >>>>> stephen(a)nomail.com wrote: >>>>>> In sci.math Tony Orlow <tony(a)lightlink.com> wrote: >>>>>>> Mike Kelly wrote: >>>>>>>> The point that it DOESN'T MATTER whther you take cardinality to mean >>>>>>>> "size". It's ludicrous to respond to that point with "but I don't take >>>>>>>> cardinality to mean 'size'"! >>>>>>>> >>>>>>>> -- >>>>>>>> mike. >>>>>>>> >>>>>>> You may laugh as you like, but numbers represent measure, and measure is >>>>>>> built on "size" or "count". >>>>>> What "measure", "size" or "count" does the imaginary number i represent? Is i a number? >>>>>> The word "number" is used to describe things that do not represent any sort of "size". >>>>>> >>>>>> Stephen >>>>> Start with zero: E 0 >>>>> Define the naturals: Ex -> Ex+1 >>>>> Define the integers: Ex -> Ex-1 >>>>> Define imaginary integers: Ex -> sqrt(x) >>>>> i=sqrt(0-(0+1)), so it's built from 0 and 1, using three operators. It's >>>>> compounded from the naturals. >>>> That does not answer the question of what "measure", "size" or "count" i represents. >>>> And it is wrong on other levels as well. You just pulled "sqrt" out of the >>>> air. You did not define it. Claiming that it is a primitive operator seems >>>> a bit like cheating. And if I understand your odd notation, the sqrt(2) >>>> is an imaginary integer according to you? And sqrt(4) is also an imaginary integer? >> >>> No, but sqrt on the negatives produces imaginary numbers. Besides, sqrt >>> can be defined, like + or -, geometrically, through construction. >> >> You cannot define the sqrt(-1) geometrically. You are never going to draw a line >> with a length of i. >> >>>> You also have to be careful about about claiming that i=sqrt(-1). It is much safer >>>> to say that i*i=-1. If you do not see the difference, maybe you should explore the >>>> implications of i=sqrt(-1). >>>> >>>> So what is wrong with >>>> Start with zero: E 0 >>>> Define the naturals: Ex -> Ex+1 >>>> Define omega: Ax >>>> I did that using only one operator. >>>> >>>> >> >>> Ax? You mean, Ax x<w? That's fine, but it doesn't mean that w-1<w is >>> incorrect. >> >> No, I meant Ax. All of the natural numbers. I know you are incapable of >> actually imagining "all", but others do not have that limitation. >> >> Of course, who knows what your notation is really supposed to mean. >> What is (Ax)-1 supposed to be? How do you subtract one from all the naturals? >> >>>>> A nice picture of i is the length of the leg of a triangle with a >>>>> hypotenuse of 1 and a leg of sqrt(2), if that makes any sense. It's kind >>>>> of like the difference between a duck. :) >>>> That does not make any sense. There is no point in giving a nonsensical >>>> answer, unless you are aiming to emulate Lester. >>>> >>>> Stephen >>>> >>>> >> >>> It's not nonsensical, and may even apply to uses of imaginary numbers in >>> practice, but you can ignore it as I knew you would. That's okay. >> >>> Tony >> >> It is nonsense. Such a triangle does not exist. >> >> A >> # >> # >> # >> # >> # >> C############B >> >> Are you claiming this is a triangle? Are you claiming the distance from A to C >> is i? How exactly is this supposed to be a picture of i? What is i measuring >> in this picture? >> >> If this is not what you meant, please draw your picture of i. >> >> And you still have not answered what "size", "count" or "measure" i represents. >> Is i a number, or not? >> >> Stephen > i is a number produced by extending completeness to the multiplicative > field, after introducing completeness to the additive field to produce > -1, like I said above. > Consider that you have a right triangle so A^2+B^2=C^2. Now, if you swap > the values between the hypotenuse and one of the legs, that formula will > produce a second leg of the original length times i. So, in a way it is > like picturing an impossible triangle. You have to "imagine" the other > leg of length i. :) Swap the values between the hypotenuse and one of the legs? What exactly does that mean? > A > |\ > | \ > | \ 1 > sqrt(2) | \ > | \ > | \ > B i C So you are claiming that the obviously longer line from A to C is shorter than the line from A to B? So you can just assign any old "length" to a line regardless of how long it actually is? There is a way to make sense of this, but it is quite at odds with traditional geometry, which seems to be the basis for all your arguments. Stephen
From: philneo2001 on 22 Apr 2007 15:26
On Mar 13, 5:57 pm, Clifford Nelson <cnels...(a)adelphia.net> wrote: > In article <et7g4b$cd...(a)ss408.t-com.hr>, > > > > > >  "©uæMuæPaProlij" <mrjohnpauldike2...(a)hotmail.com> wrote: > > > You missed the point in a discussion about points. The point is that > > > some things are primary, first, simple. The beginning geometry text > > > books say that the tetrahedron is advanced "solid" geometry. Bucky > > > Fuller discovered it when he was four years old because he could not > > > see. Geometry is taught in a way that psychiatrists would call an > > > example of, in layman's terms, a "thought disorder". Ditto for > > > geometry's "points". > > > > If RBF had spelled out the obvious conclusions between the lines, > > > sections, and chapters in Synergetics, I'll bet he wouldn't have been > > > able to get his books published at all. > > > And I am still missing the point. You can't learn all at once. If someone > > tells > > you that line is made of points and point is intersection of two lines you > > can > > accept it if you don't know anything better. > > > We know better that this and we don't have to accept this definition of point > > and line. > > Bucky Fuller quoted an author who said: science is an attempt to put the > facts of experience in order. Does the tetrahedron create 4 vertexes, 6 > edges, and 4 faces, or is it created by them? The axiomatic method of > classical Greek geometry begins with the point. Bucky rejected the > axiomatic method. He said you can't begin with less than the tetrahedron. > >  Cliff Nelson > > On Feb 19, 2007, at 6:57 AM, David Chako wrote: > > "I agree that the axiomatic method is insufficient in and of itself.  It > must be informed by experience. > > Having said that, it is possible to devise rather generic and abstract > mathematics which can be shown to work in harmony with most, if not all, > relevant experience.  As an example, the notion of vector space is one > such abstraction.  It is in harmony with Fuller, too. > > Now, axiomatic geometry is a whole other matter vis a vis harmony with > Fuller." > > - David > > --End Quote-- > > Examples of vector spaces use the Cartesian coordinate idea of 90 > degrees between the axes and Bucky Fuller wrote that that 90-degree-ness > has put humanity in a "lethal bind" of scientific illiteracy. > > http://mathworld.wolfram.com/VectorSpace.html > > Rational coordinate geometry with Synergetics coordinates was part of > his solution. BuckyNumbers are fields over the rational numbers and a > field is a stronger notion than a vector space. > >  Cliff Nelson > > Dry your tears, there's more fun for your ears, > "Forward Into The Past" 2 PM to 5 PM, Sundays, > California time,http://www.geocities.com/forwardintothepast/ > Don't be a square or a blockhead; see:http://bfi.org/node/574http://library.wolfram.com/infocenter/search/?search_results=1;search... > son_id=607- Hide quoted text - > > - Show quoted text - CRITICISMS FROM INTERNAL CONSISTENCY--BROWNIAN MOTION AND THE RELATIVITY OF SIMULTANEITY Still another criticism has to do with the mathematics Einstein adopted in order to express special relativity. Unaware of the polemics involved in the response to Cantorian set theory, he enthusiastically embraced Poincare's approach in SCIENCE AND HYPOTHESIS. He was unaware that Poincare's goal in this book was to develop an approach to mathematics which would "solve" or "avoid" the supposed paradoxes of set theory. The polemical position developed--now called natural mathematics (see P. Maddy, NATURALISM IN MATHEMATICS)--asserts that mathematical formulations are inherently anomalous; the evidence of this is that they generate paradoxes. Therefore, the idea that mathematics is an aspect of human perception, must be made a part of mathematical formulations even if it plays no internally consistent role in any natural mathematical formulation. According to Howard and Stachel in their recent book on Einstein's formative years (John Stachel is director of the Center for Einstein Studies at Boston University), Einstein made a âcareful readingâ of Poincare's formulation of this point of view. Poincare believed that âthe mind has a direct intuition of this power ['proof by recurrence' or 'mathematical induction'], and experiment can only be for [the mind] an opportunity of using it, and thereby of becoming conscious of it.â In geometry âwe are brought to [the concept of space] solely by studying the laws by whichâ¦[muscular] sensations succeed one another.â This idea of âsuccessionâ was vital if the âstandstillâ to which the âparadoxesâ had brought mathematics, was to be overcome. Natural mathematics gained widespread acceptance before Einstein came to it, and when he adopted its precepts, it caused him problems, even before the formulation of special relativity. As indicated in the Brown and Stachel book, it was employed in Einstin's 1905 paper on Brownian motion, with disturbing results: âEinstein begins with an assumption whose status is still problematic and troubled his contemporaries: that there exists âa time interval Ï, which shall be very small compared with observable time intervals but still so large that all motions performed by a particle during two consecutive time intervals Ï may be considered as mutually independent eventsâ¦.â As the author of this passage notes, â[t]his is essentially a very strong Markov postulate. Einstein makes no attempt to justify itâ¦.[W]here mathematics ends and physics begins is far from clearâ¦.â >From here, Einstein went on to apply natural mathematics to his formulation of the relativity of simultaneity (here the geometric formulation in RELATIVITY, where its use is particularly clear): Are two events (e.g. the two strokes of lightning A and B) which are simultaneous with reference to the railway embankment also simultaneous relatively to the train? We shall show directly that the answer must be in the negative. When we say that the lightning strokes A and B are simultaneous with respect to be embankment, we mean: the rays of light emitted at the places A and B, where the lightning occurs, meet each other at the mid-point M of the length AB of the embankment. But the events A and B also correspond to positions A and B on the train. Let M1 be the mid-point of the distance AB on the traveling train. Just when the flashes (as judged from the embankment) of lightning occur, this point M1 naturally coincides with the point M but it movesâ¦with the velocityâ¦of the train. The criticism is that the term ânaturally coincidesâ has no meaning and leads to logical problems. Einstein does not define it. If it is dropped, the assumption of two Cartesian coordinate systems leads to a contradictory conclusion of only one. The idea is that if two parallel coordinate systems coincide at one point, they coincide at all points and are one coordinate system, not two. So far, this criticism has not been overcome. The natural mathematics justification for the use of the term is that it âallowsâ one point to âsucceedâ another, and so permits the notion of the relativity of simultaneity to go forward. The criticism is that that does not resolve the logical problem of the use of "natural" coincidence in the argument. |