The OEIS is supported by the many generous donors to the OEIS Foundation.

 Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 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 (list; constant; graph; refs; listen; history; text; internal format)
 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

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

Last modified June 1 03:55 EDT 2023. Contains 363068 sequences. (Running on oeis4.)