Lovelace's Leap
I believe the bit JGC quotes comes from Ada Lovelace's translation of Federico Luigi's memoir on the Analytical Engine (which, as the story goes, she supplemented with her own notes at the suggestion of Babbage). Am I mistaken here?Is it clear from primary sources whether this should be called Lovelace's Leap, Luigi's Leap, or even Babbage's Bound?