binary strings as 2-adics

brief note on that logic observation:
topology on binary/n-ary strings is the 2-adic/n-adic topology
(...and strings do not correspond to reals, though strings give reals)

BTW, the map Z_2 -> [0,1] is (topologically) the Devil's staircase

Not hugely meaningful (unless you're using the algebra is some
interesting way,
though I don't see addition naturally; mult by 2^n is "shift/pad with
0s"),
but a cute connection

