Peano arithmetic is enough, because Peano arithmetic encodes computation

📅 2025-06-13    ⚓ Hacker News    🌐 Source    🖼️ Load Image