Dear Marc,
Sorry that I had not read your essay earlier, I really enjoyed doing so now! And I would like to respond to five elements in your piece.
* Regarding the ""gut feeling" that mathematical structures and physical structures cannot be equivalent":
- I agree that current science has shown that matter is not 'as material' as our daily experience would have it. I recently attended a lecture by philosopher James Ladyman, who talked about why "particles are not particles", by which he means that the 'particle' in 'particle physics' does not correspond with the ancient particle concept (tiny pieces of 'stuff').
- On the other hand, the very notion of an equivalence relation in a logico-mathematical context (https://en.wikipedia.org/wiki/Equivalence_relation), involves systematically disregarding differences between elements (unless it is the special case of identity). So, even if there is some equivalence between mathematics and physics (in a broader sense), this does not prove that they are identical. It just shows that in some respects that we are interested in, in a particular context, ... there are systematic similarities. But that does not preclude that there may be systematic differences, too.
* Regarding multiverse hypotheses and "The idea that every possible universe is as real as our own has been proposed by several philosophers before Tegmark's formulation of the MUH."
- As I also mentioned during the hangout, the observation that versions of this idea have popped up on multiple occasions has made me more skeptical of it. Similar ideas are used in fiction (e.g., Borges's "The garden of forking paths", the (Belgian! ;-) ) movie "Mr Nobody", maybe the movie "Lola rent", ...), logic (possible world semantics; Lewis; Kripke/Prior branching time structure), quantum mechanics (many worlds interpretation), ... and now in cosmology (Tegmark, MUH).
* Regarding the 'measure problem' (the problem with combining probability and infinity).
- In my own research, I have worked on the problem of assigning probabilities in the context of infinite sample spaces! My initial goal was to find a measure that assigns uniform probability to subsets of the natural numbers, which is not possible to do with standard (countably additive) probability measures. So the example you mention at the bottom of p. 3 is very familiar to me. :)
My approach involved assigning infinitesimals to singletons (in the sense of hyperreal numbers, i.e. Robinson's non-standard analysis; article here). After this, and together with mathematician Vieri Benci and philosopher Leon Horsten, we applied the same idea to sample spaces of arbitrary cardinality. We developed "non-Archimedean probability" (NAP) theory (article here). So, in principle, we can apply this to the Maxiverse! :-) (However, I suspect the Maxiverse may be so large as to constitute a proper class rather than a set. We did not develop NAP theory for classes.)
We did not solve the arbitrariness issue. If anything, infinitesimals (and the degrees of freedom in selecting a free ultrafilter) make this issue worse. ;) On the other hand, our theory may be of help if probability-zero events are at the root of some problems.
* Regarding your view of consciousness and F-clones:
- This made me wonder whether you are familiar with the work of philosopher Arnold Zuboff? He was the originator of the "Sleeping Beauty problem", which you may know since it combines issues of probability and anthropic reasoning (which you also write about). In any case, in his 1990 "One Self: The Logic of Experience" Zuboff advocates his view on personal identity, called "Universalism", which can be summarized as the view that "we are all the same person". I am certainly not an adherent of Universalism (and I think there are problems with Zuboff's statistical argument for it). Universalism clearly does not coincide to your view either, but I find it fascinating what led Zuboff to this view, since there may be a similarity to your position.
Zuboff reports reading the short science fiction story "The other tiger" by Arthur C. Clarke as an important source of inspiration. (If you don't know this story, please read it! e.g. here) This and other events made Zuboff wonder about copies, very similar to your F-clones. He wondered: As long as one copy of me still exist, I still exist? And eventually, this led him to token-freedom and Universalism (a further step that you clearly didn't take).
- My view is to resist even the first step (equating the consciousness of the F-clones). It is related to my earlier point about equivalence relations: sure, there are some clear similarities, but not identity (even if the differences may not be empirically accessible to the relevant subjects).
* Regarding the final part:
- I really liked your reference to Piet Hut. Of course, the same applies to mine and all other essays: we may simply be missing the relevant input to make sense of these matters. We should stay humble. But meanwhile we might as well enjoy some specultation. ;-)
So, although I don't agree with your premise, I do like the way you expose the topics, in a clear and accessible style. Your prize seems well deserved. Congratulations!
Best wishes,
Sylvia
PS: I also watched your videos that won an earlier prize: great work! I plan to show them in a future course. :-)