Doomsday argument 574311 225618225 2008-07-14T16:09:04Z Tescoid 4039057 /* Math-free explanation by analogy */ see discussion page The '''Doomsday argument''' ('''DA''') is a [[probabilistic argument]] that claims to [[predict]] the [[future]] lifetime of the [[human race]] given only an estimate of the total number of humans born so far. Simply put, it says that supposing the humans alive today are in a random place in the whole human history timeline, chances are we are about halfway through it. It was first proposed in an explicit way by the astrophysicist [[Brandon Carter]] in [[1983]],<ref>{{Cite journal | author = [[Brandon Carter]] | title = The anthropic principle and its implications for biological evolution | journal = [[Philosophical Transactions of the Royal Society of London]] | volume = A310 | pages = 347&ndash;363 | year = 1983 }}</ref> from which it is sometimes called the '''Carter catastrophe'''; the argument was subsequently championed by the [[philosopher]] [[John A. Leslie]] and has since been independently discovered by [[J. Richard Gott]]<ref>{{Cite journal | author = J. Richard Gott, III | title = Implications of the Copernican principle for our future prospects | journal = [[Nature (journal)|Nature]] | volume = 363 | pages = 315&ndash;319 | year = [[1993]] | doi = 10.1038/363315a0 }}</ref> and [[Holger Bech Nielsen]].<ref>{{Cite journal | author = [[Holger Bech Nielsen]] | title = Random dynamics and relations between the number of fermion generations and the fine structure constants | journal = [[Acta Physica Polonica]] | volume = B20 | pages = 427&ndash;468 | year = 1989 }}</ref> Similar principles of [[eschatology]] were proposed earlier by [[Heinz von Foerster]], among others. [[Image:Population_curve.svg|thumb|300px|World population from [[Prehistoric times|10,000BC]] to [[2000|AD 2000]]]] The [[Copernican principle]] suggests that we are equally likely (along with the other ''N-1'' humans) to find ourselves at any position ''n'', so assume our fractional position ''f'' is [[uniform distribution|uniformly]] distributed on the interval <nowiki>(0,1]</nowiki> [[Prior probability|prior]] to learning our absolute position. Let us further assume that our fractional position ''f'' is uniformly distributed on <nowiki>(0,1]</nowiki> even after we learn of our absolute position ''n''. This is equivalent to the assumption that we have no prior information about the total number of humans, ''N''. Now, we can take an arbitrary number, say 95% confidence, that ''f''&nbsp;=&nbsp;''n''/''N'' is within the interval <nowiki>(0.05,1]</nowiki>. In other words we could assume that we could be 95% certain that we would be within the last 95% of all the humans ever to be born. Given our absolute position ''n'', this implies an upper bound for ''N'' obtained by rearranging :''n'' / ''N'' > 0.05 to give. :''N'' < 20''n''. If we take that 60 billion humans have been born so far (Leslie's figure) then we can say with 95% confidence that the total number of humans, ''N'', will be less than 20·60 billion&nbsp;=&nbsp;1.2 trillion. Assuming that the [[World Population|world population]] stabilizes [[World Population#Forecast of world population|at 10 billion]] and a [[life expectancy]] of [[Longevity#Future|80 years]], one can calculate how long it will take for the remaining 1140 billion humans to be born. The argument predicts, ''with 95% "confidence"'', that [[human race|humanity]] will disappear within 9120 years. Depending on the projection of world population in the forthcoming centuries, estimates may vary, but the main point of the argument is that the human species may become extinct. ===Remarks=== * The step that converts ''N'' into an extinction time depends upon a finite human lifespan. If [[immortality]] becomes common, and the birth rate drops to zero, ''N'' will never be reached.<ref>The Doomsday argument formulation would still apply if humans developed unlimited lifespan. [[John Eastmond]]'s [[2002]] critique ([http://xxx.lanl.gov/abs/gr-qc/0208038]) concludes that "''an infinite conscious lifetime is not possible, even in principle''" because, he contends, that the DA's uniform prior probability distribution applied over a [[countable]] infinity of observer-moments implies an [[uncountable]] number of the countably infinite bit-strings needed to specify each moment.</ref> * The total number of humans born so far may depend on one's definition of "[[human]]". * A precise formulation of the DA requires the [[Bayesian probability|Bayesian]] interpretation of probability, which is widely, if not universally, accepted. * Even among Bayesians some of the assumptions of the argument's logic would not be acceptable; for instance, the fact that it is applied to a temporal phenomenon (how long something lasts) means that ''N'''s distribution simultaneously represents an "[[aleatory probability]]" (as a future event), and an "[[epistemic probability]]" (as a decided value about which we are uncertain). * The ''U''<nowiki>(0,1]</nowiki> ''f'' distribution is derived from two choices, which whilst being the default are also arbitrary: ** The [[principle of indifference]], so that it is as likely for any other randomly selected person to be born after you as before you. ** The ''assumption'' of no 'prior' knowledge on the distribution of ''N''. ===Simplification: two possible total number of humans=== Assume for simplicity that the total number of humans who will ever be born is 60 billion (''N''<sub>1</sub>), or 6,000 billion (''N''<sub>2</sub>).<ref>Doomsday argument two-case section is partially based on [http://www.findarticles.com/p/articles/mi_m2346/is_n426_v107/ai_20550244 a refutation of the Doomsday Argument by Korb and Oliver].</ref> If there is no prior knowledge of the position that a currently living individual, ''X'', has in the history of humanity, we may instead compute how many humans were born before ''X'', and arrive at (say) 59,854,795,447, which would roughly place ''X'' amongst the first 60 billion humans who have ever lived. Now, if we assume that the number of humans who will ever be born equals ''N''<sub>1</sub>, the probability that ''X'' is amongst the first 60 billion humans who have ever lived is of course 100%. However, if the number of humans who will ever be born equals ''N''<sub>2</sub>, then the probability that ''X'' is amongst the first 60 billion humans who have ever lived is only 1%. Since X is in fact amongst the first 60 billion humans who have ever lived, this means that the total number of humans who will ever be born is more likely to be much closer to 60 billion than to 6,000 billion. In essence the DA therefore suggests that [[human extinction]] is more likely to occur sooner rather than later. It is possible to sum the probabilities for each value of ''N'' and therefore to compute a statistical 'confidence limit' on ''N''. For example, taking the numbers above, it is 99% certain that ''N'' is smaller than 6,000 billion. ===What the argument is not=== The Doomsday argument (DA) does ''not'' say that humanity cannot or will not exist indefinitely. It does not put any upper limit on the number of humans that will ever exist, nor provide a date for when humanity will become [[extinct]]. An abbreviated form of the argument ''does'' make these claims, by confusing probability with certainty. However, the actual DA's conclusion is: :There is a 95% ''chance'' of extinction within 9120 years. The DA gives a 5% chance that some humans will still be alive circa 11125 AD. (These dates are based on the assumptions above; the precise numbers vary among specific ''Doomsday arguments''.) ==Variations== This argument has generated a lively philosophical debate, and no consensus has yet emerged on its solution. The variants described below produce the DA by separate derivations. ===Gott's formulation: 'vague prior' total population=== Gott specifically proposes the functional form for the [[Prior probability|prior distribution]] of the number of people who will ever be born (''N''). Gott's DA used the [[prior probability#Uninformative priors|vague prior distribution]]: :<math>P(N) = \frac{k}{N}</math>. where * P(N) is the probability prior to discovering ''n'', the total number of humans who have ''yet'' been born. * The constant, ''k'', is chosen to [[Normalizing constant|normalize]] the sum of P(''N''). The value chosen isn't important here, just the functional form (this is an [[improper prior]], so no value of ''k'' gives a valid distribution, but [[Bayesian inference]] is still possible using it.) Since Gott specifies the [[Prior probability|prior]] distribution of total humans, ''P(N)'', [[Bayes's theorem]] and the [[principle of indifference]] alone give us ''P(N|n)'', the probability of ''N'' humans being born if ''n'' is a random draw from ''N'': :<math>P(N\mid n) = \frac{P(n\mid N) P(N)}{P(n)}.</math> This is Bayes's theorem for the [[Posterior probability|posterior]] probability of total population exactly ''N'', [[conditioned]] on current population exactly ''n''. Now, using the indifference principle: :<math>P(n\mid N) = \frac{1}{N}</math>. The unconditioned ''n'' distribution of the current population is identical to the vague prior ''N'' probability density function,<ref>The only [[probability density function]]s that must be specified a priori are: * Pr(''N'') - the ultimate number of people that will be born, assumed by J. Richard Gott to have a vague prior distribution, Pr(''N'') = ''k''/''N'' * Pr(''n''|''N'') - the chance of being born in any position based on a total population ''N'' - all DA forms assume the [[Copernican principle]], making Pr(''n''|''N'') = 1/''N'' From these two distributions, the DA proceeds to create a Bayesian inference on the distribution of ''N'' from ''n'', through [[Bayes' theorem#Bayes' theorem for probability densities|Bayes' rule]], which requires P(''n''); to produce this, integrate over all the possible values of ''N'' which might contain an individual born ''n''th (that is, wherever ''N'' > ''n''): :<math> P(n) = \int_{N=n}^{N=\infty} P(n\mid N) P(N) \,dN = \int_{n}^{\infty}\frac{k}{N^2} \,dN </math> <math>= \frac{k}{n}</math> This is why the marginal distribution of n and N are identical in the case of P(''N'') = ''k''/''N' </ref> so: :<math>P(n) = \frac{k}{n}</math>, giving P (''N'' | ''n'') for each specific ''N'' (through a substitution into the posterior probability equation): :<math>P(N\mid n) = \frac{n}{N^2}</math>. The easiest way to produce the doomsday estimate with a given confidence (say 95%) is to pretend that ''N'' is a [[Continuous random variable|continuous variable]] (since it is very large) and [[Integral|integrate]] over the probability density from ''N'' = ''n'' to ''N'' = ''Z''. (This will give a function for the probability that ''N'' ≤ ''Z''): :<math>P(N \leq Z) = \int_{N=n}^{N=Z} P(N|n)\,dN</math> <math> = \frac{Z-n}{Z}</math> Defining ''Z'' = 20''n'' gives: :<math>P(N \leq 20n) = \frac{19}{20}</math>. This is the simplest [[Bayesian]] derivation of the DA: :The chance that the total number of humans that will ever be born (''N'') is greater than twenty times the total that have been is below 5% The use of a [[prior probability#Uninformative priors|vague prior]] distribution seems well-motivated as it assumes as little knowledge as possible about ''N'', given that any particular function must be chosen. It is equivalent to the assumption that the probability density of one's fractional position remains uniformly distributed even after learning of one's absolute position (''n''). Gott's 'reference class' in his original 1993 paper was not the number of births, but the number of years 'humans' had existed as a species, which he put [[Human evolution#H. sapiens|at 200,000]]. Also, Gott tried to give a 95% confidence interval between a ''minimum'' survival time and a maximum. Because of the 2.5% chance that he gives to underestimating the minimum he has only a 2.5% chance of overestimating the maximum. This equates to 97.5% confidence that extinction occurs before the upper boundary of his confidence interval. 97.5% is one chance in forty, which can be used in the integral above with ''Z'' = 40''n'', and ''n'' = 200,000 years: :<math>P(N \leq 40[200000]) = \frac{39}{40}</math> This is how Gott produces a 97.5% confidence of extinction within ''N'' ≤ 8,000,000 years. The number he quoted was the likely time remaining, ''N''&nbsp;−&nbsp;''n'' = '''7.8 million years'''. This was much higher than the temporal confidence bound produced by counting births, because, it applied the principle of indifference to time. (Producing different estimates by sampling different parameters in the same hypothesis is [[Bertrand's paradox (probability)|Bertrand's paradox]].) His choice of 95% confidence bounds (rather than 80% or 99.9%, say) matched the scientifically accepted limit of [[statistical significance]] for hypothesis rejection. Therefore, he argued that the [[hypothesis]]: “humanity will cease to exist before 5,100 years or thrive beyond 7.8 million years” can be rejected. Leslie's argument differs from Gott's version in that he does not assume a'' vague prior'' probability distribution for ''N''. Instead he argues that the force of the DA resides purely in the increased probability of an early Doomsday once you take into account your birth position, regardless of your prior probability distribution for ''N''. He calls this the ''probability shift''. [[Heinz von Foerster]] argued that humanity's abilities to construct societies, civilizations and technologies do not result in self inhibition. Rather, societies' success varies directly with population size. Von Foerster found that this model fit some 25 data points from the birth of [[Jesus]] to 1958, with only 7% of the [[variance]] left unexplained. Several follow-up letters (1961, 1962, …) were published in ''Science'' showing that von Foerster's equation was still on track. The data continued to fit up until 1973. The most remarkable thing about von Foerster's model was it predicted that the human population would reach infinity or a mathematical singularity, on Friday, [[November 13]], [[2026]]. In fact, von Foerster did not imply that the world population on that day could actually become infinite. The real implication was that the world population growth pattern followed for many centuries prior to 1960 was about to come to an end and be transformed into a radically different pattern. Note that this prediction began to be fulfilled just in a few years after the "Doomsday" was published.<ref>See, for example, [http://urss.ru/cgi-bin/db.pl?cp=&page=Book&id=34250&lang=en&blang=en&list=38 ''Introduction to Social Macrodynamics'']by [[Andrey Korotayev]] ''et al.''</ref> ==Reference classes== One of the major areas of DA debate is the [[reference class]] from which ''n'' is drawn, and of which ''N'' is the ultimate size. The 'standard' DA [[hypothesis]] doesn't spend very much time on this point, and simply says that the reference class is the number of 'humans'. Given that you are human, the Copernican principle could be applied to ask if you were born unusually early, but the grouping of 'human' has been widely challenged on [[Anthropology|practical]] and [[Philosophy|philosophical]] grounds. [[Nick Bostrom]] has argued that [[consciousness]] is (part of) the discriminator between what is in and what is out of the reference class, and that [[extraterrestrial intelligence]]s might affect the calculation dramatically. The following sub-sections relate to different suggested reference classes, each of which has had the standard DA applied to it. ===Sampling only [[Weapons of mass destruction|WMD]]-era humans=== The [[Doomsday clock]] shows the expected time to nuclear [[Apocalypse#The end of the world|Armageddon]] by the judgment of an [[Bulletin of the Atomic Scientists|expert board]], rather than a Bayesian model. If the twelve hours of the clock symbolize the lifespan of the human race, its current time of 11:55 implies that we are among the last 1% of people who will ever be born (i.e. that ''n'' > 0.99''N''). [[J. Richard Gott]]'s temporal version of the Doomsday argument (DA) would require very strong prior evidence to overcome the improbability of being born in such a [[Copernican principle|special]] time. :If the clock's doomsday estimate is correct, there is less than 1 chance in 100 of seeing it show such a late time in human history, if observed at a random time within that history. The [[Bulletin of the Atomic Scientists|scientists']] warning can be reconciled with the DA, however: The Doomsday clock specifically estimates the proximity of [[Nuclear weapon|atomic]] self-destruction - which has only been possible for sixty years.<ref>The clock first appeared in [[1949]], and the date on which humanity gained the power to destroy itself is debatable, but to simplify the argument the numbers here are based on an assumption of fifty years.</ref> If [[Doomsday event|doomsday]] requires nuclear weaponry then the DA 'reference class' is: people contemporaneous with nuclear weapons. In this model, the number of people living through, or born after [[Atomic bombings of Hiroshima and Nagasaki|Hiroshima]] is ''n'', and the number of people who ever will is ''N''. Applying [[J. Richard Gott|Gott's]] DA to these variable definitions gives a 50% chance of [[apocalypse]] within 50 years. :In this model, the clock's hands are so close to midnight because a [[conditional probability|condition]] of doomsday is living post-[[1945]], a condition which applies now but not to the earlier 11 hours and 53 minutes of the clock's metaphorical human 'day'. If your life is randomly selected from all lives lived under the shadow of the bomb, this simple model gives a 95% chance of [[Armageddon]] within 1000 years. The scientists' recent use of moving the clock forward to warn of the dangers posed by [[global warming]] muddles this reasoning, however. ===SSSA: Sampling from observer-moments=== [[Nick Bostrom]], [[Anthropic principle#Anthropic bias and anthropic reasoning|considering observation selection effects]], has produced a Self-Sampling Assumption (SSA): "''that you should think of yourself as if you were a random observer from a suitable reference class''". If the 'reference class' is the set of humans to ever be born, this gives ''N'' < 20''n'' with 95% confidence (the standard Doomsday argument). However, he has [[Anthropic bias|refined]] this idea to apply to ''observer-moments'' rather than just observers. He has formalized this ([http://anthropic-principle.com/preprints/self-location.html] as: :The Strong Self-Sampling Assumption ('''SSSA'''): Each observer-moment should reason as if it were randomly selected from the class of all observer-moments in its reference class. If the minute in which you read this article is randomly selected from every minute in every human's lifespan then (with 95% confidence) this event has occurred after the first 5% of human observer-moments. If future mean lifespan is twice historic, this implies 95% confidence that ''N'' < 10''n'' (the average future human will account for twice the observer-moments of the average historic human). Therefore, the 95th percentile extinction-time estimate in this version is '''4560 years'''. ==Rebuttals== ===We are in the earliest 5%, a priori=== If you agree with the statistical methods, still disagreeing with the Doomsday argument (DA) implies that: # We '''are''' within the first 5% of humans to be born. # This is '''not''' purely a coincidence. Therefore, these rebuttals try to give reasons for believing that we are some of the earliest humans. For instance, you are member 50,000 in a collaborative project, the Doomsday argument implies a 95% chance that there will never be more than a million members of that project. This can be refuted if your other characteristics are typical of the [[early adopter]]. The mainstream of potential users will prefer to be involved when the project is nearly complete. If you enjoy the project's incompleteness, we already know that you are unusual, prior to the discovery of your early involvement. If you have measurable attributes that set you apart from the typical long run user, the project DA can be refuted based on the fact that you would expect to be within the first 5% of members, [[A priori and a posteriori (philosophy)|a priori]]. The analogy to the total-human-population form of the argument is: Confidence in a prediction of the [[probability distribution|distribution]] of human characteristics that places modern & historic humans outside the mainstream, implies that we already know, before examining ''n'' that it is likely to be very early in ''N''. For example, if you are certain that 99% of humans who will ever live will be [[cyborg]]s, but you are not a cyborg, you could be equally certain that at least one hundred times as many people remain to be born as have been. [[Robin Hanson]]'s paper sums up these criticisms of the DA: :"All else is not equal; we have good reasons for thinking we are not randomly selected humans from all who will ever live." Drawbacks of this rebuttal: # The question of how the confident prediction is derived. We need an uncannily [[prescient]] picture of humanity's statistical [[probability distribution|distribution]] through all time, before we can pronounce ourselves extreme members of that [[population]]. (In contrast, project pioneers have clearly distinct psychology from the mainstream.) # If the majority of humans have characteristics we do not share, some would argue that this is equivalent to the Doomsday argument, since ''people like us'' will become extinct. ([[Friedrich Nietzsche]] outlines this [[pseudoextinction]] point of view in [[Also sprach Zarathustra]].) ===Critique: Human extinction is distant, a posteriori=== The [[a posteriori]] observation that [[extinction level event]]s are rare could be offered as evidence that the DA's predictions are implausible; typically, [[extinction]]s of a dominant [[species]] happens less often than once in a million years. Therefore, it is argued that [[Human extinction]] is unlikely within the next ten millennia. (Another [[probabilistic argument]], drawing a different conclusion from the DA.) In Bayesian terms, this response to the DA says that our knowledge of history (or ability to prevent disaster) produces a prior marginal for ''N'' with a minimum value in the trillions. If ''N'' is distributed uniformly from <math>10^{12}</math> to <math>10^{13}</math>, for example, then the probability of ''N'' < 1,200 billion inferred from ''n'' = 60 billion will be extremely small. This is an equally impeccable Bayesian calculation, rejecting the [[Copernican principle]] on the grounds that we must be 'special observers' since there is no likely mechanism for humanity to go extinct within the next hundred thousand years. This response is accused of overlooking the [[Human extinction#Human extinction scenarios|technological threats to humanity's survival]], to which earlier life was not subject, and is specifically rejected by most of the DA's academic critics (arguably excepting [[Robin Hanson]]). In fact, many [[futurologists]] believe the empirical situation is worse than Gott's DA estimate. For instance, Sir [[Martin Rees]] believes that the technological dangers give an estimated human survival duration of ninety-five years (with [[Our Final Hour|50% confidence]].) Earlier prophets made similar predictions and were 'proven' wrong (e.g. on [[Doomsday argument#Sampling only WMD-era humans|surviving the nuclear arms race]]). It is possible that their estimates were accurate, and that their common image as alarmists is a [[survivorship bias]]. ===The prior ''N'' distribution may make ''n'' very uninformative=== [[Robin Hanson]] argues that ''N'''s prior may be [[exponential distribution|exponentially distributed]]: :<math>N = \frac{e^{U(0, q]}}{c}</math> Here, ''c'' and'' q'' are constants. If ''q'' is large, then our 95% confidence upper bound is on the uniform draw, not the exponential value of ''N''. The best way to compare this with Gott's Bayesian argument is to flatten the distribution from the vague prior by having the probability fall off more slowly with ''N'' (that inverse proportionally). This corresponds to the idea that humanity's growth may be exponential in time with doomsday having a vague prior [[probability density function|pdf]] in ''time''. This would mean than ''N'', the last birth, would have a distribution looking like the following: :<math>\Pr(N) = \frac{k}{N^\alpha}, 0 < \alpha < 1. </math> This prior ''N'' distribution is all that is required (with the principle of indifference) to produce the inference of ''N'' from ''n'', and this is done in an identical way to the standard case, as described by Gott (equivalent to <math>\alpha</math> = 1 in this distribution): :<math> \Pr(n) = \int_{N=n}^{N=\infty} \Pr(n\mid N) \Pr(N) \,dN = \int_{n}^{\infty} \frac{k}{N^{(\alpha+1)}} \,dN = \frac{k}{{\alpha}n^{\alpha}}</math> Substituting into the posterior probability equation): :<math>\Pr(N\mid n) = \frac{{\alpha}n^{\alpha}}{N^{(1+\alpha)}}.</math> Integrating the probability of any ''N'' above ''xn'': :<math>\Pr(N > xn) = \int_{N=xn}^{N=\infty} \Pr(N\mid n)\,dN = \frac{1}{x^{\alpha}}.</math> For example, if ''x'' = 20, and <math>\alpha</math> = 0.5, this becomes: :<math>\Pr(N > 20n) = \frac{1}{\sqrt{20}} \simeq 22.3\%. </math> Therefore, with this prior, the chance of a trillion births is well over 20%, rather than the 5% chance given by the standard DA. If <math>\alpha</math> is reduced further by assuming a flatter prior ''N'' distribution, then the limits on'' N'' given by ''n'' become weaker. An <math>\alpha</math> of one reproduces Gott's calculation with a birth reference class, and <math>\alpha</math> around 0.5 could approximate his temporal confidence interval calculation (if the population were expanding exponentially). As <math>\alpha \to 0</math> (gets smaller) ''n'' becomes less and less [[uninformative prior|informative]] about ''N''. In the limit this distribution approaches an (unbounded) [[uniform distribution]], where all values of ''N'' are equally likely. This is Page et al.'s''' "Assumption 3"''', which they find few reasons to reject, a priori. (Although all distributions with <math>\alpha \leq 1</math> are improper priors, this applies to Gott's vague-prior distribution also, and they can all be converted to produce [[improper integral|proper integrals]] by postulating a finite upper population limit.) Since the probability of reaching a population of size 2''N'' is usually thought of as the chance of reaching ''N'' multiplied by the survival probability from ''N'' to 2''N'' it seems that Pr(''N'') must be a [[monotonic function|monotonically]] decreasing function of ''N'', but this doesn't necessarily require an inverse proportionality. A prior distribution with a very low <math>\alpha</math> [[parameter]] makes the DA's ability to constrain the ultimate size of humanity very weak. ===Infinite Expectation=== Another objection to the Doomsday Argument is that the [[Expected value|expected]] total human population is actually [[infinite]]. The calculation is as follows: :The total human population <var>N</var> = <var>n</var>/<var>f</var>, where <var>n</var> is the human population to date and <var>f</var> is our fractional position in the total. :We assume that <var>f</var> is uniformly distributed on <nowiki>(0,1]</nowiki>. : The expectation of <var>N</var> is <math> E(N) = \int_{0}^{1} {n \over f} \, df = n \ln (1) - n \ln (0) = + \infty .</math> This infinite expectation shows that, under the framework of the DA, humanity still has some chance of surviving an arbitrarily long time. For a similar example of counterintuitive infinite expectations, see the [[St. Petersburg paradox]]. ==='''SIA''': The possibility of not existing at all=== One objection is that the possibility of you existing at all depends on how many humans will ever exist (''N''). If this is a high number, then the possibility of you existing is higher than if only a few humans will ever exist. Since you do indeed exist, this is evidence that the number of humans that will ever exist is high. This objection, originally by [[Dennis Dieks]] ([[1992]]), is now known by [[Nick Bostrom]]'s name for it: the "[[Self-Indication Assumption]] objection". It can be shown that some [[Self-Indication Assumption|SIAs]] prevent any inference of ''N'' from ''n'' (the current population); for details of this argument from the Bayesian inference perspective see: [[Self-Indication Assumption Doomsday argument rebuttal]]. ===Many worlds=== [[John Eastmond]]'s "Many-Worlds Resolution of the Doomsday Argument" claims that when the Doomsday Argument is extended from a form that deals with a single historic timeline into one dealing with the many bifurcating simultaneous histories suggested by the [[many-worlds interpretation]] of [[quantum mechanics]] then one finds that the generalized argument no longer makes any prediction about ''the'' future total size of the human race. More specifically, if each finite value of total population size is realized in a different future, then learning of our present position from the beginning of the human race does not change our prior belief about which particular total population size we will find ourselves experiencing in one of humanity's many futures (assuming that versions of us live long enough to see versions of Doomsday). ===Caves' rebuttal=== Caves' [[Bayesian]] argument says that the uniform distribution assumption is incompatible with the [[Copernican principle]], not a consequence of it. He gives a number of examples to argue that Gott's rule is implausible. For instance, he says, imagine stumbling into a birthday party, about which you know nothing: :Your friendly enquiry about the age of the celebrant elicits the reply that she is celebrating her (''t''<sub>''p''</sub> = ) 50th birthday. According to Gott, you can predict with 95% confidence that the woman will survive between [50]/39 = 1.28 years and 39[&times;50] = 1,950 years into the future. Since the wide range encompasses reasonable expectations regarding the woman's survival, it might not seem so bad, till one realizes that [Gott's rule] predicts that with probability 1/2 the woman will survive beyond 100 years old and with probability 1/3 beyond 150. Few of us would want to bet on the woman's survival using Gott's rule. ''(See Caves' online paper [[Doomsday argument#External links|below]].)'' Although this example exposes a weakness in [[J. Richard Gott]]'s "Copernicus method" DA (that he does not specify when the "Copernicus method" can be applied) it is not precisely analogous with the [[Doomsday argument#Numerical estimates of the Doomsday argument|modern DA]]; [[Epistemology|epistemological]] refinements of Gott's argument by [[philosopher]]s such as [[Nick Bostrom]] specify that: : Knowing the absolute birth rank (''n'') must give no information on the total population (''N''). Careful DA variants specified with this rule aren't shown implausible by Caves' "Old Lady" example above, because, the woman's age is given prior to the estimate of her lifespan. Since human age gives an estimate of survival time (via [[actuary|actuarial]] tables) Caves' Birthday party age-estimate could not fall into the class of DA problems defined with this proviso. To produce a comparable "Birthday party example" of the carefully specified Bayesian DA we would need to completely exclude all prior knowledge of likely human life spans; in principle this could be done (e.g.: hypothetical [[Amnesia chamber]]). However, this would remove the modified example from everyday experience. To keep it in the everyday realm the lady's age must be ''hidden'' prior to the survival estimate being made. (Although this is no longer exactly the DA, it is much more comparable to it.) Without knowing the lady’s age, the DA reasoning produces a ''rule'' to convert the birthday (''n'') into a maximum lifespan with 50% confidence (''N''). Gott's [[Copernicus method]] rule is simply: Prob (''N'' < 2''n'') = 50%. How accurate would this estimate turn out to be? Western [[demographics]] are now fairly [[uniform]] across ages, so a random birthday (''n'') could be (very roughly) approximated by a U(0,''M''<nowiki>]</nowiki> draw where ''M'' is the maximum lifespan in the census. In this 'flat' model, everyone shares the same lifespan so ''N'' = ''M''. If ''n'' happens to be less than (''M'')/2 then Gott's 2''n'' estimate of ''N'' will be under ''M'', its true figure. The other half of the time 2''n'' underestimates ''M'', and in this case (the one Caves highlights in his example) the subject will die before the 2''n'' estimate is reached. In this 'flat demographics' model Gott's 50% confidence figure is proven right 50% of the time. ===Self-referencing doomsday argument rebuttal=== {{main|Self-referencing doomsday argument rebuttal}} Some philosophers have been bold enough to suggest that only people who have contemplated the Doomsday argument (DA) belong in the reference class '[[human]]'. If that is the appropriate reference class, [[Brandon Carter|Carter]] defied his own prediction when he first described the argument (to the [[Royal Society]]). A member present could have argued thus: :"Presently, only one person in the world understands the Doomsday argument, so by its own logic there is a 95% chance that it is a minor problem which will only ever interest twenty people, and I should ignore it." [[Jeff Dewynne]] and Professor [[Peter Landsberg]] suggested that this line of reasoning will create a [[paradox]] for the Doomsday argument: If a member did pass such a comment, it would indicate that they understood the DA sufficiently well that in fact 2 people could be considered to understand it, and thus there would a 95% chance that 40 people would actually be interested. Also, of course, ignoring something because you only expect a small number of people to be interested in it is extremely short sighted - if this approach were to be taken, nothing new would ever be explored, if we assume no ''a priori'' knowledge of the nature of interest and attentional mechanisms. Additionally, it should be considered that because [[Brandon Carter|Carter]] did present and describe his argument, in which case the people to whom he explained it did contemplate the DA, as it was inevitable, the conclusion could then be drawn that in the moment of explanation [[Brandon Carter|Carter]] created the basis for his own prediction. ==Mathematics-free explanation by analogy== Think of the human race like a car driver. We've had some bumps, but no catastrophes, and our car ([[Earth]]) is still road-worthy, but we want insurance. We ask the cosmic insurer how much a millennium’s cover will be, but they haven't dealt with humanity before. How should they work out the premium? The Doomsday Argument says that all they have to ask is how long we've been on the road (at least 40,000 years without an accident), they should calculate our insurance based on us having a 50% chance of having a fatal accident inside another 40,000 years. Insurance companies try to attract drivers with long accident-free histories not because they necessarily drive more safely than newly qualified drivers, but for statistical reasons: They calculate that each driver looks for insurance quotes every year, so that the time since the last [[accident]] is a random sample between accidents. The chance of being more than halfway through a random sample is half, and if they are more than half way between accidents then they are heading for an accident in less time than the time since their last. A driver who hasn't had a scratch in 40 years will be quoted a very low premium for this reason, but you shouldn't expect cheap insurance if you've only passed your test two hours ago (equivalent to the accident-free record of the human race in relation to 40 years of [[geological time]].) ===Analogy to the estimated final score of a cricket batsman=== A random in-progress [[cricket]] [[Test cricket|test match]] is sampled for a single piece of information: the current [[batsman]]'s run tally so far. If the batsman is dismissed (rather than declaring), what is the chance that he will end up with a score more than double his current total? : A ''rough'' [[empirical]] result is that the chance is half (on average). The '''Doomsday argument''' (DA) is that even if we were completely ignorant of the game we could make the same prediction, or profit by offering a bet paying [[odds]] of 2-to-3 on the batsmen doubling his current score. Importantly, we can only offer the bet before the current score is given (this is necessary because the absolute value of the current score would give a cricket expert a lot of information about the chance of that tally doubling). It is necessary to be ignorant of the absolute run tally before making the prediction because this is linked to the likely total, but if the likely total and absolute value are ''not'' linked the survival prediction can be made ''after'' discovering the batter's current score. Analogously, the DA says that ''if the absolute number of humans born gives no information on the number that will be'', we can predict the species’ total number of births after discovering that 60 billion people have ever been born: with 50% confidence it is 120 billion people, so that there is better-chance-than-not that '''the last human birth will occur before the 23rd century'''. It is ''not'' true that the chance is half, ''whatever'' is the number of runs currently scored; [[batting]] records give an empirical [[correlation]] between reaching a given score (50 say) and reaching any other, higher score (say 100). On the average, the chance of doubling the current tally may be half, but the chance of reaching a century having scored fifty is much lower than reaching ten from five. Thus, the ''absolute'' value of the score gives information about the likely final total the batsman will reach, beyond the “scale invariant”.<ref>The cricketing rationale for the lengthening of future survival time with current score is that batting is a test of skill that a high-scoring batsman has passed. Therefore, higher scores are correlated with better players who will then be more likely to continue scoring heavily. Historic batting records give a [[Prior probability|prior]] distribution that provides other useful data. In particular, we know the [[mean]] score across all players and matches. High and low [[Posterior probability|posterior]] information (the current score) only gives a weak indication of the player's skill, which is more strongly described by this ''prior'' mean. (This [[Statistical phenomena|statistical phenomenon]] of [[Prior probability#Informative priors|informative]] averages is called [[Regression toward the mean]].)</ref> An analogous Bayesian critique of the DA is that we somehow possess [[Prior probability|prior]] knowledge of the all-time human population distribution (total runs scored), and that this is more significant than the finding of a low number of births until now (a low current run count). There are two alternative methods of making [[uniform]] draws from the current score (''n''): # Put the runs actually scored by dismissed player in order, say 200, and randomly choose between these scoring increments by <nowiki>U(0, 200]</nowiki>. # Select a ''time'' randomly from the beginning of the match to the final dismissal. The second sampling-scheme will include those lengthy periods of a game where a dismissed player is replaced, during which the ‘current batsman’ is preparing to take the field and has no runs. If we sample based on time-of-day rather than running-score we will often find that a new batsman has a score of zero ''when the total score that day was low'', but we will rarely sample a zero if one batsman stayed at the [[crease]], piling on runs all day long. Therefore, the fact that we sample a non-zero score would tell us something about the likely final score that the current batsman will achieve. Choosing sampling method 2 rather than method 1 would give a different statistical link between current and final score: any non-zero score would imply that the batsman reached a high final total, especially if the time to replace batsman is ''very'' long. This is analogous to the [[Self-Indication Assumption|SIA]]-DA-refutation that ''N'''s distribution should include ''N'' = 0 states, which leads to the DA having reduced [[predictive power]] (in the extreme, no power to predict ''N'' from ''n'' at all). ==See also== * [[Doomsday]] * [[Doomsday event]]s * [[Fermi paradox]] * [[Final anthropic principle]] * [[List of disasters#Causes of hypothetical future disasters|Hypothetical disasters]] * [[Mediocrity principle]] * [[Quantum immortality]] * [[Simulated reality]] * [[Sic transit gloria mundi]] * [[Survival analysis]] * [[Survivalism]] * [[Technological singularity]] * [[Black swan theory]] ==References== {{reflist}} {{refbegin}} * John Leslie, ''The End of the World: The Science and Ethics of Human Extinction'', Routledge, 1998, ISBN 0-415-18447-9. * J. R. Gott III, ''Future Prospects Discussed'', Nature, vol. 368, p. 108, 1994. * This argument plays a central role in [[Stephen Baxter]]'s science fiction book, ''[[Manifold: Time]]'', Del Rey Books, 2000, ISBN 0-345-43076-X. {{refend}} ==External links== * [http://flatrock.org.nz/topics/environment/doom_soon.htm A non-mathematical, unpartisan introduction to the DA] * [http://youtube.com/watch?v=F-QA2rkpBSY A compelling lecture from the University of Colorado-Boulder] * [http://www.anthropic-principle.com/preprints/ali/alive.html Nick Bostrom's response to Korb and Oliver] * [http://www.anthropic-principle.com/primer1.html Nick Bostrom's summary version of the argument] * [http://www.anthropic-principle.com/preprints.html#doomsday Nick Bostrom's annotated collection of references] * [http://arxiv.org/abs/gr-qc/9407002 Kopf, Krtouš & Page's early (1994) refutation] based on the [[SIA]], which they called "Assumption 2". * [http://xxx.lanl.gov/abs/gr-qc/0208038 The Doomsday Argument, Consciousness and Many Worlds by John Eastmond] * [http://xxx.lanl.gov/abs/gr-qc/0009081 The Doomsday argument and the number of possible observers by Ken Olum] In 1993 [[J. Richard Gott]] used his "Copernicus method" to predict the lifetime of Broadway shows. One part of this paper uses the same reference class as an empirical counter-example to Gott's method. * [http://hanson.gmu.edu/nodoom.html A Critique of the Doomsday Argument by Robin Hanson] * [http://cogprints.ecs.soton.ac.uk/archive/00002990/ A third route to the doomsday argument by Paul Franceschi] * [http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=82931 Chambers' Ussherian Corollary Objection] * [http://info.phys.unm.edu/papers/2000/Caves2000a.pdf Caves' Bayesian critique of Gott's argument. C. M. Caves, "Predicting future duration from present age: A critical assessment", Contemporary Physics 41, 143-153 (2000).] * [http://arxiv.org/abs/0806.3538v1 C.M. Caves, "Predicting future duration from present age: Revisiting a critical assessment of Gott's rule.] * [http://www.lrb.co.uk/v21/n13/gree04_.html Mark Greenberg, "Apocalypse Not Just Now" in London Review of Books] * [http://pthbb.org/manual/services/grim/laster.html Laster]: A simple webpage applet giving the min & max survival times of anything with 50% and 95% confidence requiring only that you input how old it is. It is designed to use the same mathematics as [[J. Richard Gott]]'s form of the DA, and was programmed by [[sustainable development]] researcher Jerrad Pierce. {{Doomsday}} [[Category:Eschatology]] [[Category:Probability theory]] [[Category:Theories of history]] [[Category:Sociocultural evolution]] [[Category:Arguments]] [[de:Doomsday-Argument]] [[es:Argumento del juicio final]] [[fr:Argument de l'apocalypse]] [[ru:Doomsday argument]]