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

Author

Moritz Firsching, Oct 11 2015

Keywords

• nonn
• cons

Comments

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

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).