I don’t see how that could be possible, but I’m sure I know an even smaller amount of set theory. Could you explain?
The set theory stuff will look a bit strange, but I’ll do my best to explain what I had in mind. When Georg Cantor first started looking into transfinite numbers, he noticed there are actually two different ways of defining them. The first way, which yields ordinal numbers, answers to our intuition of counting by arranging a set into a long list of items: ordinal numbers simply measure the length of such lists. For example: (1) if a set can be arranged in a list that has three items, then the length of that list is the ordinal number 3; (2) the length of list with exactly one item for each natural number (0, 1, 2, etc) is, we’ll say, w; (3) the length of list with exactly one item for each natural number plus one additional item tagged on at the end is w + 1. This shows the first way an infinite being could count an infinite set. For suppose the list of years of the beings life has length w + 1 and that the list of items the being has to count has length w. Then the being will have counted everything by the time year w + 1 arrives.
The second way of defining transfinite numbers, which yields cardinal numbers, answers to our intuition of counting by finding a correspondence between two sets. For example: (1) the word “for” has three letters because of the correspondence given by f <-> 1, o <-> 2, r <-> 3; (2) the set of squares of natural numbers has the same cardinality as the set of natural numbers because of the correspondence given by n^2 <-> n; (3) the set of real numbers has a greater cardinality than the set of natural numbers. This last example is really what got set theory going, because for the first time it became clear that infinity isn’t the generic, well-nigh pathological concept it had always appeared to be: it actually contains a highly structured universe of ever larger infinities. Two elements of this universe of infinities are |w|, the cardinality of the ordinal number w, and |w|+, the next larger cardinality. Now, it turns out (it would take quite a lot of space to explain why) that if an infinite being lived |w|+ many years, it could not fail to finish counting a set of cardinality |w|.
Those are, at least, the two ways I had in mind when I wrote that an infinitely long-lived creature might count an infinite set. Just in case you’re interested in further exploring this subject, Hrbacek and Jech’s introduction covers the material you’d need to judge these proposals.
We’d have to then ask how it could be proven that it is impossible for us to ever know (with an infinite amount of time), the physical universe. The assumption is that a study of physical laws and materials is not obscured or impenetrable to human reason.
But this is also how we define “objective reality” or “actual things” or “physical universe”. If something cannot ever possibly be verified or actualized through physical means, can we say that it is part of objective-physical-material reality?
There are some pretty complicated issues here. To the first part I would say that science isn’t really on the look out for just any old fact. Physicists, for example, try to work out the physical laws of space-time, matter, energy, and so forth, and it could turn out that these fundamental laws are knowable—and thus, reality would still be intelligible—while certain comparatively irrelevant facts (such as the cardinality of the universe) are not.
The second part brings up difficult questions (e.g., what counts as verification?, who gets to do the verifying?, if all verification is only probable, then doesn’t physical existence become vague at the edges?, etc). Fundamentally, however, the issue here is the age-old rivalry between metaphysical realism and anti-realism. Unfortunately, all I have are realist intuitions. Perhaps we should conclude something like this: if you’re a realist in metaphysics and mathematics, then you’ll think an infinite set of physical objects is possible, but if you’re not either of those things, then you won’t. William Lane Craig’s anti-realism comes into focus
here.
I can’t resist adding,
pace Leela, that a finite universe could contain an infinite number of extended objects: simply choose the objects so that the n-th object takes up no more space than 1/2^n cubic meters.