login
A263183
Decimal expansion of 1/log_2(r), where r is Otter's rooted tree constant.
0
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
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
KEYWORD
nonn,cons
AUTHOR
Moritz Firsching, Oct 11 2015
STATUS
approved