|
|
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
|
Eric Weisstein's World of Mathematics, Connective.
|
|
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
|
|
|
KEYWORD
|
more,nonn
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|