Decimal Goedelization of antitheorems from propositional calculus, in Richard C. Schroeppel's metatheory of A101273.

A100200

Decimal Goedelization of antitheorems from propositional calculus, in Richard C. Schroeppel's metatheory of A101273.

Terms

    a(0) =151a(1) =252a(2) =1431a(3) =1831a(4) =2432a(5) =2832a(6) =3141a(7) =3181a(8) =3242a(9) =3282a(10) =11511a(11) =12512a(12) =14151a(13) =15141a(14) =15331a(15) =15910a(16) =21521a(17) =22522a(18) =24252a(19) =25242a(20) =25332a(21) =25920a(22) =31531a(23) =32532a(24) =33151a(25) =33252a(26) =91051a(27) =91510a(28) =92052a(29) =92520

External references