Peano arithmetic is enough, because Peano arithmetic encodes computation

Published: June 13, 2025

abstract-business-code-270348

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

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

Points: 1

# Comments: 1