A263183 Decimal expansion of 1/log_2(r), where r is Otter's rooted tree constant.

6, 3, 9, 5, 7, 7, 6, 8, 9, 9, 9, 4, 7, 2, 0, 1, 3, 3, 1, 1, 2, 8, 9, 9, 8, 7, 0, 5, 6, 5, 7, 3, 1, 3, 8, 4, 1, 1, 5, 2, 7, 6, 4, 8, 1, 9, 1, 4, 4, 1, 9, 6, 2, 2, 5, 8, 2, 7, 4, 2, 3, 5, 5, 8, 3, 6, 1, 3, 2, 3, 5, 3, 1, 8, 5, 8, 8, 1, 6, 7, 7, 3, 6, 8, 6, 9, 5, 7, 0, 5, 0, 8, 4, 0, 1, 7, 9, 5, 9, 1

Offset

0,1

Comments

The article "Beweisbar oder nicht? Die Grenzzahl 0,639578175..." (linked below) has a wrong value (already in the title).

Links

Table of n, a(n) for n=0..99.

Andreas Weiermann, An Application of Graphical Enumeration to PA, The Journal of Symbolic Logic, Vol. 68, No. 1 (2003), 5-16 (see page 13).

Andreas Weiermann and Dirk Huylebrouck, Beweisbar oder nicht? Die Grenzzahl 0,639578175..., Mitteilungen der DMV, Volume 23, Issue 3 (2015), 156-159.

Formula

Equals 1/log_2(A051491).

Example

0.63957768999472013311289987056573138411527648191441962258274235583613235318588...

Crossrefs

Cf. A051491.

Sequence in context: A243152 A093754 A135935 * A037905 A180596 A154465

Adjacent sequences: A263180 A263181 A263182 * A263184 A263185 A263186

Keyword

nonn,cons

Author

Moritz Firsching, Oct 11 2015

Status

approved