Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on In the 17th Century, Leibniz Dreamed of a Machine That Could Calculate Ideas. Parent comment
The algebraic properties are those that formalize arithmetic, so this encompasses almost any reasonable system
There are no comments on this comment yet.
The algebraic properties are those that formalize arithmetic, so this encompasses almost any reasonable system