Re: [math-fun] test; E. M. Wright; continued fraction convergence; Dyson's problem

Rich writes,

My favorite effort in this direction is "2^86 is the last power of 2 without a 0 digit".

Really? In my Automatic Ant book (page 43) I speculate that statements like "there are only a finite number of 7-less powers of 2" may be undecidable, in the Godel sense that there exists no proof of the statement nor of its negation from the standard axioms. Rich, you apparently have a proof with 7 replaced by 0. Could you elaborate? David

Rich rcs@cs.arizona.edu

_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com http://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun