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
KEYWORD
nonn,cons
AUTHOR
Moritz Firsching, Oct 11 2015
STATUS
approved