A263183 - OEIS

%I #18 Feb 03 2018 13:04:42

%S 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,

%T 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,

%U 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

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

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

%H Andreas Weiermann, <a href="http://www.jstor.org/stable/4147731">An Application of Graphical Enumeration to PA</a>, The Journal of Symbolic Logic, Vol. 68, No. 1 (2003), 5-16 (see page 13).

%H Andreas Weiermann and Dirk Huylebrouck, <a href="http://dx.doi.org/10.1515/dmvm-2015-0060">Beweisbar oder nicht? Die Grenzzahl 0,639578175...</a>, Mitteilungen der DMV, Volume 23, Issue 3 (2015), 156-159.

%F Equals 1/log_2(A051491).

%e 0.63957768999472013311289987056573138411527648191441962258274235583613235318588...

%Y Cf. A051491.

%K nonn,cons

%O 0,1

%A _Moritz Firsching_, Oct 11 2015