Warning
This post was published 222 days ago. The information described in this article may have changed.
Peano arithmetic is enough, because Peano arithmetic encodes computation
⚓ IT 📅 2025-06-13 👤 surdeus 👁️ 8