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

> But it's not a good idea to let ourselves get carried away, we still have two binary operations going on. At any rate we have to impose that n·0=0, which can't be writen cleverly as "repeated addition" and worked up backwards.

Why is this not a good idea?

Can’t we just accept/postulate that the additive identity is different from the multiplicative identity?

And still define a relationship between the addition and multiplication?

Maybe I misunderstand the issue..

(I’m not trying to be pedantic, but my math background has some holes :)




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

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

Search: