Hacker News new | ask | show | jobs
by gizmo686 4927 days ago
Care to elaborate on how Godel's theroum implies a bug in the successor function.