Showing posts with label Incompleteness Theorem. Show all posts
Showing posts with label Incompleteness Theorem. Show all posts

Monday, October 1, 2012

Clothes maketh the man

"When the power of love overcomes the love of power,
the world will know peace.
" ~ Jimi Hendrix
 
 
 
 
 
 
Hans Christian Andersen gives us a tale, among many, that concerns a certain Emperor. This Emperor desired clothes suitable for his noble standing and prodigious authority; two wily tailors claimed that they had such garments, possessed of this property - that only persons of the wit and nobility of the Emperor would be able to see them. Accepting the Emperor's gold, they proceeded to drape him in entirely imaginary raiment, before leading His Imperial Majesty to a mirror. Unable to admit that he saw himself naked - mindful that only a mean and ignoble mind would see him thus - the Emperor confessed himself delighted, and went forth among his courtiers. They, like their Emperor, were unwilling to admit what was right before their eyes; bound by convention, by fear, by orthodoxy, they all gathered round and praised the wholly fictitious new clothes. A parade was arranged, the better to display the Emperor's wonderful new clothes to his subjects; as it happened, one of these was a small boy, too foolish to have accepted the conventional wisdom, who cried out "the Emperor is naked!" Horror turned to hilarity as the crowd accepted the boy was right; the power of the Emperor was broken, and he was humiliated.
 
There is a lesson here when we consider the Fourth Key of the Major Arcana, also The Emperor. Where the Empress denotes the natural energy of qi, the Emperor represents the shaping and harnessing of energy, the imposition of will upon the world, the establishment of order. Malaclypse the Younger might remark that the Empress reflects upon the Eristic Illusion, while the Emperor reflects upon the Aneristic Illusion. The truth, as we might guess, is neither of these illusions, and also both.
 
Although the Emperor is the Fourth Key, he is the fifth card in the Major Arcana. The Law of Fives tells us that he should have some significance as a result, but we should be alerted by the presence of the Zeroeth Key that the significance here can be misleading. Parasimplicity necessarily entails doubt, which is another restatement of Godel's Incompleteness Theorem. All the same, the stability - the permanence - of The Emperor is another characteristic of the transcendent, and it is interesting to note that the card, self-similarly perhaps, has undergone rather less transformation down the ages than other members of the Arcana. The hidden weakness beneath the apparent strength of The Emperor is the one alluded to in that Andersen fairy tale: namely, that his belief in his own power blinds him to the existence of anything beyond it. Being merely puissant, the Emperor believes himself to be, in King James' memorable phrasing, a "little God on Earth." His inflexibility in a world of flux renders him susceptible to obsolescence.
 
The Emperor is a cautionary tale; emblematic of structure, he carries the implicit reminder that all that can be made, can be unmade. As Solomon's ring reminded him: Gam Zeh Ya'avor.

Sunday, September 16, 2012

The asymptote of reason


“Science may set limits to knowledge, but should not
set limits to imagination
” ~ Bertrand Russell

 

Another important mathematician, who produced another important and paradoxical result, was the Austrian Kurt Godel. Where Mandelbrot considered the objective realm, and applied mathematical models to understanding it, Godel’s focus was on the subjective – he was a logician, and he was investigating how we form an understanding of the world rather than what that world might objectively be like.

We could argue that Godel and Mandelbrot were considering the same substance from opposite sides – that Mandelbrot was actually modeling subjective representations and Godel in truth modeling objective realities; we tend to assume that there is a high degree of concordance between subjective representations we can all intersubjectively communicate and objective entities we can all subjectively observe. This is not necessarily the case, as Descartes found to his dismay, and that is why I draw the distinction here between the logical models of Godel and the applied mathematics of Mandelbrot.

When we talk about a logic, we are talking about a framework in which statements represent either properties or relations of entities – this is why I say a logician deals with the subjective realm, because of course the Cartesian theater is constructed out of these same substrates. A logic consists of axioms, and rules for deriving statements from these axioms, and for assigning these statements some truth value. The most commonly understood forms of logic are bivalent, taking truth values of True or False – and, commonly, what we understand to be true is really just that which we observe to be agreed upon. This is not a particularly logical way of considering truth, as it happens, and we’ll come back to talk some more about the consequences of that later.

For right now, we’re going to follow Godel in the examination of a particular question about logic: how far can a logic go? Is it possible for us to conceive of a logic which allows us to examine every possible statement and assign it a truth value?

Godel was looking at logics that could describe arithmetical properties and relations; Mandelbrot’s work indicates that such properties and relations are sufficient to describe very complex processes in the natural world (indeed, Mandelbrot’s work has applications in many fields including sociology and econometrics). Accordingly, his conclusion that in fact no logical system could completely and consistently describe the natural numbers – and, by extension, the world, although Godel himself didn’t go that far with it – says something very important about the limits of human knowledge.

Godel actually devised a whole new numbering system in pursuing his complex proof of the undecidability of certain formal mathematical propositions, but we don’t need to in order to grasp the central idea. We can use a thought experiment to produce the same result.

Consider the case where we actually can design a thorough logic for assigning a valid truth value to any statement – such a logic is programmable into a computer, and allows us then to build a Universal Truth Machine. Any question we put to the Universal Truth Machine can be parsed by it, analyzed with its powerful logic, and identified as True or False.

Suppose now that we test our Universal Truth Machine, and give it this statement to chew on: “the Universal Truth Machine will find this statement to be false.” The Universal Truth Machine can understand this statement, but it can only find it to be false if the statement is in fact true, and its programming defines True and False as exclusive opposites. By the same token, the Universal Truth Machine cannot find the statement true unless it is in fact false. Therefore, our machine cannot give an answer – cannot prove the statement – and so cannot, in fact, be universal.

Godel’s genius was in formalizing a statement that can be represented in any sufficiently developed logic, and that proves for any logic that it somewhere hits this problem. It must, therefore, be either incomplete – being unable to prove the Godel statement – or inconsistent – being able to prove that it is simultaneously true and false without crashing. This fascinating result leads to the peculiar conclusion that our own brains, which encode sufficiently developed logic to model the world, are themselves subject to Godel’s Incompleteness Theorem. That’s a rabbit-hole for another day, however.