Even many traditional programs are too big for any one person to understand. Ie. The linux kernel. The question is what level of abstraction were going to be using to describe its behavior. Computers of full of metaphorical black boxes that are only said to work because they're tested to work the way you'd test an engine to see it's power.