4 ms·
Exactly! I didn't know the author, but couldn't help but check on his background after reading the blogpost. It's almost a dead giveaway for excerpts like 'The
by fredliu 8y ago
Exactly! I didn't know the author, but couldn't help but check on his background after reading the blogpost.
It's almost a dead giveaway for excerpts like 'The notion of a counter is not that of a single concrete class of object, it is an abstract description of the behaviour of a system providing certain operations satisfying certain rules.' , and 'A number is not any one thing, it is any one of any number of things that implement some operations (and there are different types of number depending on what operations you want to implement).'
- _bxg1 8y agoAnd the very first thing he did was define natural numbers as a grammar of operations with rules for interpretation