It was pretty standard for the time - therac-25 was another example where the logic is “computer don’t make mistakes therefore code running on computers does no

It was pretty standard for the time - therac-25 was another example where the logic is “computer don’t make mistakes therefore code running on computers does not make mistakes” which is strictly true in the sense that it’s exceedingly unlikely a computer will execute code incorrectly. Well into the 90s the general populace considered computers infallible, it really took mass adoption and experience with how frequently they crashed to change that perception.