Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have seen examples of irrational numbers that are expanded on the right, after the decimal point:

e.g. $\pi = 3.14159265...$

But can we expand numbers on the left side as well?

e.g. Is $82757395734548...5473987349857348.0$ with digits bijective to $\mathbb{N}$ a number?

Syntactically, does an element of a free monoid with the set of generators being the decimal basis represent an irrational number or any number at all in decimal basis? Where can I find more about these numbers?

share|cite|improve this question
up vote 8 down vote accepted

I suggest you look into p-adic numbers, which is the most well-known way to make sense of "numbers notated with an infinty of digits to the left". But it's not exactly what you're proposing here.

Your idea about monoids is a red herring, I'm afraid. The free monoid contains only finite words, which in this context encode the ordinary finite integers.

And notice that "3.14159265..." is not really syntax. The real decimal expansion of $\pi$ is an infinitary object that can't be written down in full, so "3.14159265..." is either just an evocative hint of the real thing or a practical approximation.

share|cite|improve this answer
Thanks for the correction on monoids, I did not realize that the words were only finite although arbitrarily large. – Dávid Tóth Mar 28 '13 at 14:10

What you find is called a $p$-adic number.

share|cite|improve this answer
For $p=10$ maybe? – Marc van Leeuwen Mar 28 '13 at 14:03
Of course, not! But I don't think that OP wondered just decimals. – Boris Novikov Mar 28 '13 at 14:28

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.