

A166746


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


0



0, 0, 4, 12, 72, 262, 1396, 6126, 31186, 144606, 713078, 3384796
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

1,3


COMMENTS

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


LINKS

Table of n, a(n) for n=1..12.
Eric Weisstein's World of Mathematics, Propositional Calculus.
Eric Weisstein's World of Mathematics, Connective.
Eric Weisstein et al., Goedel Number.


EXAMPLE

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.


CROSSREFS

A101273, A100200, A101248
Sequence in context: A335907 A013195 A323295 * A052558 A190340 A232325
Adjacent sequences: A166743 A166744 A166745 * A166747 A166748 A166749


KEYWORD

more,nonn


AUTHOR

Charles R Greathouse IV, Oct 21 2009


STATUS

approved



