That's my reading, too. The author is really making a point about the fundamental challenge of programming purely logical models in the physical world.
It's a little disappointing to me that the HN community is more interested in the concrete example than the meta topic itself.
When I first saw an article about it, it was actually in the context of how hard it is to write correct code. That should be the take away.