Author 
Topic: Dedekind cut (Read 9511 times) 

Mickey1
Junior Member
Gender:
Posts: 116


Dedekind cut
« on: Feb 10^{th}, 2012, 12:51pm » 
Quote Modify

Dedekind’s cut is exemplified the following way: All rational numbers whose squares are less than 2 form a set of number that can be associated with sqrt(2), thereby extending the rational numbers into real numbers. In Goedel’s inconsistency proof he shows that one can order and number all statements, such as the one about q*q< 2. It seems therefore that if the example of Dedekind’s cuts where meant to be general i.e. refer to all real numbers, there would exist a onetoone relationship between the rational and real numbers, which is a contradiction. So where is the "real" example valid for all real numbers?

« Last Edit: Feb 11^{th}, 2012, 1:02pm by Mickey1 » 
IP Logged 



Grimbal
wu::riddles Moderator Uberpuzzler
Gender:
Posts: 7418


Re: Dedekind cut
« Reply #1 on: Feb 13^{th}, 2012, 6:42am » 
Quote Modify

The "real" examples are the sets S such that if S contains a and b<a then S contains b. Or, starting from an infinite sequence of rationals r_{i}, build the sets S_{i} = {qq<r_{i}} and S = union of all S_{i} = {q  q in S_{i} for some i} But it is true that there are more reals than can be expressed in a finite expression. Whether a real can exist if it can not be expressed explicitly is a philosophical quesion. But reals defined like that are still quite useful.


IP Logged 



Mickey1
Junior Member
Gender:
Posts: 116


Re: Dedekind cut
« Reply #2 on: Feb 13^{th}, 2012, 8:18am » 
Quote Modify

I got a similar answer from Prof Karlis Podnieks, University of Latvia: "Dear colleague, Any Goedelstyle enumeration can cover only those real numbers that are definable by formulas (in some fixed language). Thus, if in one's set theory, there are uncountably many real numbers, then some of these numbers must be undefinable (by formulas)". I thought that classical mathematical teaching viewed the real numbers to constitute an enlargement of the rational number, in much the same way as the rational numbers are an enlargement of the natural numbers and I saw a contradiction given by the enumeration characteristics. After having spent some  modest  additional time on the internet I now see that the introduction of real numbers usually relies on the introduction of a new idea, the geometrical concept of the number line. I still object to the wording “enlargement” or “extension”. The terminology is misleading given the earlier (looking at this as a journey from N to I to Q to R) and stricter enlargement of the natural to the rational numbers.

« Last Edit: Feb 14^{th}, 2012, 12:36am by Mickey1 » 
IP Logged 



Grimbal
wu::riddles Moderator Uberpuzzler
Gender:
Posts: 7418


Re: Dedekind cut
« Reply #3 on: Feb 13^{th}, 2012, 9:14am » 
Quote Modify

This even has a name. It is caled finitism. http://en.wikipedia.org/wiki/Finitism

« Last Edit: Feb 13^{th}, 2012, 9:14am by Grimbal » 
IP Logged 



Mickey1
Junior Member
Gender:
Posts: 116


Re: Dedekind cut
« Reply #4 on: Feb 14^{th}, 2012, 12:37am » 
Quote Modify

I see. It seems there is nothing new under the sun.


IP Logged 



Mickey1
Junior Member
Gender:
Posts: 116


Re: Dedekind cut
« Reply #5 on: Feb 19^{th}, 2012, 2:07am » 
Quote Modify

I believe, after some thought, that a stricter formulated objection can be made: Remembering once again the formulation by Prof. Karl Podniek, Univ. of Latvia : “Any Goedelstyle enumeration can cover only those real numbers that are definable by formulas (in some fixed language). Thus, if in one's set theory, there are uncountably many real numbers, then some of these numbers must be undefinable (by formulas)”, and I continue: Given the fact that some real X cannot be defined, the method of the cut is invalidated completely, in as far as it claims to define the real numbers, since the definition of the cut requires a finite number of steps. It looks dramatic, but then again perhaps not when you consider Wikipedia on Dedekind: “ ...Arguably he was even ahead of much contemporary philosophy of mathematics, especially in terms of his sensitivity to both sides. This is not to say that his position is without problems. Dedekind himself was deeply troubled by the settheoretic antinomies. And the twentieth century produced additional surprises, such as Gödel's Incompleteness Theorems, that are difficult to accommodate more generally.” (This is a quote from Reck, Erich, "Dedekind's Contributions to the Foundations of Mathematics", The Stanford Encyclopedia of Philosophy, Fall 2011 Edition.) It seems to me that there is no way around this, philosophically or otherwise. If you are willing to accept infinite steps in the definition of X, why not just define, in a similar circular way, the number X by its own decimal expansion. Either way, there is no need for the cut.

« Last Edit: Feb 19^{th}, 2012, 8:48am by Mickey1 » 
IP Logged 



rmsgrey
Uberpuzzler
Gender:
Posts: 2818


Re: Dedekind cut
« Reply #6 on: Feb 20^{th}, 2012, 8:18am » 
Quote Modify

on Feb 19^{th}, 2012, 2:07am, Mickey1 wrote:It seems to me that there is no way around this, philosophically or otherwise. If you are willing to accept infinite steps in the definition of X, why not just define, in a similar circular way, the number X by its own decimal expansion. Either way, there is no need for the cut. 
 1.000... or 0.999... which expansion do you use to define X when you want the real number which is the nonzero solution to X=X^{2}? If you want to understand why people might want to use the Dedekind Cut (rather than need to), you should probably start by looking at the contexts in which it is used, and the context in which it was invented. At a minimum, it's another trick in the mathematician's arsenal that may prove useful in future...


IP Logged 



Mickey1
Junior Member
Gender:
Posts: 116


Re: Dedekind cut
« Reply #7 on: Feb 20^{th}, 2012, 12:57pm » 
Quote Modify

The answer to your question will be revealed when you reach infinity (or Nirvana, whichever comes first). I take the same negative view on Wu’s combination of pi and sqrt(2), in the hard section. I don’t think the question can be posed properly without contradictions. I do share your historic view, and I was pleased to find Erich Reck’s article. Personally, I have difficulty with my sense of order. If I turn a page and rewrite three terms, two of them will be wrong. I therefore realized early that any understanding I might develop in math would be restricted to the philosophical part, such as the axioms, and not the trickery of calculation, the engineering part (the importance of which I fully acknowledge both it its own right and as a driving force for the philosophical part).


IP Logged 



peoplepower
Junior Member
Posts: 63


Re: Dedekind cut
« Reply #8 on: Dec 15^{th}, 2012, 6:05am » 
Quote Modify

The underlying question seems to be, can we utilize a collection of all objects which satisfy some property as if it is any mathematical object? Russell's paradox reveals that we need to be careful, and freedom is lost in this approach. However, I believe the utility of such an object (whether or not it exists) is so great that I am motivated to define it and use it before checking it. To sum up the difference in our opinions, you implicitly deny that we can form the collection of all bounded, strictly increasing sequences of rational numbers. I take such a collection as given and form the full set of real numbers as a result. The primary reason why I do not worry about this construction being possible is that in specific instances one is only interested in objects which can be explicitly constructed (admittedly, this is not exactly the case in set theory where one includes/excludes existence hypotheses all the time). Finally, if you look in any mathematical textbook you will see examples of the (instructional!) gains of using these kinds of objects. A group, field, vector space, etc., can be defined by its properties rather than an algorithm for its construction. If the conceptual advantages are not obvious, do a problem set and really monitor your thinking process. You will see that thinking of objects in terms of their distinguishing properties alone significantly clarifies your thoughts involving them.


IP Logged 



rmsgrey
Uberpuzzler
Gender:
Posts: 2818


Re: Dedekind cut
« Reply #9 on: Dec 17^{th}, 2012, 4:12am » 
Quote Modify

on Dec 15^{th}, 2012, 6:05am, peoplepower wrote:Finally, if you look in any mathematical textbook you will see examples of the (instructional!) gains of using these kinds of objects. A group, field, vector space, etc., can be defined by its properties rather than an algorithm for its construction. If the conceptual advantages are not obvious, do a problem set and really monitor your thinking process. You will see that thinking of objects in terms of their distinguishing properties alone significantly clarifies your thoughts involving them. 
 Purely considering the distinguishing properties of an object lets you draw conclusions like "if there is an object with those properties, then it will also have all these properties". What it can't do is establish that there is an object with those properties in the first place  I could reason for weeks about the properties of the smallest strictly positive rational number  and eventually observe that half that number is both smaller and still a strictly positive rational...


IP Logged 



Grimbal
wu::riddles Moderator Uberpuzzler
Gender:
Posts: 7418


Re: Dedekind cut
« Reply #10 on: Dec 17^{th}, 2012, 5:33am » 
Quote Modify

The ultimate property being that it does not exist. Makes me think that mathematics is superior to physics. The rules of physics apply to everything that exists. But as you have shown, the rules of mathematics apply even to things that don't exist.


IP Logged 



peoplepower
Junior Member
Posts: 63


Re: Dedekind cut
« Reply #11 on: Dec 17^{th}, 2012, 7:09am » 
Quote Modify

For an example which does not lead to a contradiction, I remember spending a few days determining the behavior of a certain function on weakly inaccessible cardinals and weakly Mahlo cardinals, neither of which need to exist in ZFC though they are both definable under those axioms. Of course there are lots of examples in the differential ZF versus ZFC. For instance, (a weaker form of) the axiom of choice is necessary for there to be a nonmeasurable set of real numbers. Reasoning about these things seems to arouse an equal excitement as reasoning about anything else, so why not? P.S. I think the ability to measure the size of a set using a cardinal without being able to construct all of its elements is an awesome outgrowth of reasoning about things outside the "countable" world.

« Last Edit: Dec 17^{th}, 2012, 7:27am by peoplepower » 
IP Logged 



