Hacker News new | ask | show | jobs
by not-a-llm 18 days ago
yet there are problems there too we do not know the "true axioms of math", people disagree (math foundations)