In retrospect, he's glad. "Part of my luck was that I couldn't keep up with them," he said. "They were proving theorems, but they had nothing to do with the essence of the situation." Hofstadter instead decided to test out a more down-to-earth approach. Rather than proving theorems, he was going to crunch some numbers using an HP 9820A desk calculator-a computerlike machine that weighed nearly 40 pounds and could be programmed to perform complex computations.
One of the first theorems anyone learns in mathematics is the Pythagorean Theorem: if you have a right triangle, then the square of the longest side (the hypotenuse) will always equal the sums of the squares of the other two sides. The first integer combination that this works for is a triangle with sides 3, 4, and 5: 3 + 4 = 5.