Numbers Options

Equal definitions could be supplied applying μ-recursive features, Turing devices or λ-calculus. The computable numbers are stable for all regular arithmetic functions, including the computation of the roots of the polynomial, and thus type a true shut industry that contains the true algeb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15