# Does recursive uncertainty exist?

**URL:** <https://boards.straightdope.com/t/does-recursive-uncertainty-exist/928840>\
**Category:** Factual Questions\
**Created:** [December 24, 2020, 7:16pm UTC](https://boards.straightdope.com/t/does-recursive-uncertainty-exist/928840 "2020-12-24T19:16:06Z")\
**Posts on this page:** 10\
**Page:** 1

<div class="post-metadata">

**Author:** ![Shalmanese](https://avatars.discourse-cdn.com/v4/letter/s/45deac/32.png) [@Shalmanese](https://boards.straightdope.com/u/Shalmanese)\
**Post date:** [December 24, 2020, 7:16pm UTC](https://boards.straightdope.com/t/does-recursive-uncertainty-exist/928840/1 "2020-12-24T19:16:06Z")

</div>

Let’s say I have a object where I’m uncertain about it’s temperature, but I can model it as a bell curve where the mean is 50C with a std dev of 10C. OK, fine, that’s simple enough, I can visualize that as like, a probability cloud.

But what if I’m uncertain about the uncertainty? Like, I could have a bell curve where the mean of the bell curve is a bell curve and the std dev is another bell curve. So like, now, what I have is a probability cloud of different possible bell curves that each also represent a probability cloud.

But obviously, this process can be applied recursively and by the 3rd level, I’ve already lost all of my mental tools. And like, what happens if the mean of a bell curve is a power law distribution?

Is this a defined field of mathematics? What keywords should I be searching for to understand how to think about problems like this?

---

<div class="post-metadata">

**Author:** ![OldGuy](https://avatars.discourse-cdn.com/v4/letter/o/3bc359/32.png) [@OldGuy](https://boards.straightdope.com/u/OldGuy)\
**Post date:** [December 25, 2020, 2:11am UTC](https://boards.straightdope.com/t/does-recursive-uncertainty-exist/928840/2 "2020-12-25T02:11:39Z")

</div>

Yes you can do this. It’s called a subordinated (normal) distribution. However, the std dev or variance could not have a normal distribution as that includes negative values. Two standard subordinated normals are a normal in which the mean is also normal and a normal in which the variance has a gamma distribution.

Note that the first is just a more spread out normal.

---

<div class="post-metadata">

**Author:** ![Riemann](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/riemann/32/3133_2.png) [@Riemann](https://boards.straightdope.com/u/Riemann)\
**Post date:** [December 25, 2020, 2:15am UTC](https://boards.straightdope.com/t/does-recursive-uncertainty-exist/928840/3 "2020-12-25T02:15:13Z")

</div>

In a less technical sense, this is reminiscent of Rumsfeld’s famous statement.

> **[There are unknown unknowns](https://en.wikipedia.org/wiki/There_are_known_knowns)**
>
> Pages for logged out editors learn more
> 
> 			  
> "There are unknown unknowns" is a phrase from a response United States Secretary of Defense Donald Rumsfeld gave to a question at a U.S. Department of Defense (DoD) news briefing on February 12, 2002, about the lack of evidence linking the government of Iraq with the supply of weapons of mass destruction to terrorist groups. Rumsfeld stated:
> Reports that say that something hasn't happened are always interesting to me, because as we know, there...

---

<div class="post-metadata">

**Author:** ![CookingWithGas](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/cookingwithgas/32/485_2.png) [@CookingWithGas](https://boards.straightdope.com/u/CookingWithGas)\
**Post date:** [December 25, 2020, 2:46am UTC](https://boards.straightdope.com/t/does-recursive-uncertainty-exist/928840/4 "2020-12-25T02:46:19Z")

</div>

OldGuy’s subordinated distribution is a little over my head, but isn’t uncertainty the reason that we use confidence intervals? Rather than diving into an abyss of an uncertainty loop?

---

<div class="post-metadata">

**Author:** ![DPRK](https://avatars.discourse-cdn.com/v4/letter/d/4491bb/32.png) [@DPRK](https://boards.straightdope.com/u/DPRK)\
**Post date:** [December 25, 2020, 7:53am UTC](https://boards.straightdope.com/t/does-recursive-uncertainty-exist/928840/5 "2020-12-25T07:53:59Z")

</div>

I believe that is exactly what is happening here: you make some measurements and then you can construct confidence intervals using Gosset’s t-distribution.

> [@](#):
>
> If we take a sample of n observations from a normal distribution, then the _t_-distribution with ν = n − 1 degrees of freedom can be defined as the distribution of the location of the sample mean relative to the true mean, divided by the sample standard deviation, after multiplying by the standardizing term √n . In this way, the _t_-distribution can be used to construct a confidence interval for the true mean.
> 
> The _t_-distribution is symmetric and bell-shaped, like the normal distribution, but has heavier tails, meaning that it is more prone to producing values that fall far from its mean.

---

<div class="post-metadata">

**Author:** ![markn\_1](https://avatars.discourse-cdn.com/v4/letter/m/f9ae1b/32.png) [@markn\_1](https://boards.straightdope.com/u/markn_1)\
**Post date:** [December 25, 2020, 7:58pm UTC](https://boards.straightdope.com/t/does-recursive-uncertainty-exist/928840/6 "2020-12-25T19:58:57Z")

</div>

[Here’s how to display the results with error bars](https://xkcd.com/2110/) (courtesy of xkcd).

---

<div class="post-metadata">

**Author:** ![CookingWithGas](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/cookingwithgas/32/485_2.png) [@CookingWithGas](https://boards.straightdope.com/u/CookingWithGas)\
**Post date:** [December 26, 2020, 1:26pm UTC](https://boards.straightdope.com/t/does-recursive-uncertainty-exist/928840/7 "2020-12-26T13:26:54Z")

</div>

I guess you have to keep going with that and get a fractal.

---

<div class="post-metadata">

**Author:** ![naita](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/naita/32/5862_2.png) [@naita](https://boards.straightdope.com/u/naita)\
**Post date:** [December 26, 2020, 3:38pm UTC](https://boards.straightdope.com/t/does-recursive-uncertainty-exist/928840/8 "2020-12-26T15:38:37Z")

</div>

An object has only one temperature (unless we’re going to say that it’s not at equilibrium, which introduces a slew of additional issues to this problem), so to get your bell curve “model” you need to take a large number of measurements and see what the mean and standard deviation of those measurements are. That’s your sample mean and sample sd. They are properties of your measurements, not your object, and it’s just known that neither is a certain value.

If you increase the number of measurements your sample mean will get closer to the real (unknown) mean and the sd will shrink.

It doesn’t really make sense to say that the “mean” has a bell curve and sd has a bell curve in this situation, but let me, briefly, explain a little more about the t-distribution (Gosset’s or Student’s).

Imagine you are not measuring the temperature of a thing, but you are sampling a population. Say the height of 25-year olds in Japan. If you have a few hundred samples your sample mean and sample standard deviation will tell you a lot about the actual population mean and population sd. But if you only have a small sample both your sample mean _and_ your sd will be quite uncertain. That means you can’t just normalize them, look at the bell curve and say “the real mean is likely to be within these bounds”.

If you repeat the small sample experiment over and over again you will actually get a bell curve, but there is no way to know, based on your sample, what the standard deviation and mean of that bell curve will be.

But if you imagine taking every such sample and normalizing it using the population mean, the sample size and the _sample_ sd, you get the t-distribution. And what this means is that if you do only one experiment, you can use this same normalization to get a value that you can compare to the standard t-distribution and make statements about how probable it is to get this result given a hypothesized mean.

That was probably not very clear, so  
tl;dr Read up on the t-distribution and its uses.

---

<div class="post-metadata">

**Author:** ![Pasta](https://avatars.discourse-cdn.com/v4/letter/p/ecccb3/32.png) [@Pasta](https://boards.straightdope.com/u/Pasta)\
**Post date:** [December 26, 2020, 6:21pm UTC](https://boards.straightdope.com/t/does-recursive-uncertainty-exist/928840/9 "2020-12-26T18:21:25Z")

</div>

> [@naita](#):
>
> An object has only one temperature…

This is a principle in the [frequentist](https://en.wikipedia.org/wiki/Frequentist_probability) paradigm, but in the [Bayesian](https://en.wikipedia.org/wiki/Bayesian_probability) paradigm one would speak of the probability distribution for the temperature. Which probability interpretation you use depends on the question(s) you want to answer, and to some degree on the applicability of the methodology.

To the title topic, some points:

- Errors on errors is a thing.
- Whether errors on errors matter is a quantitative question. In practice, they often don’t, but sometimes they do. It depends on the questions you are trying to answer and on the influence the errors may have on that.
- It takes very little complexity before a problem is best treated by simulation anyway, in which case it’s more straightforward to deal with errors on errors.
- Properly assessing errors is typically the hardest part of any non-trivial measurement problem, and other approximations may be present that dominate over “errors on errors”. So the latter are often not practically relevant.

I am not aware of any dedicated term for “recursive uncertainty”. It’s all just uncertainty, even if some uncertainty is on uncertainty. At the end of the day it’s all getting rolled up.

---

<div class="post-metadata">

**Author:** ![Half\_Man\_Half\_Wit](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/half_man_half_wit/32/21766_2.png) [@Half\_Man\_Half\_Wit](https://boards.straightdope.com/u/Half_Man_Half_Wit)\
**Post date:** [December 26, 2020, 6:42pm UTC](https://boards.straightdope.com/t/does-recursive-uncertainty-exist/928840/10 "2020-12-26T18:42:01Z")

</div>

> [@Pasta](#):
>
> I am not aware of any dedicated term for “recursive uncertainty”.

In economics, the concept of ‘[Knightian uncertainty](https://www.wikiwand.com/en/Knightian_uncertainty)’ seems relevant—it’s uncertainty that can’t be effectively quantified, so you’re in that sense uncertain about precisely how uncertain you are.
