login sign up

Peano arithmetic is enough, because Peano arithmetic encodes computation

math.stackexchange.com · first added by @hn_wayback
saved by
1 person
discussions · 1
Peano arithmetic is enough, because Peano arithmetic encodes computation 244 pts · 139 comments · Jun 2025 244 pts · 139 comments · Jun 2025
0 people saved or upvoted this