Re: Cantorian pseudomathematics

MoeBlee wrote:

> If all formulas must predict the results of
> a computational experiment, then, for example, what computational
> experiment and what results are predicted by the formula 'pi is
> irrational'?

Presumably if we examine the proof of the statement "pi is irrational",
we could come up with a function 'f' such that
for all m,n, |pi - m/n| < f(n),
and that clearly makes predictions about the results of computational
experiments. If we cannot come up with such a function, then the
meaning of the statement is somewhat vague.

.

Loading