A simplicial set is surely an idea which would be more natural to a computer. Breaking a shape up into simplices is still something a human would do, because simplices are contractible geometric objects whose gluings one can explicitly describe. But to pass from this to finite strings with face and degeneracy maps, and then to base your theory on that, is pure computer-thought... and, like any good computer idea, extremely pretty.