Peano arithmetic is enough, because Peano arithmetic encodes computation

[btilly]

Article URL: https://math.stackexchange.com/a/5075056/6708

Comments URL: https://news.ycombinator.com/item?id=44269822

Points: 68

# Comments: 15