Un corto prefacio:
Estoy leyendo el libro Gödel Esher Bach: Eternal Golden Braid, se describe un sistema que se llama Tipográfica de la Teoría de números. Hay una pregunta en el libro que le pide a representar una declaración que "b es un el poder de dos" en términos de TNT. Usted probablemente va a reconocer el las operaciones de TNT a la vez, así que voy a pasar mucho tiempo describiendo, sólo lo que es relevante.
He aquí la fórmula que se me ocurrió (y la interpretación, en el caso de que tengo la fórmula incorrecta):
$$ \forall{un}\forall{b}\existe{c}\forall{d}\existe{e}:<<(b=Scc)\de la tierra\lnot(b*d=a)>\de la tierra(a=e*SS0)> $$
The $<$ and $>$ symbols are used to delimit the logic expressions. $S$ stands for successor of, so $S0$ is 1, $SS0$ is 2 and so on. $Sx$ is a successor of $x$ whatever $x$ is.
In plain language, the formula above is meant to say: "whatever $b$ is, given it is a sum of any two $c$ and one (that is if $b$ is odd) it is not the case that it multiplied with any number $d$ can produce $a$ (does not divide $a$). Yet there have to be such number $e$ which if multiplied by two will produce $a$ ($a$ es aún).
No estoy pretendiendo tener ninguna formación académica, por lo que por favor me disculpe si la formulación es pobre!
