Quantcast
Channel: Primitive recursive function which isn't $\Delta_0$ - Mathematics Stack Exchange
Viewing all articles
Browse latest Browse all 2

Primitive recursive function which isn't $\Delta_0$

$
0
0

What is the simplest/cutest example (and/or example with the most student-friendly proof that it is an example) of a primitive recursive function which isn't representable by a $\Delta_0$ wff?


Viewing all articles
Browse latest Browse all 2

Latest Images

Trending Articles





Latest Images