The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A166746 Count of propositional theorems up to 10^n in Richard C. Schroeppel's Goedelization of A101273. 0

%I

%S 0,0,4,12,72,262,1396,6126,31186,144606,713078,3384796

%N Count of propositional theorems up to 10^n in Richard C. Schroeppel's Goedelization of A101273.

%C Jonathan Vos Post conjectures that a(n) is approximately D^n for some real number D.

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/PropositionalCalculus.html">Propositional Calculus</a>.

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/Connective.html">Connective</a>.

%H Eric Weisstein et al., <a href="http://mathworld.wolfram.com/GoedelNumber.html">Goedel Number</a>.

%e The first five theorems in A101273 are 171 ("A->A"), 181 ("A=A"), 272 ("B->B"), 282 ("B=B"), and 1531 ("A xor -A"), so a(1) = 0, a(2) = 0, and a(3) = 4.

%Y A101273, A100200, A101248

%K more,nonn

%O 1,3

%A _Charles R Greathouse IV_, Oct 21 2009

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

Last modified April 18 10:56 EDT 2021. Contains 343087 sequences. (Running on oeis4.)