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
Examples
0.63957768999472013311289987056573138411527648191441962258274235583613235318588...
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.
Crossrefs
Cf. A051491.
Formula
Equals 1/log_2(A051491).
Comments