Showing posts with label natural numbers. Show all posts
Showing posts with label natural numbers. Show all posts

12 Jun 2019

Wildberger (1) Math Foundations, 1: “What is a Number?”, summary

 

by Corry Shores

 

[Search Blog Here. Index tabs are found at the bottom of the left column.]

 

[Central Entry Directory]

[Mathematics, Calculus, Geometry, Entry Directory]

[Norman Wildberger, entry directory]

[Wildberger, Math Foundations, entry directory]

 

[The following is summary of Wildberger’s video lecture. You will find that he is a supremely talented teacher. Any mistakes are my own, as I am not a mathematician. Bracketed comments are my own and are not to be trusted. If I have any general commentary, it comes at the end.]

 

 

 

 

Norman J. Wildberger

 

Course Series

 

Math Foundations

 

Math Foundations A (1-79):

Arithmetic and Geometry

 

 

1

“What is a Number?”

[youtube page]

 

 

 

 

 

 

Brief summary:

(1.1) Norman Wildberger is a research mathematician at the university of New South Wales in Sydney, Australia. He discovered rational trigonometry. This series will explore the foundations of modern mathematics in a new and better way. (1.2) There are three main aims to this series: {1} to expose some of the current weaknesses in set theory, analysis, geometry, and various other related areas of mathematics; {2} to create a framework that makes sense, that does not rely on authority or unsubstantiated axiomatic systems, one that any person can understand if they start from the beginning; {3} to provide a resource for teachers to help them design their curriculum. (1.3) Wildberger will not teach a course in mathematics where you build elaborate theorems but rather he will lay foundations. So he will examine various topics and determine what the essential notions and main definitions are and how they fit into place correctly. The overall test for if this is done the right way is if all the parts fit together in their natural way. (1.4) There are three main principles to this series: {1} we will start at the beginning (we do not assume we have sophisticated mathematical knowledge), {2} we will keep things simple and natural (we will connect with the real world), and {3} we will keep an open mind (we will not accept orthodoxy and we acknowledge that we may need to rethink previous ideas later on.) (1.5) We start with the most important objects in mathematics, namely, the natural numbers: 1, 2, 3, etc. The starting point for them is an empty page; we start mathematics with nothing.

(Image source. Wildberger, Math Foundations 1)

Next we introduce “something.” We write a stroke ‘|’

(Image source. Wildberger, Math Foundations 1)

It represents a single entity that we name “one”. The next idea is adding one to itself. We write “one and another one” as ‘||’, which makes a number that we call “two.” Then we can iterate this adding one to what we already have to obtain a sequence of objects, with their given names.

(Image source. Wildberger, Math Foundations 1)

As we can see, we are not assuming the Arabic-Hindu notation system, because it is a much more sophisticated system than this. So at this point (the beginning) a natural number is a string of ones.

(Image source. Wildberger, Math Foundations 1)

Mathematical objects will all be based on natural numbers, so everything else we will do are based on them. (1.6) We will make some observations about natural numbers: {1} they form a sequence. They are naturally ordered. To each natural number we may associate the next one, that can be called the “successor”. So the successor of | is || (or ‘two’). The successor of || (or ‘two’) is ||| (or ‘three’).

(Image source. Wildberger, Math Foundations 1)

This is our first example of a mathematical operation. We take a number, and its successor is another number. (1.7) If we want to count things, for instance little toys, we do the following. For the first object, we draw one stroke. For the next, another stroke, and so on until we have exhausted all of them, thereby obtaining a total number. (1.8) Another elementary concept is relative size: which one is bigger and which is smaller? Suppose we have two stroke numbers, one above the other, and we want to know which one comes earlier in the sequence. To do this, we pair the ones in each sequence.

(Image source. Wildberger, Math Foundations 1)

The sequence that has unpaired strokes is the one that is larger than the other. This gives us the notion of ‘bigger than’. (1.9) We will represent a natural number by a letter, like ‘n’ or ‘m’.

(Image source. Wildberger, Math Foundations 1)

This allows us to say, for instance, that n = m whenever the 1’s in n can be paired up with those in m [without remainders in either].

(Image source. Wildberger, Math Foundations 1)

This gives us our notion of equality, which is when numbers are the same. We also have a notion of inequality. When we write n < m, that means that n comes before m in the sequence of natural numbers.

(Image source. Wildberger, Math Foundations 1)

The next step will be to work on arithmetical operations on natural numbers.

 

 

 

 

 

 

 

 

Contents

 

Online Description

 

1.1

[Introduction to Wildberger and This Series]

 

1.2

[The Three Overall Aims of the Series]

 

1.3

[Method]

 

1.4

[Main Principles]

 

1.5

[The First Notion: Natural Numbers]

 

1.6

[The Successor Operation]

 

1.7

[Counting Things]

 

1.8

[Relative Size]

 

1.9

[Notation for Numbers, Equality, and Inequality]

 

General Commentary

 

Bibliography

 

 

 

 

Online Description [Quoting]:

 


The first of a series that will discuss foundations of mathematics. Contains a general introduction to the series, and then the beginnings of arithmetic with natural numbers. This series will methodically develop a lot of basic mathematics, starting with arithmetic, then geometry, then algebra, then analysis (calculus) and will also treat so called set theory. It will have a lot of critical things to say once we get around to facing squarely up to the many logical weaknesses of modern pure mathematics. The series is meant to be viewed sequentially. We spend a lot more time and effort than usual on fundamental issues with number systems. If you are a more advanced student, or a fellow mathematician, then the first few dozen videos might be a bit slow. But they are none-the-less important!

(Written by Wildberger, youtube page)

 

 

Summary

(Repeats the “brief summary” and “contents” above, but with video links)

 

 

 

1.1

[Introduction to Wildberger and This Series]

 

[Norman Wildberger is a research mathematician at the university of New South Wales in Sydney, Australia. He discovered rational trigonometry. This series will explore the foundations of modern mathematics in a new and better way.]

 

(00.04-next)

 

[ditto]

[contents]

 

 

 

 

 

 

1.2

[The Three Overall Aims of the Series]

 

[There are three main aims to this series: {1} to expose some of the current weaknesses in set theory, analysis, geometry, and various other related areas of mathematics; {2} to create a framework that makes sense, that does not rely on authority or unsubstantiated axiomatic systems, one that any person can understand if they start from the beginning; {3} to provide a resource for teachers to help them design their curriculum.]

 

(00.28-next)

 

[ditto]

[contents]

 

 

 

 

 

 

1.3

[Method]

 

[Wildberger will not teach a course in mathematics where you build elaborate theorems but rather he will lay foundations. So he will examine various topics and determine what the essential notions and main definitions are and how they fit into place correctly. The overall test for if this is done the right way is if all the parts fit together in their natural way.]

 

(1.31-next)

[ditto]

[contents]

 

 

 

 

 

 

1.4

[Main Principles]

 

[There are three main principles to this series: {1} we will start at the beginning (we do not assume we have sophisticated mathematical knowledge), {2} we will keep things simple and natural (we will connect with the real world), and {3} we will keep an open mind (we will not accept orthodoxy and we acknowledge that we may need to rethink previous ideas later on.)]

 

(2.06-next)

 

[ditto]

[contents]

 

 

 

 

 

 

1.5

[The First Notion: Natural Numbers]

 

[We start with the most important objects in mathematics, namely, the natural numbers: 1, 2, 3, etc. The starting point for them is an empty page; we start mathematics with nothing.

(Image source. Wildberger, Math Foundations 1)

Next we introduce “something.” We write a stroke ‘|’

(Image source. Wildberger, Math Foundations 1)

It represents a single entity that we name “one”. The next idea is adding one to itself. We write “one and another one” as ‘||’, which makes a number that we call “two.” Then we can iterate this adding one to what we already have to obtain a sequence of objects, with their given names.

(Image source. Wildberger, Math Foundations 1)

As we can see, we are not assuming the Arabic-Hindu notation system, because it is a much more sophisticated system than this. So at this point (the beginning) a natural number is a string of ones.

(Image source. Wildberger, Math Foundations 1)

Mathematical objects will all be based on natural numbers, so everything else we will do are based on them.]

 

(03.10-next)

 

[ditto]

[contents]

 

 

 

 

 

 

1.6

[The Successor Operation]

 

[We will make some observations about natural numbers: {1} they form a sequence. They are naturally ordered. To each natural number we may associate the next one, that can be called the “successor”. So the successor of | is || (or ‘two’). The successor of || (or ‘two’) is ||| (or ‘three’).

(Image source. Wildberger, Math Foundations 1)

This is our first example of a mathematical operation. We take a number, and its successor is another number.]

 

(6.04-next)

 

[ditto]

[contents]

 

 

 

 

 

 

1.7

[Counting Things]

 

[If we want to count things, for instance little toys, we do the following. For the first object, we draw one stroke. For the next, another stroke, and so on until we have exhausted all of them, thereby obtaining a total number.]

 

(06.43-next)

 

[ditto]

[contents]

 

 

 

 

 

 

1.8

[Relative Size]

 

[Another elementary concept is relative size: which one is bigger and which is smaller? Suppose we have two stroke numbers, one above the other, and we want to know which one comes earlier in the sequence. To do this, we pair the ones in each sequence.

(Image source. Wildberger, Math Foundations 1)

The sequence that has unpaired strokes is the one that is larger than the other. This gives us the notion of ‘bigger than’.]

 

(07.41-next)

 

[ditto]

[contents]

 

 

 

 

 

 

 

1.9

[Notation for Numbers, Equality, and Inequality]

 

[We will represent a natural number by a letter, like ‘n’ or ‘m’.

(Image source. Wildberger, Math Foundations 1)

This allows us to say, for instance, that n = m whenever the 1’s in n can be paired up with those in m [without remainders in either].

(Image source. Wildberger, Math Foundations 1)

This gives us our notion of equality, which is when numbers are the same. We also have a notion of inequality. When we write n < m, that means that n comes before m in the sequence of natural numbers.

(Image source. Wildberger, Math Foundations 1)

The next step will be to work on arithmetical operations on natural numbers.]

 

(08.31-next)

 

[ditto]

[contents]

 

 

 

 

 

 

 

[General Commentary:

Let us ask, what are some of the conceptual foundations of these mathematical foundations? In the first place, we are seeking foundations. We thus believe in grounding and building from secure foundations. This seems to have two purposes for Wildberger. One is pedagogical. Students (myself included) learn better when beginning with intuitive, basic principles, and gradually and continuously working to more complex notions that are based ultimately in those initial principles. The second purpose seems to be (and this may become more evident as we continue and learn more of Wildberger’s critiques of contemporary mathematics) that this is in line with Wildberger’s philosophy of mathematics. Wildberger thinks that mathematics is something natural, intuitable, coherent, and tied to reality. He says,

I am interested in laying the foundations, but not on building elaborate theories. So I am going to go around, and we are going to look at various topics and ask ourselves, what are really the essential notions here? What are the main definitions? How [do] they fit into place correctly? When mathematics is done right, all the blocks do fit together really well. It is not artificial. Things really do work out. And this is going to be the test for us that we are really doing things in the right way. So our main principles that we will follow is that we are going to start right from the beginning. We are not going to assume that you already have a Ph.D in set theory and logic. We are not going to assume a lot of sophistication, a lot of jargon; we are going to start from the beginning. The first steps are usually the most important ones in any journey, and it is especially true when developing mathematics: you have to start from the beginning, and you have to start in a simply way. So we are going to keep things simple and natural. We are going to try to connect with the real world at all times.

(01.33-2.45 emphasis my own choosing)

One interesting thing here is that math is intuitable, but also tied to reality. It is not that reality teaches us math (with us being totally passive) or that we impose an artificial, mathematical structure of consciousness awkwardly onto the world. Rather, it seems to me, our mathematical intuitions develop in concord with our interactions with the real mathematical properties of the real, natural world. And just as mathematical entities, properties, or processes have a real coherence, so too can our mathematical intuitions develop to have that coherence, in concord with the real world in our interactions with it.

Now let us consider some other conceptual foundations, as we look at Wildberger’s account of the natural numbers. The first is that natural numbers exist and are intuitable. They are real, in that we really are counting real things in the world when we count them, and we are not counting imaginary entities in our head. And they are intuitable, meaning that we can readily form a concept of their natural numericity. Now suppose we question this, and we say, ‘there is no buffalo. Our imagination drew a line around the buffalo to isolate it from the herd. But we could have drawn a line around the herd, or around the savanna; or we could have drawn a line around the buffalo’s head, then its eye’s,’ and so on. In other words, on this basis we might believe that natural numericity is still not something real. This brings us to another foundational, metaphysical notion that we should first address, namely, multiplicity and divisibility on the one hand, and unicity and indivisibility on the other. That there is a real world is something we are presupposing. (There is no grounds for this, but I would appeal to something with regard to human humility. We should not take the equally groundless position that humans have the power to completely fashion the world. Given how we face our limitations at every turn as humans, it seems unreasonable to attribute to us a godlike power of total world-creativity. And as we will see in a moment, the fact that the world affects us (it modifies our bodies, it can shock us, hurt us even) means that it would seem not to be entirely within our own creative activities. Also, the world seems to have certain regularities that we “discover,” that were already there even before human knowledge of them. As Kant famously wrote:

[…] representations that have often followed or accompanied one another are finally associated with each other and thereby placed in a connection in accordance with which […] one of these representations brings about a transition of the mind to the other in accordance with a constant rule. This law of reproduction, however, presupposes that the appearances themselves are actually subject to such a rule, and that in the manifold of their representations an accompaniment or succession takes place according to certain rules [...]. If cinnabar were now red, now black, now light, now heavy, if a human being were now changed into this animal shape, now into that one, if on the longest day the land were covered now with fruits, now with ice and snow, then my empirical imagination would never even get the opportunity to think of heavy cinnabar on the occasion of the representation of the color red.
Kant, Kritik der reinen Vernunft, Erster Teil, A100-101, pp.163-164; Critique of Pure Reason, p.229.

[Kritik der reinen Vernunft, Erster Teil. Werke Vol. 3. Edited by Wilhelm Weischedel. Darmstadt: Wissenschaftliche Buchgesellschaft, 1968.

Critique of Pure Reason. Edited by Paul Guyer and Allen W. Wood. Translated by Paul Guyer and Allen W. Wood. Cambridge: Cambridge University Press, 1998.]

As a Deleuzean, I would point to the irregularities of the world and say because they affect us, they are not our creation. As Deleuze writes at the beginning of Ch.5 of Difference and Repetiton:

Difference is not diversity. Diversity is given, but difference is that by which the given is given, that by which the given is given as diverse. Difference is not phenomenon but the noumenon closest to the phenomenon. It is therefore true that God makes the world by calculating, but his calculations never work out exactly [juste], and this inexactitude or injustice in the result, this irreducible inequality, forms the condition of the world. The world ‘happens’ while God calculates; if the calculation were exact, there would be no world. The world can be regarded as a ‘remainder’, and the real in the world understood in terms of fractional or even incommensurable numbers. Every phenomenon refers to an inequality by which it is conditioned. Every diversity and every change refers to a difference which is its sufficient reason. Everything which happens and everything which appears is correlated with orders of differences: differences of level, temperature, pressure, tension, potential, difference of intensity.

Deleuze, Différence et répétition, p.286; Difference and Repetition, p.222.

[Différence et répétition. Paris: Presses universitaires de France, 1968.

Difference and Repetition. Translated by Paul Patton. New York: Athlone, 1994.]

In other words, I would note Deleuze’s analysis of shocking sensations (as in his Francis Bacon book), where the world shocks us with its irregularities and unpredictabilities. And I would say that we could only have those shocks were there a real world independent of our internal operations. (I am also a dialetheist, and I regard otherness, like the internal/external relation I am using here, as non-exclusive (the one can include the other in part) and non-exhaustive (the otherness of the other is not all possible otherness. See for instance Routley and Routley’s “Negation and Contradiction”, especially sections 3.11, 6, and 7.)

So we are supposing there is a real world. And we also know that our minds can discern multiplicities of unities, where any unity can itself be regarded as a multiplicity (by division), and any multiplicity as a unity (by combination). This is something made evident by a phenomenological analysis of the structures and operations of our consciousness. But we are also making the metaphysical claim that this applies to the real world, and the claim specifically here is that the world is made of countable parts. That claim is not well-established. For this notion I appeal to the natural, biological world, which seems to perform its own counting operations. Take a flower seed, plant it, let if flower and go to seed, then plant one of those seeds, and keep repeating this process. We will probably find that each time it flowers, it has the same number of petals. Pick another flower and do the same thing, and we will probably find it has a different number of petals. We also find very obvious geometrical and numerical patterns of all kinds in many plants. Nature seems to be counting. It seems to generate things (like petals) that are consistently countable as one number, and other things generate other numbers of parts. Now, imagine that one of our flowers that normally has five petals mutates and instead has five hundred petals. I would think it would not be able to survive, as it might be weighed down to the ground and will use too many resources to sustain such an oversized flower. In other words, the number of petals has consequences for the plant. So countable numericity is something that natural things seem to have some kind of knowledge of and implement and also depend upon for their existence. So to make the metaphysical claim that “all is one” or “all is multiple,” and thus that there are no countable things, would not fit in well with the natural fact that a flower generates a certain number of petals and not another number of them (while at the same time other flowers do in fact have another number of petals), and that number is vital to its survival. Now of course over time plants evolve to generate different numbers of parts (at different geometrical arrangements). But the fact that one number would be better suited to its environmental conditions in some situation rather than another number only helps our argument that natural numbers are real things in the natural world. For, these numbers are “differences that make a difference” in a real way (see Bateson’s formulation). So we have covered the following conceptual foundations: that knowledge can be effectively built upon principle foundations (because it allows for step-wise progressive learning and conceptual coherence throughout); that mathematical ideas, like number, are intuitable (because phenomenology tells us our consciousness involves related multiplicity-unity structures); that there is a correspondence between our mathematical intuitions and the mathematical properties of the real world (because these mathematical properties in the real world are things that our mathematical intuitions can be shaped by in our thoughtful interactions with them); that there is a real world (because it has certain properties, namely, regularities and irregularities, that cannot be explained simply by appealing to human creativity, and also, it shocks us, meaning that it is not something internal to us or originating from us); and that the real world indeed does have certain mathematical properties, including natural numerical properties (because plants for instance almost certainly know about and implement numerical counting or quantities).

Let us now move on to Wildberger’s account of natural numbers to explore some it its conceptual foundations. A natural number is fundamentally composed of units, starting with a singular unit. We established above that nature seems to generate and rely upon such units that form numerical groupings, like five singular petals. So we need not ground that concept further. But we add something new here when we represent those numbers, in this case as a stroke. Here we must deal with another assumption, namely, that numerical representation is possible and correspondent with numericity in the real world. This might be supported by the fact that a certain reliable regularity is noticeable in how this representation works. We write five strokes, one for each flower petal. It goes to seed, then regenerates, and the number of petals will correspond to our five markings, and this seems to have no end of correspondence. At this point we are not making the claim that our representations of natural numericity, our five strokes, tell us everything about natural numericity as it is in the world. We can only at this point say that it reflects certain aspects of it. For instance, it seems to share the same aspects of total quantification. Our five stokes (in the mind, on paper, among our fingers, etc.) corresponds with a mental notion of a quantity five (being one more than four and one less than six, etc.), and five petals seems to have a quantitative reality corresponding with that same mental conception (this flower has one more petal than a different flower with four petals, and it has one less petal than a flower with six, etc.). And our next claim, in the next lesson, is that there are certain natural and intuitable properties of natural numbers that we can model (for instance, associative and commutative laws). So our symbolic numerical systems can correspond with certain properties and operations of real things with regard to their numericity. But for the five-petalled flower, are its five petals something for it like our five strokes on a piece of bark? Or is that an anthropomorphism, namely, we count with our fingers, and thus we make strokes to conceptualize, analogically, numerical quantities? It would seem that our human conception and representation of number is contaminated by our humanity, and so it seems more reasonable to say not that our representations are mirrors of natural mathematics but rather that they are expressive of certain commonalities. So to our above list of conceptual foundations, we may add: that our representations of natural numericity correspond in some important way with how that natural numericity is in the real world (because the regularities of our representations correspond with regularities in the world, and other mathematical properties of the real world are modellable in a similar correspondent way with our mathematical representations.)

There are also other conceptions that should be grounded, but I am not capable of doing so. One is the notion of “successor”. I here would appeal to the notion of time, which is often associated with succession. Each moment of our lives never holds still, but rather gives way to the next moment. And we see time’s operations in the natural world with its natural cycles (of life and death, of the seasons, etc.) Another idea is that the strokes can be represented by alphabetical letters, where the letters need not represent some known and determinate value (they rather have variable and sometimes indeterminate meanings). Here I would acknowledge that while we may not have an intuition of a variable and indeterminate number quantity, we might see this involving something like what Hume says about abstract notions. The main idea, in application to our notion of letters-as-numbers, would be that when we see n or m, our mind does not conceive necessarily the exact value it represents in some equation, if it has one, nor does it conceive every possible number whatsoever; rather, we may vaguely have some number or other in the back of our mind, all while being ready to have any other number whatsoever instead in the back of our mind. Hume writes, but with respect to words and abstract ideas:

When we have found a resemblance among several objects, that often occur to us, we apply the same name to all of them, whatever differences we may observe in the degrees of their quantity and quality, and whatever other differences may appear among them. After we have acquired a custom of this kind, the hearing of that name revives the idea of one of these objects, and makes the imagination conceive it with all its particular circumstances and proportions. But as the same word is suppos’d to have been frequently applied to other individuals, that are different in many respects from that idea, which is immediately present to the mind; the word not being able to revive the idea of all these individuals, only touches the soul, if I may be allow’d so to speak, and revives that custom, which we have acquir’d by surveying them. They are not really and in fact present to the mind, but only in power; nor do we draw them all out distinctly in the imagination, but keep ourselves in a readiness to survey any of them, as we may be prompted by a present design or necessity. The word raises up an individual idea, along with a certain custom; and that custom produces any other individual one, for which we may have occasion. But as the production of all the ideas, to which the name may be apply’d, is in most cases impossible, we abridge that work by a more partial consideration, and find but few inconveniences to arise in our reasoning from that abridgment.

[Hume, pp.20-21. A Treatise of Human Nature. Ed. L.A Selby-Bigge. Oxford: Clarendon Press, 1979.]

We also have other mathematical notions that I am unable to give good grounding for, namely, equality, inequality, and sequence by amount. That two numerical representations be equal is easy to establish, like with Wildberger’s pairing operation. But that equality be something natural is a different matter. (Deleuze for instance thinks reality is thoroughly, at its fundamental level, composed of inequality and difference.) If we appeal to the flower petal example from above, it is contaminated by our representations that mediate between real instances. I here suppose we might appeal to our notion of justice here for an origin of our intuition about quantitative equality. (It is found in other animals as well. See here or here.) But still that is a matter of human (or animal) judgment and not necessarily something that manifests naturally in the real world. I guess physical experiments using a scale could demonstrate numerical equality in the physical world. But that assumes that already the two things being counter-balanced are themselves identical. In other words, we can show that two stones, one in each balance pan, come out equal, but first we had to find two stones that weigh exactly the same, which is a determination that requires a scale. If we choose acorns or other biologically generated items, they also will have different weights most times. So is equality in fact something real? Or is it only evident in abstract formulations or conceptions that idealize situations and strip them of their reality? I cannot give any metaphysical grounds for equality. It may be a property that only abstract numbers can have, being represented symbolically, yet perhaps at best in reality all is inequality, but in some cases that inequality is so low as to take on a significance in some situation that is functionally equivalent in certain respects to abstract equality. For instance, were we to put two rocks on the balance scale, and the pans lay equal, we would note that a more precise measurement would show some degree of inequality between them, only this instrument we now use is not that sensitive, and that with the most sensitive instrument, we would find no absolute equalities in the world. So inequality to me seems more metaphysically foundational, and I would in my mind regard what corresponds in the real world to the abstract equality relation as being rather a significantly low degree of inequality, with abstract equality being a limit case that may ultimately be unattainable in the real world.

But with that being the case, making an ordered sequence of natural numbers, the last idea of the lecture, is not so hard to think foundationally and metaphysically about. We mentioned already the steady flow of time. On its account, for instance, trees make a new “ring” in their trunks each year. Suppose we plant three trees of the same species. After 10 years, we cut down the first one. It has 10 rings, and we keep a slice of the trunk. After 11 years we slice the trunk of the next tree. We count 11 rings. In the first place, we notice an ordered succession (we could have started in fact from 1 and built up to 10 rings). And we see that the 11 rings is quantitatively larger than the 10, because the slice is a little larger. A year later we cut the last tree, which counts 12, and we see it is larger than the 11 ring slice, which is larger than the 10. So on account of the ordered succession of time in the physical world, we can see that our symbolic notion of succession and ordered inequality is not a mere invention of our minds but is something manifestly real about the physical world. So our final list of conceptual foundations are: that the real world has numerical succession (as seen in the effects of time); that the real world has inequality (as seen in physical objects being in relations of imbalance with regard to their weight); that the real world has something that in certain situations is functionally correspondent to abstract equality (as seen in certain instruments demonstrating a relative balance of physical objects, although maybe never being absolutely identical with abstract equality but tending toward it as a limit case); and that numerical sequences of ordered inequality is also something found in the real world (as seen, again, in the effects of time, on phenomena like growth for instance).]

 

 

 

 

Bibliography:

 

 

Wildberger, Norman J. (2009). “What is a number?”.  Part 1 of the course series:  Math Foundations. Video.

 

Youtube page for this video:

https://youtu.be/91c5Ti6Ddio

 

Course Youtube Playlist:

Math Foundations A (1-79)

https://www.youtube.com/playlist?list=PL5A714C94D40392AB

Math Foundations B (80-149)

https://www.youtube.com/playlist?list=PLIljB45xT85DpiADQOPth56AVC48SrPLc

Math Foundations C (150 - )

https://www.youtube.com/playlist?list=PLIljB45xT85AYIeGfDQwHM8i6PQEDnnTI

 

Norman J. Wildberger, youtube channel:

[njwildberger]

Insights into Mathematics

https://www.youtube.com/channel/UCXl0Zbk8_rvjyLwAR-Xh9pQ

 

 

 

 

16 Apr 2009

Pythagoras' Natural Computers: The Wild Cosmic Computation of Melodies and Flowers



We previously looked at how we might characterize the formal principles of a wild logic. We ask now what wild computation would be. Does the wilderness compute numbers? If so, by what means? And what properties characterize it?

I would like to stand natural computation against mechanical computation, for comparison. My broader aim is to see how Deleuze's ideas can contribute to artificial intelligence theory.

Recall that a simple program for a Turing Machine would allow us to automatically compute the natural numbers.

Does nature exhibit anything similar? I propose two possibilities: wave motion's harmonic overtones and the golden ratio. The Pythagoreans were involved in discovering both of these phenomena.

The first principle we need to consider is wave superposition. When wave peaks cross, they add their amplitude. [Click on image for enlargement. Image credits provided at the end. Image 1]



[The source of this image also animates the superposition. Another great animation can be found here]

Prof. Walter Lewin of MIT explains this phenomenon.



If the peaks and troughs line-up, the waves add to each other. When they do not, they interfere and subtract from each other. Most times their allignments are irregular, which creates wilder patterns. [2]



Now consider if we have a wave at one frequency. Then we superpose to it a wave at twice the frequency. That means, for every two repetitions of the faster frequency, it lines-up with each single cycle of the larger frequency. The single and doubled frequencies are shown in purple.[3]



The blue wave-form is their synthesis. We see that it too is regular, but a bit more complex. If we were to take a string at one length, and play it with another string of half the length, we would obtain such a harmonic as above. This was Pythagoras' harmonic demonstration. Prof Lewin describes his discovery.



Pythagoras was able to calculate the harmonic ratios this way. His calculator was a musical instrument, the monochord. [4]



The monochord has one string. You change the pitch by moving the bridge mechanism. Wherever you stop the bridge, that terminates the length of the string. Shorter strings vibrate at higher rates. So shorter strings make higher pitches.

The monochord is an analog computer, like a slide rule. The bridge can find itself anywhere along a continuum of points across the string. So theoretically there are an infinity of possible string lengths, and hence an infinity of possible pitches.

Now, when two strings are of the same length, they produce tones of the same frequency. So if you play them together, the waves superpose and reinforce each other. Pythagoras showed this by playing two monochords with the strings fully open. If we gradually move the bridge toward the end, we can hear the two wave patterns slowly come to match each other. [The video below synthesizes pure sine waves].



The image on the screen displays the waves' synthesized form. You see that at first there is no pattern. Then they reinforce each other, but because they are off, they cancel at regular intervals, called beats. Finally they come together, and there is one solid wave form.

Now we will move the bridge toward the center of one monochord, while letting the other one continue playing at its full length. We want to see where we obtain another strong point of reinforcement. As we near the middle, we will experience that 'beating' phenomenon, but it will not be so pronounced.



Because the smaller string is half the larger one, it makes two waves by the time the larger string finishes one. This causes the waves to reinforce each other once every repetition of the larger cycle, as we saw in this image. This is the octave.



What we find is that the next strongest reinforcement is at one third the length, the next at one fourth the length, the following one at one fifth, and so on. Let's listen to the next three harmonies. The first will occur when the smaller string is at one third the longer one's length. The following one is at one fourth. And the final one is at one fifth.



We find that these harmonic ratios continue along the natural number series. [Click on image for enlargement. Image 5]



Here is a colored version of the image often associated with Nicomachus the Pythagorean's Manual of Harmony. It displays the ratio divisions along the monochord's string. [For more on the harmonic divisions, see Friedrich Nietzsche's lecture on the Pythagoreans] [6]



There is a legend that Pythagoras discovered these ratios first by hearing metal-smith hammers clanging on anvils. He noted the harmonic relations of the different sized hammers. Then he went to a "canon" instrument with strings whose tension was varied by means of different sized weights. [7], [8]





Each successive harmony on the string is another natural number. Hence wave harmonics compute the natural numbers. If we have a vibrating string, we do not need to measure where its midpoint is using a ruler. We can find it by moving the bridge until we reach the octave. The string thereby computes "1 + 1 = 2". The sound harmonics themselves are a precise measuring tool and computation device, sort of like a slide rule.

Although Pythagoras may not have been aware, the vibration of the one whole string already contains in it smaller wave-forms following the natural numbers. Waves are fractals. There is no pure sine wave in nature. Whenever there is a wave-form of a certain frequency, it is a composite wave that is made-up of smaller waves at higher frequencies, but at lower amplitudes. When we see a string vibrating, we see something like this [9]:



It is a blur, but with noticeable regularities in it.

We know that the string moves up-and-down like a jump-rope [10]:



This makes the basic frequency. But traveling within this wave are smaller waves, and they follow the natural number series [11].



And again, all together they make a form that looks something like this, over a period of time:



[See this site for an animation that shows how the wave-forms synthesize on the string.] Here Prof. Lewin explains the discrete values of the "natural frequencies." The subdivisions within a string "go on to infinity."



The reason we note these constituent overtones is because in this way, the string does not just compute the natural numbers, it visually displays them as well, just like slide-rules, abacuses, mechanical computers and electronic ones too. And because each sub-wave is a discretely different numerical value, 1, 2, 3, 4 and so on, the string displays its computation in digital. Here he explains how the harmonics go on infinitely. This is important, because that means in a very short amount of time, the string computes all the natural numbers perhaps to infinity, which would be impossible for any classical digital computer.



Now he will explain that the instrument strings do not just play one frequency, but also its higher harmonic frequencies as well.



Here he will use a device to indicate those higher harmonics.


But still we do not know precisely what are the higher overtones and how strong they are. We want a way to determine that in every wave there are certainly many more that follow the natural numbers. This will assure us that in fact waves do compute the natural numbers, and perhaps even infinitely many of them in a small amount of time.

The means for analyzing-out the constituent wave forms is a method called Fourier analysis. I will leave it for mathematicians to explain how you do it. I cannot. But we just need the results. We want to see with our own eyes the countless natural numbers that nature and the cosmos are calculating in so many places at once.

I found the animations and explanation at Peter Ceperley's site to be very helpful for grasping the basics of Fourier analysis. [the other parts of the site are wonderful too.] But we will follow the essential parts of Professor Lewin's lecture so that we can grasp enough to see the constituent waves.

Here he explains that the string's up-and-down motion is also its back-and-forth. This will lead us into his animation.



[See this page by Peter Ceperley for a helpful animation showing this wave phenomenon.]

We will now see how Fourier analysis allows us to determine the series of smaller frequencies and the amplitudes that superpose to make the larger wave form. In this case we begin with a triangle wave and find the curvy sinusoidal waves that make it up. You will see how waves are always complexes of smaller constituent waves, even though their synthesis only indicates them implicitly. The red wave is the actual wave. The blue waves are all the wave motions who synthesize together to make the red wave.



The peak of the red wave does not come to a triangular point. That is because we would need to include the full infinity of constituent blue waves, each one smaller then the prior, that together will fill-out the full wave-form.

Now Lewin will explain the Fourier analysis for a sound wave that we might find in the air, and not just as a mathematical abstraction. The analysis will show how the wave contains not only its full frequency, but also the first constituent harmonic (at double the frequency), the second (at triple) and so on.



Here he uses a device that can perform the analysis, although not to a great extent.



Below we can see displayed an analysis for a guitar playing a tone at around 300 hertz. Notice the spiking at 600, 900, 1200, and so on. Each spike is another multiple of the original wave. That means there is the fundamental wave, and moving through it are waves of half the size, a third, and so on. So the one guitar wave computed the natural numbers. We here are able to detect it calculating up to 10, but it is conceivable that the string computes them on to infinity.[12]



We investigate Fourier analysis because it shows that indeed waves are already computational engines. They compute natural numbers. The analysis just pulls out the implicit computations, some of which we can see just by looking at the string's motion. Trained musicians in fact can distinctly hear many of the successive overtones in the series.

We only need small moments of the vibration to deduce the numerical ratios that the wave is computing. The series of component waves is infinite. So in a matter of just moments, a wave computes and displays countless (perhaps infinite) natural numbers. This is something that a digital machine could never accomplish, because it can only complete tasks within finite numbers of steps. Even if it is shown that the string's computations are limited, and that digital computers can do better, nonetheless, it is quite remarkable that nature herself is constantly computing natural numbers to begin with. Now consider also how waves are ubiquitous in nature and the cosmos. Some reduce all things to waves or vibrations. The universe is sublimely great. Every moment countless galaxies are computing numbers. The world around us is a staggeringly sophisticated and extensive computer.



I propose another possibility for natural computation: the golden ratio. We can extend this to other naturally occurring irrational numbers like pi, but I begin with phi, the golden number.

The Pythagoreans are credited with discovering the golden ratio (Livio 35). They found it in the proportions of a pentagram.

I am interested in finding natural things that are like calculators in way that is similar to how an abacus or slide rule is a calculating device. The monochord string was one option. Now I propose a flower or other plant whose growth pattern follows the golden ratio.

Euclid defines the golden ratio in the third definition of the fourth book of his Elements:
A straight line is said to have been cut in extreme and mean ratio when, as the whole line is to the greater segment, so is the greater to the less.



We see that we are dealing with an analogy. But normally analogies have four components:
a is to b as c is to d
This also formulates a proportion.

Just a ratio is one value taken in relation to another value:
a/b
A proportion is one ratio taken in relation to another ratio:
a/b = c/d
The golden ratio seems like it can be expressed as a proportion:
a+b / a = a/b
We see that we only have two terms. So on the one hand it is just a ratio; there are only really two terms that are being related. However, they are related in such a way that the relation itself self-relates. What we see is that the microcosm (a/b) is proportional to the macrocosm (a+b / a). The way that the whole relates to its larger part is the same as the way its larger part relates to the smaller one. What interests us here are not the terms, but the relations between them. We obtained this harmony with a middle term, a, the larger part. The larger part acts both as the smaller to one value, and the larger to another. But that relation in both cases is proportional. The golden ratio is magical because it is a self-proportional proportion.

Suppose we just cut the line in half. Then the whole relates to one of its parts as 2:1, but the one part relates to the other part as 1:1. Here the ratio does not find itself within itself. There is only one very precise division that produces the golden ratio. So the golden ratio is not so easy to calculate. It is a very sensitive determination. In fact, it is so sensitive that it cannot be determined precisely, at least with digits. Like all irrational numbers, when we try to display the digits of its decimals, we continually carry and carry to the next lower digit place, never arriving upon the last one.

Certain flowers and plants compute this ratio in their growth pattern. They shoot-out new branches one-by-one as the stalk grows upward. Some plants send out branches at golden ratios. Somehow the plant just naturally computes and displays a number that no digital computer could ever calculate.

If we were to divide a circle's circumference into goldenly divided parts, we would obtain the following proportion. [14]



We can approximate the angle. [15]



Many plants shoot-out new limbs each time at the golden angle. [16]



From 1 to 2 is the golden angle. From 2 to 3 is also the golden angle. 3 to 4 as well, and so on. After a while we obtain an interesting and pleasant formation. [17]



We can see how it calculates the golden ratio and displays it to us. [18]



We can also see that the golden 'phyllotaxis' in this case produces two sets of spirals going opposite directions. [19], [20]





Some other plants display the golden spirals more prominently. [21], [22]





Now, one might be unimpressed: nature only computes and displays the golden ratio in select species of plants. But recall the last time you poured cream into hot coffee. It spiraled. Your coffee displayed the golden ratio. That spiral can be found in hurricanes. In fact, our galaxy is such a spiral. [23]



Mathematician Benoit Mandelbrot is even said to have calculated that all the galaxies in the universe are arranged in such a spiral form. Spirals within spirals within spirals. Calculators upon calculators, all throughout the cosmos.

Someone else might object that in none of these examples does the phenomenon display the ratio precisely, because on some very small level at least, it will be off by a little bit. I respond in two ways.

1) Perhaps if we averaged every 'imprecise' manifestation of the golden ratio throughout the cosmos over the course of its eternity, we would have a precise calculation of the golden ratio.

2) What is remarkable in the very least is how these natural computers are tending to display the ratio precisely, or seemingly trying to. Now also consider the Fibonacci sequence, 1, 1, 2, 3, 5, 8, 13, 21, and so on. We add the prior number to any given number to obtain the following number. If we make a ratio between any two neighboring numbers, we obtain an approximation for the golden ratio. As the numbers get bigger, the approximation becomes more accurate. Many things in nature proceed according to the Fibonacci pattern. The pattern is tending toward an absolutely precise rendition of the golden ratio, as it goes on to infinity. But that tendency is there from the start. So things in nature that display the Fibonacci sequence and proceed developmentally in accordance with that pattern also exhibit the tendency toward an absolutely precise rendition of the golden ratio.


We examine natural computation to compare it with automated artificial computation using digital mathematics. If at all nature computes, that is remarkable enough, given that we consider computation to be an artificial human invention. But what is more remarkable is that

a) natural computers might be more computationally powerful than artificial digital ones, because natural ones seem to compute infinitely complex numbers in just instants when it would take a digital computer an eternity, and

b) natural computations make-up very much of the dynamics of the cosmos and nature, so much so that it lends evidence to the Pythagorean claim that all is number and Becoming is calculation. Consider also how many things such as bubbles tend toward a spherical form. We also spoke of sinusoidal waves that make-up every actual complex wave in nature. These formations involve circular geometries, which means a bubble for example calculates pi. But pi is also an irrational number that cannot be computed digitally. And yet, so much in the cosmos tends toward spherical shapes.

Lastly, I would like to address the question of whether natural computation is "wild" or not. Wild computations would be ones that follow a deterministic pattern but that are marginally thrown-off their deterministic track by natural (and not mathematical) random interferences. We said that natural computers are precise in their tendencies. In their actualities, they might always be wild. Nature computes irrational numbers. Such numbers cannot be computed and displayed digitally, because there is something about them that always defies determination. In other words, nature is a computer that defies determinism. Nature and the cosmos at heart are wild computers.




Livio, Mario. The Golden Ratio: The Story of Phi, the World's most Astonishing Number. New York: Broadway Books, 2002.

Peter Ceperley's wave site table of contents:

Wonderful animations and explanations at the University of Salford site:

Video from:

Images from:
[1]

[2]

[3]

[4], [5]
Guthrie, Kenneth Sylvan. The Pythagorean sourcebook and library : an anthology of ancient writings which relate to Pythagoras and Pythagorean philosophy. Grand Rapids (Mich.): Phanes, 1987. ISBN: 0-933999-51-8

[6]

[7],

[8]

[9], [10], [11]
Jones, George Thaddeus. Music Theory. New York: Harper & Row, 1974.

[12]

[13]

[14]

[15]

[16]

[17], [19], [20]

[18]

[21]

[22]

[23]