Krdytkyu

No matter how many digits of an irrational number you know, there will be an infinite amount of irrational (and even rational!) numbers that start with those digits. So your 'formula' will only give you one of them.

Also, there are a lot more (in a very specific sense) irrational numbers than formulas (of finite length, as Brian Tung pointed out).

If the irrational number is algebraic of degree two (i.e. is a root of a quadratic polynomial with integer coefficients), then there is a fairly reliable way to make an informed guess about the original value. Your sample case falls into this category, being equal to $10^{16} sqrt{13} - n$ for some integer $n$. It's important to note that the vast majority of irrational numbers don't fall into any special category, let alone this particular one.

You will want to look up continued fractions. If the irrational is of the very special type I described above, then the continued fraction will be eventually periodic (infinitely repeating), very analogous to a decimal expansion being periodic for rational numbers.

Now, granted, if you only have a finite number of digits you can only extract a finite number of terms in the continued fraction expansion, so you can never have enough precision to be absolutely sure of the number's identity. Nevertheless, if you have 10000 digits you can likely extract thousands of terms. If you see that the terms look like, say,

$$[3; 1, 4, 1, 5, 9, 2, 6, 5, 3, 5, 8, 9, 7, 9, 3, 23, 8, 4, 3, 23, 8, 4, 3, 23, 8, 4, 3, 23, 8, 4, 3, 23, 8, 4, ldots]$$

and that the patten of "8, 4, 3, 23" continues repeating thousands of times until you reach the precision allowed by your input sample, it would be reasonable to guess that it continues forever, and then there are simple ways to compute the exact value that it would be assuming that is the case.

If you know it's a square root and have a rough bound, you can indeed find it.
Let's say $sqrt{x} = 10^{-16} (y + z)$ where $y$ is a positive integer and
$0 < z < 1$ (so the digits of $z$ are the digits of $sqrt{x}$ from the $16$'th on). You know many of the digits of $z$, but not $x$ or $y$.
Thus $z = 10^{16} sqrt{x} - y$ satisfies the quadratic equation
$$ z^2 = b - a z $$
where $$eqalign{b &= 10^{32} x - y^2cr
a &= 2 ycr}$$

In your example, suppose we know the 84 digits of $sqrt{13}$ after the first $16$:

$$ z = 0.9311922126747049594625129657384524621271045305622716694829301044520461908201849 $$

We don't know $13$, but we suspect $x$ is not too big, so $a$ (and thus also $b$) should be something on the order of $10^{16}$.

Using Maple's PSLQ function with Digits = 64, we find an approximate integer relation between $1$, $z$ and $z^2$:

$$-67149225402228336 + 72111025509279784 z + z^2 approx 0$$

from which we get

$$ eqalign{ y &= 72111025509279784/2 = 36055512754639892cr
x &approx (-67149225402228336 + y^2)/10^{32} = 13cr}$$

If the search is limited to the square roots of integers, the answer is positive: it suffices to compute all square roots in turn and try and match the decimals. If the given digits were really taken from a square root, the search will find it. If they were taken "randomly", the search may probably find a number as well.

Needless to say, this is just a theoretical approach as this might take a huge amount of time/resources.

ETA2: Sorry, I misread the question to mean that the number could be any irrational value, not the square root of an integer. Read on with that in mind...

I think there are only heuristics. This site

https://isc.carma.newcastle.edu.au/

(called the Inverse Symbolic Calculator) may be relevant to your interests.

ETA: I think what it does is recursively construct expressions from a large database of atomic values and sort them by best match. So there's not much theory behind it, I don't think—just best effort.

You may also be interested in Dirichlet's Approximation Theorem:

https://en.wikipedia.org/wiki/Dirichlet%27s_approximation_theorem

and Hurwitz's Theorem:

https://en.wikipedia.org/wiki/Hurwitz%27s_theorem_%28number_theory%29

A slightly more complicated way of thinking about it, but an interesting one I think, is the following. Any compact (closed and bounded) subset of $mathbb R$ is in bijection with every other one*. Suppose you know the first $N$ digits. Then the possible remaining numbers form a compact subset of $mathbb R$, in particular (wlog your numbers are in $[0,1]$ for typesetting ease!) $$[0.(r_1)(r_2)...(r_N), 0.(r_1)(r_2)...(r_N+1)].$$
(Note that there are some fiddly technicalities if the last digit it $9$, and note that $0.9999... = 1$.) Thus you still have the same "quantity" of numbers left -- more precisely, you still have the same cardinality. Thus you have "no" more information, in the sense that if you were to guess, you'd still have probability $0$ of being correct.

It's well known (I assume) that in the p-adic coefficient of a natural number:
$$d_{n,p,j}=
Bigllfloor{n,{p}^{,j- {lfloor
ln_p(n)rfloor} -1}} Bigrrfloor-pBigllfloor{n,{p}^{,j- {lfloor
ln_p(n)rfloor} -2}} Bigrrfloor$$
$$quadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadoperatorname{(1)}$$
as seen in the p-adic expansion of that number:
$$n=sum_{j=1}^{lfloor
ln_p(n)rfloor+1}d_{n,p,j},p^{,lfloor
ln_p(n)rfloor+1-j}quadforall n in mathbb N$$

can likewise be used to separate any positive real number into it's integer and fractional parts:

$$lfloor xrfloor=sum_{j=1}^{lfloor
ln_p(x)rfloor+1}d_{x,p,j},p^{,lfloor
ln_p(x)rfloor+1-j}quadforall x in mathbb R^{+}$$

$$quadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadoperatorname{(2a)}$$
$${{x}}=sum_{j=lfloor
ln_p(x)rfloor+2}^{infty}d_{x,p,j},p^{,lfloor
ln_p(x)rfloor+1-j}quadforall x in mathbb R^{+}$$

$$quadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadoperatorname{(2b)}$$

What this should demonstrate to you is that decimal expansion is well ordered, and you can use this process above to compute any number of decimal places you like, however as has been stated in previous answers, you can find any number of numbers, rational, irrational, algebraic or transcendental, that are a linear combination of numbers including the one that has the decimal expansion you have computed a portion of in the manner above, but even if you hypothetically computed the number's decimal expansion to infinity, or it's p-adic expansion for any natural number $p gt 1$ for that matter, this will never provide you with a conclusive result regarding the number's rationality.