\documentclass[12pt,titlepage]{article} \usepackage{amsmath} \usepackage{mathrsfs} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsthm} \usepackage{mathtools} \usepackage{graphicx} \usepackage{color} \usepackage{ucs} \usepackage[utf8x]{inputenc} \usepackage{xparse} \usepackage{hyperref} %----Macros---------- % % Unresolved issues: % % \righttoleftarrow % \lefttorightarrow % % \color{} with HTML colorspec % \bgcolor % \array with options (without options, it's equivalent to the matrix environment) % Of the standard HTML named colors, white, black, red, green, blue and yellow % are predefined in the color package. Here are the rest. \definecolor{aqua}{rgb}{0, 1.0, 1.0} \definecolor{fuschia}{rgb}{1.0, 0, 1.0} \definecolor{gray}{rgb}{0.502, 0.502, 0.502} \definecolor{lime}{rgb}{0, 1.0, 0} \definecolor{maroon}{rgb}{0.502, 0, 0} \definecolor{navy}{rgb}{0, 0, 0.502} \definecolor{olive}{rgb}{0.502, 0.502, 0} \definecolor{purple}{rgb}{0.502, 0, 0.502} \definecolor{silver}{rgb}{0.753, 0.753, 0.753} \definecolor{teal}{rgb}{0, 0.502, 0.502} % Because of conflicts, \space and \mathop are converted to % \itexspace and \operatorname during preprocessing. % itex: \space{ht}{dp}{wd} % % Height and baseline depth measurements are in units of tenths of an ex while % the width is measured in tenths of an em. \makeatletter \newdimen\itex@wd% \newdimen\itex@dp% \newdimen\itex@thd% \def\itexspace#1#2#3{\itex@wd=#3em% \itex@wd=0.1\itex@wd% \itex@dp=#2ex% \itex@dp=0.1\itex@dp% \itex@thd=#1ex% \itex@thd=0.1\itex@thd% \advance\itex@thd\the\itex@dp% \makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}} \makeatother % \tensor and \multiscript \makeatletter \newif\if@sup \newtoks\@sups \def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}% \def\reset@sup{\@supfalse\@sups={}}% \def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else% \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}% \else \append@sup#2 \@suptrue \fi% \expandafter\mk@scripts\fi} \def\tensor#1#2{\reset@sup#1\mk@scripts#2_/} \def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2% \reset@sup\mk@scripts#3_/} \makeatother % \slash \makeatletter \newbox\slashbox \setbox\slashbox=\hbox{$/$} \def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$} \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa \copy\slashbox \kern-\@tempdima \box\@tempboxa} \def\slash{\protect\itex@pslash} \makeatother % math-mode versions of \rlap, etc % from Alexander Perlis, "A complement to \smash, \llap, and lap" % http://math.arizona.edu/~aprl/publications/mathclap/ \def\clap#1{\hbox to 0pt{\hss#1\hss}} \def\mathllap{\mathpalette\mathllapinternal} \def\mathrlap{\mathpalette\mathrlapinternal} \def\mathclap{\mathpalette\mathclapinternal} \def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}} \def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}} \def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}} % Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2} \let\oldroot\root \def\root#1#2{\oldroot #1 \of{#2}} \renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}} % Manually declare the txfonts symbolsC font \DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n} \SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n} \DeclareFontSubstitution{U}{txsyc}{m}{n} % Manually declare the stmaryrd font \DeclareSymbolFont{stmry}{U}{stmry}{m}{n} \SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n} % Manually declare the MnSymbolE font \DeclareFontFamily{OMX}{MnSymbolE}{} \DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n} \SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n} \DeclareFontShape{OMX}{MnSymbolE}{m}{n}{ <-6> MnSymbolE5 <6-7> MnSymbolE6 <7-8> MnSymbolE7 <8-9> MnSymbolE8 <9-10> MnSymbolE9 <10-12> MnSymbolE10 <12-> MnSymbolE12}{} % Declare specific arrows from txfonts without loading the full package \makeatletter \def\re@DeclareMathSymbol#1#2#3#4{% \let#1=\undefined \DeclareMathSymbol{#1}{#2}{#3}{#4}} \re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46} \re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12} \re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64} \re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6} \re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77} \re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77} \makeatother % \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE \makeatletter \def\Decl@Mn@Delim#1#2#3#4{% \if\relax\noexpand#1% \let#1\undefined \fi \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}} \def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}} \def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}} \Decl@Mn@Open{\llangle}{mnomx}{'164} \Decl@Mn@Close{\rrangle}{mnomx}{'171} \Decl@Mn@Open{\lmoustache}{mnomx}{'245} \Decl@Mn@Close{\rmoustache}{mnomx}{'244} \makeatother % Widecheck \makeatletter \DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}} \def\@widecheck#1#2{% \setbox\z@\hbox{\m@th$#1#2$}% \setbox\tw@\hbox{\m@th$#1% \widehat{% \vrule\@width\z@\@height\ht\z@ \vrule\@height\z@\@width\wd\z@}$}% \dp\tw@-\ht\z@ \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@ \setbox\tw@\hbox{% \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box \tw@}}}% {\ooalign{\box\tw@ \cr \box\z@}}} \makeatother % \mathraisebox{voffset}[height][depth]{something} \makeatletter \NewDocumentCommand\mathraisebox{moom}{% \IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{% \IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}% }{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}% \mathpalette\@temp{#4}} \makeatletter % udots (taken from yhmath) \makeatletter \def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.} \mkern2mu\raise4\p@\hbox{.}\mkern1mu \raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}} \makeatother %% Fix array \newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}} %% \itexnum is a noop \newcommand{\itexnum}[1]{#1} %% Renaming existing commands \newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}} \newcommand{\widevec}{\overrightarrow} \newcommand{\darr}{\downarrow} \newcommand{\nearr}{\nearrow} \newcommand{\nwarr}{\nwarrow} \newcommand{\searr}{\searrow} \newcommand{\swarr}{\swarrow} \newcommand{\curvearrowbotright}{\curvearrowright} \newcommand{\uparr}{\uparrow} \newcommand{\downuparrow}{\updownarrow} \newcommand{\duparr}{\updownarrow} \newcommand{\updarr}{\updownarrow} \newcommand{\gt}{>} \newcommand{\lt}{<} \newcommand{\map}{\mapsto} \newcommand{\embedsin}{\hookrightarrow} \newcommand{\Alpha}{A} \newcommand{\Beta}{B} \newcommand{\Zeta}{Z} \newcommand{\Eta}{H} \newcommand{\Iota}{I} \newcommand{\Kappa}{K} \newcommand{\Mu}{M} \newcommand{\Nu}{N} \newcommand{\Rho}{P} \newcommand{\Tau}{T} \newcommand{\Upsi}{\Upsilon} \newcommand{\omicron}{o} \newcommand{\lang}{\langle} \newcommand{\rang}{\rangle} \newcommand{\Union}{\bigcup} \newcommand{\Intersection}{\bigcap} \newcommand{\Oplus}{\bigoplus} \newcommand{\Otimes}{\bigotimes} \newcommand{\Wedge}{\bigwedge} \newcommand{\Vee}{\bigvee} \newcommand{\coproduct}{\coprod} \newcommand{\product}{\prod} \newcommand{\closure}{\overline} \newcommand{\integral}{\int} \newcommand{\doubleintegral}{\iint} \newcommand{\tripleintegral}{\iiint} \newcommand{\quadrupleintegral}{\iiiint} \newcommand{\conint}{\oint} \newcommand{\contourintegral}{\oint} \newcommand{\infinity}{\infty} \newcommand{\bottom}{\bot} \newcommand{\minusb}{\boxminus} \newcommand{\plusb}{\boxplus} \newcommand{\timesb}{\boxtimes} \newcommand{\intersection}{\cap} \newcommand{\union}{\cup} \newcommand{\Del}{\nabla} \newcommand{\odash}{\circleddash} \newcommand{\negspace}{\!} \newcommand{\widebar}{\overline} \newcommand{\textsize}{\normalsize} \renewcommand{\scriptsize}{\scriptstyle} \newcommand{\scriptscriptsize}{\scriptscriptstyle} \newcommand{\mathfr}{\mathfrak} \newcommand{\statusline}[2]{#2} \newcommand{\tooltip}[2]{#2} \newcommand{\toggle}[2]{#2} % Theorem Environments \theoremstyle{plain} \newtheorem{theorem}{Theorem} \newtheorem{lemma}{Lemma} \newtheorem{prop}{Proposition} \newtheorem{cor}{Corollary} \newtheorem*{utheorem}{Theorem} \newtheorem*{ulemma}{Lemma} \newtheorem*{uprop}{Proposition} \newtheorem*{ucor}{Corollary} \theoremstyle{definition} \newtheorem{defn}{Definition} \newtheorem{example}{Example} \newtheorem*{udefn}{Definition} \newtheorem*{uexample}{Example} \theoremstyle{remark} \newtheorem{remark}{Remark} \newtheorem{note}{Note} \newtheorem*{uremark}{Remark} \newtheorem*{unote}{Note} %------------------------------------------------------------------- \begin{document} %------------------------------------------------------------------- \section*{multiverse} \hypertarget{context}{}\subsubsection*{{Context}}\label{context} \hypertarget{physics}{}\paragraph*{{Physics}}\label{physics} [[!include physicscontents]] \hypertarget{philosophy}{}\paragraph*{{Philosophy}}\label{philosophy} [[!include philosophy - contents]] \hypertarget{contents}{}\section*{{Contents}}\label{contents} \noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak \noindent\hyperlink{General}{General}\dotfill \pageref*{General} \linebreak \noindent\hyperlink{in_view_of_cosmic_inflation}{In view of cosmic inflation}\dotfill \pageref*{in_view_of_cosmic_inflation} \linebreak \noindent\hyperlink{in_view_of_moduli_fields}{In view of moduli fields}\dotfill \pageref*{in_view_of_moduli_fields} \linebreak \noindent\hyperlink{critique}{Critique}\dotfill \pageref*{critique} \linebreak \noindent\hyperlink{RelatedConcepts}{Related concepts}\dotfill \pageref*{RelatedConcepts} \linebreak \noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak \hypertarget{idea}{}\subsection*{{Idea}}\label{idea} In [[physics]], the term ``multiverse'' refers to certain picture of [[cosmology]]. The intended meaning tends to differ between authors and/or remain vague (see \hyperlink{General}{below}) but broadly what goes with it is the idea that, just as the configuration of [[matter]] and [[energy]] changes from place to place within our [[observable universe]], clearly, it could be that \emph{beyond} the [[observable universe]] (for immediate or not so immediate notions of ``beyond'') eventually even the laws of [[physics]] might change from place to place, possibly altogether, but at least as concerns the values of [[coupling constants]] or even [[field (physics)|field]]-content. The idea remains hypothetical, naturally, and might ultimately be empty as an idea about [[physics]] as opposed to [[philosophy]], but it is arguably in historical continuation with a sequence of famously confirmed insights about [[cosmology]], which led from an archaic picture of a cosmos centered all around the world directly experienced by humans (the continent a disk inside an ocean hung in the center of the heavenly spheres), via the \href{https://en.wikipedia.org/wiki/Copernican_Revolution}{Copernican revolution}, then the confirmation of distant [[galaxies]] etc., to the realization that the [[observable universe]] is immense and varied and our physical place and whereabouts inside it just a random result of chance, subject only to the tautological condition that it allows us to be here at all -- known as the ``anthropic principle'' in these discussions. Accordingly, one motivation for the idea of the multiverse is as an explanation for apparent `[[naturalness|fine-tuning]]' in the ``constants of nature'', in particular concerning the presence of complex life. The thought here is that were the constants/laws of nature to be ever so slightly different from what they are, then the universe would not have been to able to evolve to support complex, intelligent life forms (see \href{https://plato.stanford.edu/archives/fall2017/entries/fine-tuning/}{SEP: Fine-tuning}). But an account which proposes that a vast number of universes exist governed by laws spanning some full range of possibilities removes the surprise that we should live in such a special universe, since any form of life as ourselves could only occur within such a universe. Another motivation of contemplating a multiverse, even in the face of its ontological elusiveness, comes from attempts of formulating fundamental [[theory (physics)|theories of physics]] such as [[quantum gravity]] or [[theories of everything]], since the motivation and success of such theories depends to some extent on what one thinks they can or should explain or predict, and how much room for chance and chaos there may remain in a truly fundamental theory of physics. For example, if a fundamental [[theory of everything]] were to \emph{predict}, say, the [[generations of fundamental particles]] and the values of the [[Yukawa couplings]] in the [[standard model of particle physics]], then these would be fixed -- by pure [[logic]], ultimately -- to be what they are, and would be the same strictly ``everywhere'', thus making obsolete the idea of a multiverse. Part of the interest in the idea of the multiverse derives from the feeling that this scenario of the [[standard model of particle physics]], with its particular [[field (physics)|field content]] and [[coupling constants]], being fixed by pure logic, is no more likely than [[Johannes Kepler]]`s attempt to derive the distances in the solar system from the [[Platonic solids]] (the old \emph{[[Music of the Spheres]]}), which today we understand is a confusion of what is fundamental law and what is [[random variable|random]] initial conditions. In this sense, the idea of the multiverse is a form of [[empiricism]] and in contrast to [[theoretical aestheticism]] such as \emph{[[universal exceptionalism]]}. \hypertarget{General}{}\subsubsection*{{General}}\label{General} On the very largest scales observable in astrophysical [[experiment]], the cosmos is well described by an [[FRW model]] with [[cosmological constant]] $\Lambda$, with plenty of [[dark matter]] and with primordial [[cosmic inflation]] (called the $\Lambda$-CDM ``[[standard model of cosmology|concordance model of cosmology]]''). A [[horizon]] in there and everything on smaller scales is the \emph{[[observable universe]]}. There has never been a reason to assume that beyond this \emph{cosmic horizon} visible to us today, the cosmos would not extend further. In fact in the simple [[FRW models]] with positive cosmological constant, the [[spacetime]] [[manifold]] is not a [[closed manifold]] and extends indefinitely beyond our observable horizon. This is directly analogous to the ancient mariner who would stand on the deck of his ship and see a few miles of ocean around him. That was the world within his horizon, but there was no telling what lay beyond. Therefore it is important to distinguish the \emph{[[observable universe]]} from the \emph{universe} as such. Unfortunately, intellectual laziness tended to ignore this distinction and at some point some people who said ``universe'' to mean just the stretch of our cosmic horizon felt the need to have a new term for whatever may lie beyond. For better or worse, that new term has become wide-spread these days and is ``multiverse''. \hypertarget{in_view_of_cosmic_inflation}{}\subsubsection*{{In view of cosmic inflation}}\label{in_view_of_cosmic_inflation} The main scientific observation that goes with this is the observation that [[cosmic inflation]] -- for which there is by now excellent and ever increasing [[experiment|experimental]] evidence that indeed it happened -- does, at least by the simple method which is currently used to model it, naturally predict a large ambient space in which local regions perpetually undergo inflationary expansion -- [[eternal inflation]]. Hence what is called \emph{multiverse} these days might more sanely have been called \emph{universe with multiple observable regions} or the like, but the term has seen an immense increase in popularity and is apparently here to stay. \hypertarget{in_view_of_moduli_fields}{}\subsubsection*{{In view of moduli fields}}\label{in_view_of_moduli_fields} Another reason why the old speculation (going back at least to [[Giordano Bruno]]) that the [[observable universe]] is but one of many variants in a larger ambient cosmos received more empathetic attention in some corners of fundamental [[physics]] at the beginning of the 21st century is that it was argued to lead to a plausible picture of the apparent lack of the fundamental constants of nature (such as notably the [[cosmological constant]] but also the [[Yukawa couplings]] etc.) to follow any discernible law (see also the ``[[hierarchy problem]]''). At the same time there are [[theory (physics)|theories]] of fundamental physics where such apparent ``constants'' of nature are in fact just the values of ``[[moduli fields]]'', hence of dynamical [[field (physics)|fields]], whose value however is approximately constant over the [[observable universe]] (``[[moduli stabilization]]''). Generically [[Kaluza-Klein mechanism|Kaluza-Klein theories]] have this property, and in particular [[string theory]] does. This has the remarkable consequence that in such theories the ``constants of nature'' may dynamically move through their [[moduli space]] -- hence through the ``landscape'' of possible sets of laws of nature -- just like any other field evolves dynamically throughout [[spacetime]]. (See also at [[string theory FAQ]], \emph{\href{string+theory+FAQ#WhatDoesItMeanToSayStringTheoryHasALandscapeOfSolutions}{What does it mean that string theory has a ``landscape'' of solutions?}}.) When the [[landscape of string theory vacua]] was (finally) realized to, apparently, have no reason to be ``small'', hence when it was realized that indeed the theory alone did not constrain its [[moduli fields]] but allowed all kinds of values for them, then it was argued (first in (\hyperlink{Schellekens98}{Schellekens 98})) that combining this apparent embarrassment of a surplus of theoretically admissible ``kinds of universes'' with the apparent embarrassment of a surplus of [[cosmic inflation|cosmically inflating]] [[observable universe|observable universes]] together yields a plausible picture: each inflating ``bubble'' in [[eternal inflation]] randomly has its [[moduli fields]] determined by the [[vacuum fluctuation]] that gives rise to the inflationary process, and hence literally the [[moduli space]] of ``constants/laws of nature'' becomes inhabited by a kind of [[stochastic process]]. The particular value of the [[cosmological constant]] or the [[Yukawa couplings]] which we observe would be just as random (or just as ``anthropically'' constrained) as, say, the number, nature and distance of the planets in the [[solar system]]. Whatever the status of this story, it is to a large part responsible for the renewed interest in the idea of the ``multiverse''. One must beware here that, while [[Kaluza-Klein theory]]/[[string theory]] constitute concrete theoretical frameworks realizing the concept of dynamically evolving ``constants of nature'', the [[landscape of string theory vacua]] is poorly understood in detail, even by the standards of non-rigorous physics-style arguments; and, worse, [[string theory]] itself is fully understood only [[perturbative quantum field theory|perturbatively]], while its full microscopic [[non-perturbative effect|non-perturbative completion]] (working title: ``[[M-theory]]'', ``[[F-theory]]''), despite a large and tight network of hints, remains an open problem, for the time being. But it is exactly [[non-perturbative effects]] that may be expected to be relevant for true understanding of the [[landscape of string theory vacua]], by possibly ruling out regions which look consistent only in perturbation theory. Hence for all that is known, [[universal exceptionalism]] instead of a multiverse remains a possibility in [[string theory]]. Only improved mathematical understanding of the theory will eventually be able to tell. \hypertarget{critique}{}\subsection*{{Critique}}\label{critique} From (\hyperlink{Ellis11}{Ellis 11}): \begin{quote}% Similar claims about a multiverse have been made since antiquity by many cultures. What is new is the assertion that the multiverse is a scientific theory, with all that implies about being mathematically rigorous and experimentally testable. I am skeptical about this claim. I do not believe the existence of those other universes has been proved---or ever could be. Proponents of the multiverse, as well as greatly enlarging our conception of physical reality, are implicitly redefining what is meant by `science.'---pg 39 For a cosmologist, the basic problem with all multiverse proposals is the presence of a cosmic visual horizon. The horizon is the limit to how far away we can see, because signals traveling toward us at the speed of light (which is finite) have not had time since the beginning of the universe to reach us from farther out. All the parallel universes lie outside our horizon and remain beyond our capacity to see, now or ever, no matter how technology evolves. In fact, they are to far away to have had any influence on our universe whatsoever. That is why none of the claims made by multiverse enthusiasts can be directly substantiated. ---pg 40-41 A remarkable fact about our universe is that physical constants have just the right values needed to allow for complex structures, including living things. Steven Weinberg, Martin Rees, Leonard Susskind and others contend that an exotic multiverse provides a tidy explanation for this apparent coincidence: if all possible values occur in a large enough collection of universes, then viable ones for life will surely be found somewhere. This reasoning has been applied, in particular, to explanation the density of the dark energy that is speeding up the expansion of the universe today. I agree that the multiverse is a possible valid explanation for the value of this density; arguably, it is the only scientifically based option we have right now. But we have no hope of testing it observationally. ---pg 42 All in all, the case for the multiverse is inconclusive. The basic reason is the extreme flexibility of the proposal: it is more a concept than well-defined theory. Most proposals involve a patchwork of different ideas rather than a coherent whole. The basic mechanism for eternal inflation does not itself cause physics to be different in each domain in a multiverse; for that, it needs to be coupled to another speculative theory. Although they can be fitted together, there is nothing inevitable about it. \ldots{} Nothing is wrong with scientifically based philosophical speculation, which is what multiverse proposals are. But we should name it for what it is. ---pg 43 As skeptical as I am, I think the contemplation of the multiverse is an excellent opportunity to reflect on the nature of science and on the ultimate nature of existence: why we are here\ldots{} In looking at this concept, we need an open mind, though not too open. It is a delicate path to tread. Parallel universes may or may not exist; the case is unproved. We are going to have to live with that uncertainty. Nothing is wrong with scientifically based philosophical speculation, which is what multiverse proposals are. But we should name it for what it is. \end{quote} \hypertarget{RelatedConcepts}{}\subsection*{{Related concepts}}\label{RelatedConcepts} \begin{itemize}% \item Vaguely related is the [[possible worlds semantics]] in [[modal logic]] for the formalization of [[metaphysics|metaphyisical]] [[necessity]] and [[possibility]]. For instance (\hyperlink{Kripke80}{Kripke 80}) is much concerned with the logic of ``[[possible worlds semantics|possible worlds]]''. \item Not really related but arguably somewhat analogous is, in the [[foundations of mathematics]], the [[set-theoretic multiverse]] of different [[set theories]], and similarly the [[2-category]] [[Topos]] of [[toposes]], hence of [[constructive mathematics|constructive]] [[foundations of mathematics]] (see at \emph{[[topos theory]]} for more on this). \end{itemize} \hypertarget{references}{}\subsection*{{References}}\label{references} Apparently the first mentioning of the idea that a multiverse due to [[eternal inflation]] together with the [[landscape of string theory vacua]] provides a plausible story for the nature of ``constants of nature'' is due to \begin{itemize}% \item [[Bert Schellekens]], \emph{Naar een waardig slot}, inauguration speech at University of Nijmegen, September 1998, ISBN 90-9012073-4 \end{itemize} reproduced as \begin{itemize}% \item [[Bert Schellekens]], \emph{The Landscape ``avant la lettre''} (\href{http://arxiv.org/abs/physics/0604134}{arXiv:physics/0604134}) \end{itemize} More recent account of how the relevant community pictures the situation includes \begin{itemize}% \item [[Raphael Bousso]], \emph{The State of the Multiverse: The String Landscape, the Cosmological Constant, and the Arrow of Time}, 2011 (\href{http://www.ctc.cam.ac.uk/stephen70/talks/swh70_bousso.pdf}{pdf}) \item [[Brian Greene]], \emph{Is our universe the only universe?}, talk at TED2012 (\href{http://www.ted.com/talks/brian_greene_why_is_our_universe_fine_tuned_for_life}{web}) \item [[Andrei Linde]], \emph{A brief history of the multiverse} (\href{https://arxiv.org/abs/1512.01203}{arXiv:1512.01203}) \end{itemize} Further and popular expositions include \begin{itemize}% \item [[George Ellis]], \emph{Does the multiverse really exist?}, Scientific American, August 2011 (\href{http://www.scientificamerican.com/article/does-the-multiverse-really-exist/}{web} \end{itemize} For more references see at \emph{[[eternal cosmic inflation]]}. Of course a bunch of links are also here: \begin{itemize}% \item Wikipedia, \emph{\href{https://en.wikipedia.org/wiki/Multiverse}{Multiverse}} \end{itemize} though the discussion there seems to show an undue preference of some points of view. ``Possible worlds'' in the context of [[logic]] are discussed in [[modal logic]], notably in \begin{itemize}% \item [[Saul Kripke]], \emph{[[Naming and Necessity]]} (1980) \end{itemize} \end{document}