Let's make sure that we are all talking about the same things here. Starting with what a mathematician calls the different sets of numbers and the size of the various sets.
1. Natural numbers or Integers are the basic counting numbers 1,2,3....
The size of the set of integers is said to be countable infinite.
2. Rational numbers are set of all fractions, 1/1, 1/2, 1/3, 1/4...
By creating a grid numbered with the Integers along the sides and top
/..1...|.2..|.3..|.4..|....
1 1/1,2/1,3/1,4/1...
2 1/2,2/2,3/2.4/2...
3 1/3.2/3.3/3,4/3
4 1/4,2/4,3/4,4/4
.
.
.
The intersection of each column & row forms a fraction of the row, column numbers, you can now start a line through the table in a diagonal fashion which hits every cell, for the above table the order would be 1/1,1/2,2/1,3/1,2/2,1/3,1/4,2/3,3/2,4/1,as you pass through a cell it can be assigned a Integer, thus the set of Rational numbers can be placed in a one to one correspondence with the counting numbers, this means it is a countable infinite set.
3. The Real numbers is the set formed by creating all possible finite and infinite length subsequences of integers (and a single '.' per number). Using a slight variation on the diagonal argument, as described in other posts of this thread, this can be shown to be a larger infinite then the countable set of Natural numbers, it is said to be UNCOUNTABLE infinite.
4. The Irrational numbers. The Real numbers contain as a subset the decimal representation of the rational numbers , delete this subset from the set of Reals and what is left is the Irrationals. The Irrationals also form an uncountable infinite set. The easiest way to see this is that by removing a countable infinite set from an uncountable infinite set, what is left is still uncountable. (Clear as mud, huh.~^)
Ok now lets look at PI, There is a countable infinite set of digits in PI, each digit has a place value defined by 10^-N, Since N is an integer each digit can be placed into a one to one correspondence with the Natural numbers. Now can we count the number of subsequences in PI? I have been very careful to specify FINITE length subsequences so that should mean that we could consider each subsequence a real number, now since I have specified that they be finite length subsequences they are all TERMINATING numbers therefore they are all RATIONAL, so the set of finite length subsequences in PI cannot be bigger then the set of Rational numbers, i.e. a countable infinite set.
Can I prove that every rational number can be found embedded in PI, absolutely NOT, still seems possible though.
Becks2k the definition of a transcendental number is that it is not Algebraic, that is why we cannot make the claim you are trying to make. Remember that by definition PI is the ratio of 2 MEASURED numbers. Ancients noted that their value of PI was only as good as their measurments.
'bout sums it up.
Ross