Please don't do this here. Article summaries have always been eschewed on HN.

Kemeny is an interesting fellow. He is part of the duo responsible for the BASIC language (at Dartmouth).

I found his book "Man and the Computer" particularly prescient.

https://en.wikipedia.org/wiki/John_G._Kemeny

https://archive.org/details/mancomputer00keme

Aren’t many algebraic results dependent on counting/divisibility/primality etc...?

Numbers are such a fundamental structure. I disagree with the premise that you can do mathematics without numbers. You can do some basic formal derivations, but you can’t go very far. You can’t even do purely geometric arguments without the concept of addition.

[flagged]