This statement is false; the epimenides paradox

Reads: 320  | Likes: 0  | Shelves: 0  | Comments: 0

More Details
Status: Finished  |  Genre: Non-Fiction  |  House: Booksie Classic
What can Kurt Godel a mathematician, M.C. Escher a graphic artist and Johann Sebastian Bach the famous composer have in common?

Submitted: August 25, 2015

A A A | A A A

Submitted: August 25, 2015

A A A

A A A


This statement is false

The Epimenides Paradox

What can Kurt Godel a mathematician, M.C. Escher a graphic artist and Johann Sebastian Bach the famous composer have in common? Intending to write an essay about Godel’s theorem, Hofstadter gradually expanded this to include Bach and Escher until finally he realized that the works of these men were in essence shadows cast in different directions by some central theme.

A single musical theme can be played against itself by say having copies of the theme played by various participating voices to create what is known as a Canon. Songs such as Frere Jacques or Row, Row, Row Your Boat are examples of Canons. Frere Jacque for example, enters in the first voice and after a fixed time delay; a copy of it enters, in not necessarily the same key. After the same fixed time delay in the second voice, the third voice enters carrying the theme, and so on. In order for the theme to work (as a canon theme), each of the notes must be able to serve as a dual (or triple, or quadruple) role: The notes must be part of a melody as well as part of a harmonization of the same melody.

When there are three canonical voices, for instance, each note of the theme must act in two distinct harmonic ways, as well as melodically. Thus, each note in a canon has more than one musical meaning. The human brain will automatically figure out the appropriate meaning, by referring to context.

However, copies of the theme can be staggered not only in time, but also in pitch. The first voice might sing the theme starting on C, and the second voice overlapping the first voice, might sing the identical theme starting five notes higher, on G. It is also possible that speeds of the different voices might not be equal. That is, the second voice might sing twice as quickly, or twice as slow, as the first voice. The former is called diminution, the latter augmentation (since the theme seems to shrink or to expand). To complicate matters, it is also possible to invert the theme which means the second voice jumps down wherever the first theme jumps up, by exactly the same number of semitones.

Bach was especially fond of inversions, and they show up often in his work. Finally, the most esoteric of copies is the retrograde copy. This is where the theme is played backwards in time. It should be noted at this point that all the copies mentioned preserve all information in the original theme. The original theme is fully recoverable from any of the copies. This is in a information preserving transformations or isomorphisms.

A fugue is like a canon, in that it is based on the theme which gets played in different voices and different keys, speeds, directions etc. However, the notion of fugue is much less rigid than that of canon, and consequently it allows for more emotional and artistic expressions. Strange Loops are demonstrated by Bach’s musical offerings to the king called "Canon per Tonos." This theme has three voices with the lower of the voices singing in C minor. This is the key of the canon as a whole.

What makes this theme different however is that when it concludes, or, rather, seems to conclude, it is no longer in the key of C minor, but now is in D minor. Bach has somehow changed keys right under the listener’s ear. It is also so constructed that the ending ties smoothly onto the beginning again only this time one key higher. After exactly six such modulations, the original key of C minor is restored. The strange loop phenomenon occurs whenever, by moving upwards, or downwards through the level of some hierarchical system, we unexpectedly find ourselves right back where we started. Strange loops occur over and over again in this book.

For many years, mathematicians were among the first admirers of Escher’s drawings. One of the most powerful visual realizations of the notion of strange loops are presented in the work of Escher. Many of the drawings have their origins in paradox, illusions, or double meaning. However, strange loops are the most recurrent themes in Escher’s work. Escher’s 1961 lithograph "Waterfall" is compared to Bach’s "Canon per Tonos".

The Waterfall is an illustration of a six-step endlessly falling loop. The concept of "Loop Tightness" is introduced by comparing it to levels in the strange loop. For example, both Bach’s "Canon per Tonos" and Escher’s "Waterfall" are six-step strange loops. As the loop is "tightened", the example of the "Drawing Hands" is illustrated; here, each of the two hands draws the other: a two-step strange loop. Finally, the tightest of all strange loops is realized in "Print Gallery." This is a picture of a picture which contains itself. Hofstadter asks; or is it a picture of a gallery which contains itself? Or of a town which contains itself?

Intuition senses that there is something mathematical involved in both Bach’s and Escher’s works. In fact, just as the Bach and Escher loops appeal to the very simple and ancient intuitions - a musical scale, a stair case - so the discovery, by Godel of strange loops in mathematical systems. Godel’s discovery (in its absolutely barest form) involves the translation of an ancient paradox in philosophy into mathematical terms.

The statement, "This statement is false", is usually considered a fair demonstration of the Epimenides Paradox. If you tentatively think it is tree, then it immediately backfires on you and makes you think it is false, but once you decide it is false, a similar backfiring returns you to the idea that it must be true. The Epimenides paradox is a onestep strange loop, like Escher’s Print Gallery. But how does it have to do with mathematics? That’s what Godel discovered.

Godel’s idea was to use mathematical reasoning in explaining mathematical reasoning itself. This notion of making mathematics "introspective" proved to be enormously powerful. Godel’s greatest work resulted in "Godel’s Incompleteness Theorem". This theorem appears as proposition VI is his 1931 paper "On Formally Undecidable Propositions in Principia Mathematica and Related Systems."

To ever w-consistent recursive class k of formulae there corresponds recursive class-sign r, such that neither v Gen r nor Neg(v Gen r) belongs to Fig(k) (where v is the free variable of r). This was actually presented in German, and you may feel that it might as well be in German anyway. In English;  All consistent axiomatic formulations of number theory include undecidable propositions.

The proof of Godel’s incompleteness theorem hinges upon the writing of a self-referential mathematical statement, in the same way as the Epimenidies paradox is a self-referential statement of language. But where it is very simple to talk about language in language, it is not at all easy to see how a statement about numbers can talk about itself. The difficulty arises when we consider that mathematical statements (Number theoretical) are about properties of whole numbers. Whole numbers are not statements, nor are their properties. A statement of number theory is not about a statement of number theory; it just is a statement of number theory.

Godel had the insight that a statement of number theory could be about a statement of number theory, if only numbers could somehow stand for statements. The idea of a code was therefore emerging. In the Godel code, usually called "Godel-numbering", numbers are made to represent symbols and sequences of symbols. Each statement of number theory, being a sequence of specialized symbols, acquires a Godel number, something like a telephone number, by which it can be referred to. This coding scheme allows statements of number theory to be understood on two different levels.

  1. As a statement of number theory and
  2. As statements about statements of number theory 

Godel finally transplanted the Epimenidies paradox to the statement "This statement of number theory does not have any proof" or more correctly, "This statement of number theory does not have any proof in the system of Principia Mathematica." Where’s the Epimenides statement creates a paradox since it is neither true or false, the Godel sentence on the other hand is unprovable inside Principia Mathematica but true. Hofstadter proceeds to place Godel’s work in its historic background. Russell’s, Grelling’s, Whitehead’s and Hilberts works are touched on. I know of no better explanation than what this book provides in describing Godel’s achievements and of the implications of his revolutionary discovery. That discovery concerns in particular recursion, self-reference and endless regress.

Each Dialogue is patterned on a composition by Bach. For example, if the composition has three voices, so does the corresponding conversation. If the composition has a theme that is turned upside down or played backwards, so does the particular conversation. Each dialogue states, in a comic way (Lots of word play), the themes that will be further explored in the chapter that follows. Examples of strange loops, loops that exemplify the self-reference includes the following impossibility.

The following sentence is false

The preceding sentence is true

Taken together, the sentences have the same effect as the original Epimenides paradox (or reminiscent of Drawing Hands) yet separately, they are harmless. Nevertheless, we who see the "picture" or statement as a whole can escape the paradox by "Jumping" out of the system to view it from a meta- level, just as we can escape the traditional paradox of logic by jumping into a meta-language.

The idea of recursion can be demonstrated bymusical patterns, linguistic patterns, mathematical functions, computer algorithms etc. The proceeding Dialogue "Little Harmonic Labyrinth" to the section on recursion is about stories within stories. The frame or outer story is left open, instead of finishing as expected, thus leaving us dangling without resolution. How meaning is split among coded messages is found with examples including strands of DNA and un-deciphered inscriptions on ancient tablets. The relationship of intelligence to "absolute" meaning is postulated.

In the proceeding Dialogue, Achilles and the Tortoise try to resolve the question, "which contains more information - a record, or the phonograph which plays it." A chapter discusses the ideas of Zen Buddhism. Hofstadter suggests that in a way, Zen ideas bear a metaphorical resemblance to some contemporary ideas in the philosophy of mathematics. Godel’s theorem is visited. Brains and Thought is the title of chapter XI. Here, the question; "How can thoughts be supported by the hardware of the brain" is asked. An overview of the large and small scale structure of the brain is given. The relationship between neural activity and concept is discussed.

The Church-Turing thesis, which relates mental activity to computation, is presented in several ways. These are analysed in view of their implications for simulating human thought mechanically. A discussion of the famous "Turing test" opens a chapter on Artificial Intelligence. A Dialogue is found where the idea of how we unconsciously organize thoughts so that we can imagine hypothetical variants on the real world all the time makes the subject matter. 


© Copyright 2017 Jack Dikian. All rights reserved.

Add Your Comments: