I should be writing a blurb about the various 2017 mathy books that have passed my way the last few months, but instead the volume I just finished reading is an older classic, Roy Sorensen’s 2003 A Brief History of the Paradox. Toward the end comes a ‘paradox’ (perhaps known by some as 'the odd universe' paradox) I was unfamiliar with and frankly don’t quite understand, though it doesn't appear too difficult. Am passing it along because some of you may find it interesting (…or be able to explain it better to me!).
Verbatim from the book (I’ve bolded a few bits that I especially have difficulty following):
“Meanwhile, Nelson Goodman kept sharpening the knife of nominalism. In 1951 he published The Structure of Appearances. This book contains a logic of parts and wholes. Goodman denies that there are sets. Instead, there are fusions built up from smaller things. Unlike a set, a fusion has a position in space and time. You can touch a fusion. I’m a fusion. So are you. Goodman’s ‘calculus of individuals’ says that there are only finitely many atomic individuals and that any combination of atoms is an individual. Objects do not need to have all their parts connected, for instance, Alaska and Hawaii are parts of the United States of America. Goodman does not let human intuition dictate what counts as an object; he also thinks that there is the fusion of his ear and the moon. In a seminar Goodman taught at the University of Pennsylvania around 1965, John Robison pointed out that The Structure of Appearances implies an answer to ‘Is the number of individuals in the universe odd or even?’ Since there are only finitely many atoms and each individual is identical to a combination of atoms, there are exactly as many individuals as there are combinations of atoms. If there are n atoms, there are 2n - 1 combinations of individuals. No matter which number we choose for n, 2n - 1 is an odd number. Therefore, the number of individuals in the universe is odd! The exclamation point is not for the oddness per se. Aside from those who think the universe is infinite, people agree that the universe contains either an odd number of individuals or an even number of individuals. What they find absurd is that there could be a proof that the number of individuals is odd. ‘Is the number of individuals in the universe odd or even?’ illustrates the possibility of one good answer being too many. Our expectation is that this question is unanswerable. The lone good answer confounds beliefs about what arguments can accomplish.”Anyway, seems like an interesting thought exercise to play with.
(If you can explain it any more lucidly in the comments feel free to give it a go. The primary part I'm unclear about is, in the 2nd part that I've bolded, why does the 2nd sentence necessarily follow from the prior sentence?)