On: The most cited authors in the Stanford Encyclopedi...

[djha-skin]

John Von Neumann is #145, pretty cool. Anyone else spot any other programming greats in the list?

[Vecr → djha-skin]

There's a few others, but people here already spotted them. Alfred Tarski on there but he was a mathematician.

[nonrandomstring → Vecr]

Tarski was a mathematician if and only if Tarski was a mathematician

[ckcheng → nonrandomstring]

Surely you mean:

“Tarski was a mathematician” is true if and only if Tarski was a mathematician. [1]

[1]: https://en.m.wikipedia.org/wiki/T-schema