Comment by Huxley1

I was pretty amazed by how expressive Peano Arithmetic is when I first started using it. At first it just seems like a basic system, but once you realize that computation itself can be encoded inside PA, and that it can simulate many kinds of computation, things that felt complicated start to click.

Does anyone have recommendations for beginner-friendly resources that explain these encoding techniques?