{"id":156,"date":"2011-07-14T21:10:40","date_gmt":"2011-07-15T02:10:40","guid":{"rendered":"http:\/\/aaronturner.thinkertothinker.com\/?p=156"},"modified":"2011-07-14T21:10:40","modified_gmt":"2011-07-15T02:10:40","slug":"does-pi-exist","status":"publish","type":"post","link":"http:\/\/nutmegfamilies.com\/aaronnturner\/index.php\/2011\/07\/14\/does-pi-exist\/","title":{"rendered":"Does Pi Exist?"},"content":{"rendered":"<p>To almost everyone this would seem a ridiculous question. Even to most mathematicians the existence of Pi (defined here as the ratio of a circle&#8217;s circumference to it&#8217;s diameter) is taken for granted. But the question of the existence of the class of number to which Pi belongs is a key example of a fundamental question in the philosophical understanding of Mathematics, and indeed of a broader issue in metaphysics and epistemology.<\/p>\n<p>To understand the meaning of Pi, let&#8217;s start with a quick review of the types of numbers we encounter in elementary mathematics. We start with the &#8220;natural numbers&#8221; &#8211; the numbers 1,2,3 and so on. The very fact that these are the numbers we first learn and first teach to our children in their infancy is ultimately the key to understanding the issue in front of us. In the natural numbers, there are no negative numbers, and no zero.\u00a0 The extension of the number system to include negative numbers I&#8217;ve discussed <a href=\"http:\/\/aaronturner.thinkertothinker.com\/?p=44\">previously<\/a>.\u00a0 The concept of zero I&#8217;ll defer yet again, though I&#8217;ll hint that I believe it represents balance.\u00a0<\/p>\n<p>\u00a0Both natural numbers and integers are &#8220;countable&#8221; &#8211; meaning that they can be ordered and indicated in order.\u00a0 Considered as sets, they both contain a &#8220;countable infinity&#8221; of elements.\u00a0<\/p>\n<p>The next extension of the number system is to include all fractions &#8211; the division of natural numbers by natural numbers, and while we&#8217;re at it we throw in division of signed integers by signed integers other than zero.\u00a0 This new number system we designate as the &#8220;rational numbers&#8221;.\u00a0 The natural number\u00a0or the signed integer &#8220;n&#8221; is represented in the rational number system as ratios n\/1, 2n\/2, 3n\/3, etc.\u00a0 (Note that I say the signed integers are &#8220;represented&#8221; &#8211; I maintain that the signed integer n is <em>different<\/em> than the rational number n\/1, 2n\/2, &#8230;).\u00a0\u00a0 The nature in which rational numbers exist is again the topic for another discussion, though I&#8217;ll note that their nature is related to the epistemological process of measurement, and the mathematical concept of continuity.\u00a0 I&#8217;ll also note that the rational numbers can be so ordered as to be countable, and so are &#8220;countably infinite&#8221; in number.<\/p>\n<p>The next step is a bit tougher to follow.\u00a0 The &#8220;algebraic numbers&#8221; are defined as all numbers which are solutions to polynomial equations whose coefficients and exponents\u00a0are natural numbers.\u00a0 In a simpler form, it is this number system that sparked the first significant philosophical debate about the meaning of numbers &#8211; back in Greece in the time of Pythagoras.\u00a0 What we now refer to as the &#8220;Pythagorean Theorem&#8221; states that the square of the\u00a0length of the hypotenuse of a right triangle is equal to the sum of the squares of the other sides, or a^2+b^2=c^2, where c is the hypotenuse.\u00a0 In its simplest form, if we are computing the length of the diagonal of a square with unit length sides (a=b=1), then c*c=2.\u00a0\u00a0That the value of c, the square root of 2, cannot be expressed as a fraction of natural numbers was a major discovery of Greek mathematics. (This fact was proven by members of the Pythagorean school, possibly by one Hippasus who may have been executed for revealing the proof because it had been held as a state secret).\u00a0 A good deal of debate occurred through the centuries over the existence of these &#8220;irrational numbers&#8221;.\u00a0 I have not spent enough time considering the nature of these numbers to offer an opinion as to what they represent, but I will venture that this number system will be found to have an acceptable basis in reality.<\/p>\n<p>As with the rational numbers, the algebraic numbers can be ordered in such a manner as to be countable.\u00a0 There are therefore a countable infinity of algebraic numbers.<\/p>\n<p>Both the rational and algebraic numbers can be shown to be &#8220;dense&#8221; on the real number line.\u00a0 Think of the real number line as an &#8220;infinitely long&#8221; straight line, as you did in high school.\u00a0 If we take any interval of this line, there will be contained in that interval an infinite number of rational numbers, no matter how small an interval is chosen.\u00a0 This is the density property of a set of numbers.\u00a0 This observation, in combination with the fact that all of these number classes are &#8220;countably infinite&#8221; leads to some confusing conclusions.\u00a0 In the sense that we can order and count the elements of these number classes, we can establish a &#8220;one to one&#8221; relationship between all rational numbers with the natural numbers.\u00a0 &#8220;In a sense&#8221;, this implies there are &#8220;as many&#8221; rational numbers as natural numbers &#8211; despite the fact that between any two natural numbers there are an infinite number of rational numbers!\u00a0 The resolution of this confusion lies in the use made here of the concept &#8220;infinite&#8221; &#8211; which ultimately is not a valid concept.\u00a0 But that is another digression.<\/p>\n<p>The last development in this trail of number classes is the discovery of transcendental numbers.\u00a0 The historical development of this number class derived from the problem of &#8220;squaring the circle&#8221;, which was a phrase used to describe the problem of computing the area of a circle with a rational-valued diameter in terms of algebraic numbers.\u00a0 It was shown in 1882 that this is impossible, because Pi is not the solution of any polynomial with natural number coefficients.\u00a0 Pi then belongs to yet another class of number.\u00a0 Rather than deal with the area problem, let us define Pi in the simplest possible manner.\u00a0 Pi is the ratio of the circumference of a circle to its diameter.\u00a0 Hence, if a circle has a diameter equal to a natural number of units (or a rational, or even algebraic number of units), its<em>\u00a0 <\/em>circumference will be a transcendental number.\u00a0<\/p>\n<p>Using this definition, we have for the first time a number tied to a perfect geometrical figure.\u00a0 A circle is an ideal figure that can never be found in the concrete world of objects.\u00a0 Any &#8220;circle&#8221; you encounter in the physical world will be imperfect at some level.\u00a0 &#8220;Circle&#8221; is a idealization of these experienced real-world circles.\u00a0 It can be thought of as the limiting perfection of all physical circles.\u00a0 And so, the question of whether Pi &#8220;exists&#8221; will become the question of whether this idealization can be said to exist.\u00a0 More generally, it is the question as to whether a <em>conceptual idealized abstraction<\/em> can be said to exist.\u00a0 Such an abstraction can never be exhibited in the physical world.<\/p>\n<p>The answer to this question lies in the fundamental philosophical principles that are applied.\u00a0 The empiricist will require that to &#8220;exist&#8221;, a thing must be present in the physical world, and furthermore, must be experienced.\u00a0 Such an approach will then conclude that ideal circles do not exist, and therefore Pi does not exist.\u00a0 The rationalist\/Platonist will be happy to place the idealizations in their own realm (ultimately a realm occupied by a God), and declare that they in fact exist in this realm, but can only be approximated in the denigrated physical realm.<\/p>\n<p>Finally, the Objectivist will answer with clarity.\u00a0 The concept circle &#8211; as with all other human concepts &#8211; exists as a relationship between the human mind and the physical world.\u00a0 To exist, the concept must have physical representations from which the details specific to each (such as imperfections) have been abstracted away (omitted as measurements) to arrive at the concept in human consciousness.\u00a0\u00a0 The concept circle then exists as an epistemological linkage between human understanding of the physical world, and the real world itself.\u00a0 And since the circle exists, it is in the same sense that the number Pi (and ultimately all transcendental numbers) exist.<\/p>\n<p>The acceptance of transcendental numbers leads to additional confusions involving the invalid concept of infinity.\u00a0 Unlike the other number classes, it can be proven that there is an <em>uncountable infinity<\/em> of transcendental numbers.\u00a0 A one to one relationship between the transcendental numbers and the natural numbers cannot be established.\u00a0 Indeed between any two rational numbers (or even algebraic numbers) there is an uncountable infinity of transcendental numbers.\u00a0 (Intriguingly, a one-to-one relationship can be established between transcendental numbers and the set of all subsets of natural numbers, which in turn implies that the set of all subsets of natural numbers is uncountably infinite as well).\u00a0<\/p>\n<p>The further discussion of how these &#8220;infinities&#8221; and the concept of continuity and &#8220;infinite divisibility&#8221; should be approached to allow a resolution of the apparent contradictions will need to wait for another time.\u00a0 Interested parties should consult writings and lectures given by Pat Corvini for excellent discussions of these topics.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>To almost everyone this would seem a ridiculous question. Even to most mathematicians the existence of Pi (defined here as the ratio of a circle&#8217;s circumference to it&#8217;s diameter) is taken for granted. But the question of the existence of the class of number to<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6],"tags":[],"class_list":["post-156","post","type-post","status-publish","format-standard","hentry","category-mathematics"],"_links":{"self":[{"href":"http:\/\/nutmegfamilies.com\/aaronnturner\/index.php\/wp-json\/wp\/v2\/posts\/156","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/nutmegfamilies.com\/aaronnturner\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/nutmegfamilies.com\/aaronnturner\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/nutmegfamilies.com\/aaronnturner\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/nutmegfamilies.com\/aaronnturner\/index.php\/wp-json\/wp\/v2\/comments?post=156"}],"version-history":[{"count":0,"href":"http:\/\/nutmegfamilies.com\/aaronnturner\/index.php\/wp-json\/wp\/v2\/posts\/156\/revisions"}],"wp:attachment":[{"href":"http:\/\/nutmegfamilies.com\/aaronnturner\/index.php\/wp-json\/wp\/v2\/media?parent=156"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/nutmegfamilies.com\/aaronnturner\/index.php\/wp-json\/wp\/v2\/categories?post=156"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/nutmegfamilies.com\/aaronnturner\/index.php\/wp-json\/wp\/v2\/tags?post=156"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}