tag:blogger.com,1999:blog-21308815.post6258946220218874729..comments2023-10-08T15:51:17.426+00:00Comments on Beyond Necessity: Mathematical existenceEdward Ockhamhttp://www.blogger.com/profile/07583379503310147119noreply@blogger.comBlogger11125tag:blogger.com,1999:blog-21308815.post-9931136906314243412012-04-20T19:07:17.435+00:002012-04-20T19:07:17.435+00:00>>But also perhaps an identity because both ...>>But also perhaps an identity because both 1.9... and 2.0 can be seen as distinct names that refer to a common value. <br /><br />Ah but then we lost the usefulness of referring to 'finite' and 'infinite' sequences. Indeed, is there any room for 'sequences'? The number is the number, the name is a finite string that can never be infinite, so ...Edward Ockhamhttps://www.blogger.com/profile/07583379503310147119noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-51523854496753405782012-04-20T15:59:57.605+00:002012-04-20T15:59:57.605+00:00>> That's interesting. Does the statemen...>> That's interesting. Does the statement "1.9999 …. = 2.0" express an identity or an equality? If an identity, then an finite sequence of decimals is also a non-finite sequence, which is a contradiction. If an equality, then we would have to say what an equality was. (Frowns). <<<br /><br />Frowns indeed. With all 1.9... eyebrows. Both, I think. Certainly an equality, because the LHS can be seen as shorthand for an infinite summation expression which has the same value as the expression on the RHS. So the whole sentence is analogous, though infinitary, to 7+5=12. But also perhaps an identity because both 1.9... and 2.0 can be seen as distinct names that refer to a common value. Isn't the distinction between terminating and non-terminating decimals a <i>syntactic</i> distinction because it's a property of a graphical representation of a value which changes with the base of the representation. Thus in base 10 the value 1/9 has the non-terminating representation .1..., whereas in base 3 it has the terminating representation 0.01. On the other hand these representations (names?) can be <i>calculated</i>, so they contain arithmetic truths.<br /><br />Is there a sharp line between syntax and semantics here?David Brightlyhttps://www.blogger.com/profile/06757969974801621186noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-7973978075498794842012-04-20T14:17:50.918+00:002012-04-20T14:17:50.918+00:00>> Are you happy with the existence of the n...>> Are you happy with the existence of the number 2, but believe that the existence of sqrt(2) needs to be justified?<br /><br />Well, the existence of 2 has to be justified. But that's easy: 2 hands, 2 feet, 2 ears. Abstract from that to the number 2.<br /><br />(You could also go with 2 meters, 2 inches, 2 yards, but then you're really dealing with a range around an error bound, and not something discrete.)<br /><br />>> There is nothing terribly fundamentally interesting about "is there a number which, when squared, is 2" that isn't already in "is there a number which, when multiplied by 5, is 7".<br /><br />True. We could have (and maybe should have) started there.Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-45715515631583618942012-04-20T13:57:43.078+00:002012-04-20T13:57:43.078+00:00>> Well an angel is a messenger of God.
And...>> Well an angel is a messenger of God.<br /><br />And what is "God"?Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-63890619999310093362012-04-20T13:35:06.747+00:002012-04-20T13:35:06.747+00:00Someone mentioned this in the previous post, but.....Someone mentioned this in the previous post, but...<br /><br />Are you happy with the existence of the number 2, but believe that the existence of sqrt(2) needs to be justified?<br /><br />The fundamental problems of "existence", whatever you mean by that, start with the integers. They have a mathematical definition too, if you want one. All the other numbers are built on top of the integers.<br /><br />There is nothing terribly fundamentally interesting about "is there a number which, when squared, is 2" that isn't already in "is there a number which, when multiplied by 5, is 7".<br /><br />At least, not from a mathematicians point of view. Infinity is nothing special, its just another property governed by axioms.<br /><br />If you're working with the rationals only, then the answer to "is there a sqrt(2)"? is No. If you're working with the integers, the answer to "is there a number which, when multiplied by 5, is 7"? is also No (as long as you're not doing modulo...).<br /><br />> Second, some numbers correspond to finite sequences of decimals, others to infinite sequences.<br /><br />Not really. First of all (as I said elsewhere) we don't define numbers as decimal sequences. But they do correspond. But more, when you're talking about real numbers, 2_real is not the same thing as 2_integer (as I said above, 2_integer is actually a specific set (in the usual interpretation): {0, {0}} if I recall correctly. Whereas 2_real is more complex, as we know). 2_real -> 2.000...; its still an infinite decimal sequence (if you want to think like that).William M. Connolleyhttps://www.blogger.com/profile/05836299130680534926noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-47689429310686745722012-04-20T13:22:29.705+00:002012-04-20T13:22:29.705+00:00Put another way:
1/9 + 8/9 = 9/9 = 1
corresponds...Put another way:<br /><br />1/9 + 8/9 = 9/9 = 1<br /><br />corresponds to<br /><br />.111... + .888... = .999... = 1.000...Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-68029099277804377082012-04-20T13:14:58.312+00:002012-04-20T13:14:58.312+00:00>> Does the statement "1.9999 …. = 2.0&...>> Does the statement "1.9999 …. = 2.0" express an identity or an equality?<br /><br />I'd say it expresses a correspondence, a translation from one language to another, like "amarillo = yellow". (Is that an identity or an equality? I don't know.)<br /><br />>> If an identity, then an finite sequence of decimals is also a non-finite sequence, which is a contradiction.<br /><br />A finite sequence of characters ("1.999...") represents the same number as another finite sequence of characters ("2.0").Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-61186808948096538992012-04-20T13:10:26.776+00:002012-04-20T13:10:26.776+00:00And after consideration of that definition, I am g...And after consideration of that definition, I am going to posit that yes, the square root of 2 is a number. Any measurement necessarily has an error bound. When we say that a stick is 2 feet long, we are saying that it is between 1.9999 and 2.0001 feet long, or whatever error bound is appropriate for the context. When we say that a stick is root 2 feet long, we are saying that it is between 1.41421 and 1.41422 feet long, or whatever error bound is appropriate for the context.<br /><br />So the square root of two is an abstraction of the attributes of entities, using a unit of measurement and a relationship between the unit and the thing being measured. It is a number.Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-79965657436734387562012-04-20T12:59:51.422+00:002012-04-20T12:59:51.422+00:00>> What things are or may be angels?
Well a...>> What things are or may be angels?<br /><br />Well an angel is a messenger of God. I don't know why they have to be immaterial – I'll look it up.<br /><br />>> Well, all numbers correspond to both finite sequences of decimals *and* infinite sequences of decimals.<br /><br />That's interesting. Does the statement "1.9999 …. = 2.0" express an identity or an equality? If an identity, then an finite sequence of decimals is also a non-finite sequence, which is a contradiction. If an equality, then we would have to say what an equality was. (Frowns).Edward Ockhamhttps://www.blogger.com/profile/07583379503310147119noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-66422207770358721412012-04-20T12:30:25.291+00:002012-04-20T12:30:25.291+00:00And by the way, I mentioned this in the previous p...And by the way, I mentioned this in the previous post, but even once we have demonstrated that there are square roots of rational numbers which are not themselves rational (and I think it might be possible to get there), we still don't have the existence of the real number line, as there are only "countably many" square roots of rational numbers which are not themselves rational.Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-15205139322823611612012-04-20T12:26:51.356+00:002012-04-20T12:26:51.356+00:00Are we asking if there is a square root of 2, or a...Are we asking if there is a square root of 2, or are we asking if the square root of 2 is a <i>number</i>?<br /><br />What things are or may be angels?<br /><br />>> First, that some things are numbers.<br /><br />Depends on the context of "some things".<br /><br />As in some entities are numbers? I don't agree with that. Numbers are not entities. They are abstractions of attributes.<br /><br />Are abstractions of attributes "things"? Sure. But only in the sense that "redness" is a thing.<br /><br />>> Second, some numbers correspond to finite sequences of decimals, others to infinite sequences. Do we buy that?<br /><br />Well, all numbers correspond to both finite sequences of decimals *and* infinite sequences of decimals. For instance, the number two corresponds to 2.0, to 2.0000..., and to 1.999...<br /><br />Do any numbers correspond to only infinite sequences of decimals, and not to any finite sequences of decimals? Maybe. I haven't yet seen an argument which convinces me of this.<br /><br />To start we need a definition of number, as a type of abstraction of attributes of entities, using a unit of measurement and a relationship between the unit and the thing being measured. Given that definition, to show that some numbers could not be expressed as finite sequences, we would need an example of an attribute of an entity (length, mass, etc.) which did not correspond to a finite sequence.Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.com