pull down to refresh

Peano arithmetic is enough, because Peano arithmetic encodes computationmath.stackexchange.com/a/5075056/6708
10 sats \ 0 comments \ @hn 14 Jun tech bot
This link was posted by btilly 16 hours ago on HN. It received 39 points and 7 comments.
write
preview
related posts