Many say 0 is in N. It requires knowledge of abstract algebra but if 0 is in N then you cannot algebraically create Z from N: Math would be a mess. "The Little Typer", is an intro to "Dependent Type Theory", just when I started to like it, the authors made the "0 error". I'll never forget such an error, nor will I ever forgive them. My problem is that I'll probably never be able to PROCESS it. A =serious= matter.
— Jun 06, 2022 08:39AM
Add a comment