|
Search: id:A092124
|
|
|
| A092124 |
|
a(0) = 2, a(n) = (2^(2^n)+2)*a(n-1) for n>0. |
|
+0
1
|
|
| 2, 12, 216, 55728, 3652301664, 15686516209310983872, 289365149921256212111714425927549504896, 98465858119637274097902770931519409290135390781788892125023848289699334298368
(list; graph; listen)
|
|
|
OFFSET
|
0,1
|
|
|
COMMENT
|
In binary representation a(n) can be interpreted as an expression to represent n according to John von Neumann's definition of natural numbers: braces are coded as 1 and 0 and the empty set as 10={};
a(n) = (A001146(n)+2)*a(n-1) = 2*(A058891(n)+1)*a(n-1).
|
|
EXAMPLE
|
a(3)=55728='1101100110110000' -> {{}{{}}{{}{{}}}} -> {{},{{}},{{},{{}}}} -> {0,{0},{0,{0}}} -> {0,1,{0,1}} -> {0,1,2} -> A001477(3)=3.
|
|
CROSSREFS
|
Sequence in context: A123118 A165950 A083667 this_sequence A009525 A009683 A132879
Adjacent sequences: A092121 A092122 A092123 this_sequence A092125 A092126 A092127
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
Reinhard Zumkeller (reinhard.zumkeller(AT)gmail.com), Mar 30 2004
|
|
|
Search completed in 0.002 seconds
|
