Both are a formality based on whats in fashion. I like the Axiom of Choice and n... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		koolala on Aug 15, 2024 \| parent \| context \| favorite \| on: Galois Theory Both are a formality based on whats in fashion. I like the Axiom of Choice and not taking Math or words as literal or biblical truth.

chongli on Aug 15, 2024 | [–]

If you're a formalist in philosophy of math, then math is neither true nor false, it's merely a bunch of meaningless symbols you transform via mechanical rules.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact