But did your analysis class define addition on the naturals? Then that's an oper... | Hacker News

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

		threatofrain on March 3, 2021 \| parent \| context \| favorite \| on: What’s Wrong with “Multiplication Is Repeated Addi... But did your analysis class define addition on the naturals? Then that's an operator for the naturals. And then for integers, rationals, etc.

peterwoerner on March 4, 2021 [–]

Yep and how to construct, the naturals from set theory, the integers from the naturals, the rationals from the integers and the reals from the rational. I've forgotten the details at this point, but I remember the conclusions.

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