Comment by geysersam

What makes you think that the number of bugs is finite? There are alternatives to that possibility. A perfect program without bugs might be like a perfect definition of the concept of "chair". Whatever definition you come up with there will likely be edges cases that makes the definition awkward or incorrect, and any definition that takes into account all those cases will not be a particularly good or useful definition.