Getting the Numbers and Doing the Arithmetic (John McCarthy)www-formal.stanford.edu2 points·DaniFong··0 commentsOpen articleSaveView on HN