i just want to kknow how do u write x^n in first order lang?

Printable View

- May 26th 2011, 04:17 AMikurwae89how to write z=x^n in terms of first order peanos aritmetic?
i just want to kknow how do u write x^n in first order lang?

- May 26th 2011, 05:03 AMemakarov
It's possible, but not trivial. The idea is to construct a sequence 1, x, x^2, ..., x^n and encode it in a single number. Encoding of sequences and operations on them can be done using Gödel's beta-function. See Definition 3 the following on this page (one of the first Google results for "exponentiation Peano Arithmetic").

In general, every computable function is representable by a formula in Peano Arithmetic.