Variation in human intelligence reflects differences in computational capacity for search over Turing machines; more intelligent people simply have more compute to search over more Turing machines for longer.