Computable number
A real number is called computable if its digit sequence can be produced by some algorithm. The algorithm takes a natural number n as input and produces the n-th digit of the real number's decimal expansion as output. A complex number is called computable if its real and imaginary parts are computable.The computable numbers form an algebraically closed field, and arguably this field contains all the numbers we ever need in practice. It contains all algebraic numbers as well as many known transcendental mathematical constants. There are however many real numbers which are not computable: the set of all computable numbers is countable (because the set of algorithms is) while the set of real numbers isn't (see Cantor's diagonal argument).
While the set of computable numbers is countable, it cannot be enumerated by any algorithm, program or Turing machine. Formally: it is not possible to provide a complete list x1, x2, x3, ... of all computable real numbers and a Turing machine which on input (m, n) produces the n-th digit of xm. This is proved with a slight modification of Cantor's diagonal argument.
Every computable number is definable, but not vice versa. An example of a definable, non-computable real number is Chaitin's constant, Ω.
References:
- Alan Turing, On computable numbers, with an application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, Series 2, 42 (1936), pp 230-265. online version (http://www.abelard.org/turpap2/tp2-ie.asp). Computable numbers (and Turing machines) were introduced in this paper.
He guessed that Hooty had flown away. Still he remained right where
chances. So he waited and waited and waited.
At last he was sure that Hooty had left. Once more he climbed up to
even his nose outside. Then, just as he had made up his mind to go/go.html">go out,
heels over head down on his bed.html">bed.
Whitefoot didn't go out that night.html">night at all. It was a moonlight night
his little bed and shivered and shook, for all through that long
that stub.
CHAPTER XXIV: Whitefoot The Wood Mouse Is Unhappy
Unhappiness without a cause you never, never find;
- Whitefoot.
Whitefoot the Wood Mouse should have been happy.html">happy, but he wasn't.
Green Forest. Every one was happy, Whitefoot no less.html">less so than his
friends and at once began planning new homes. Twitterings and songs
Whitefoot became sleek and fat.html">fat. That is, he became as fat as a
discovered his new home, and he had little to worry about.
But by and by Whitefoot began to feel less joyous. Day by day he
fine home. He began to wander about for no particular reason.
habit.html">habit of doing. At times he would sit and listen, but what he was
me, and I don't know what it is," said Whitefoot to himself forlornly.
Yet there is something wrong with me. I'm losing my appetite.
what it is I want."
He tried to tell.html">tell his troubles to his nearest neighbor, Timmy the
Rabbit happened along, Whitefoot tried to tell him. But Peter
Green Forest to listen. No one had any interest in Whitefoot's
and when the dusk of early evening came creeping through the Green
as he had been in the habit of doing. The beautiful song of Melody
.
On
wordlookup.net
All is still licensed under the GNU FDL.
It uses material from the wikipedia.
|
|