Peano arithmetic by tails

SSI`S`S`K(S`SSKS(S`KK(S`KS(S`K`S`KS(S`K`S`K`S(S(S(S(S(SI`K0)`KK)`K(SI`K0))`K(S`SII(S`SSKSKI)(S`K`S(SI`KK)K)(SSSSSS(SS0)(S`KSK)(S`K`S(SI`K0)K)0)))`KK)(S`K`S(S`KS(S`KK(SI`K(S`K`S(SI`K(SS(SS(SSSSSS(SS0)))(S`KSK)))K))))(S`KK(S`K(S`SSKSKI(S`KS(S`K`S(SI0)K)))(S(SI0)`K0))))))))(S`K`S`K`S`K`SI(S`K`S`K`S`K`S`KK(S`SSKS(S`KK(S`KS(S`K`S`KS(S`K`S`K`S(S(S(S(S(S(S(SI`KK)`K(SI`K0))`K(SS(SS`K(SS0))(SSS)(S`KSK)(S`K`S(SI0)K)(S(SI`K`K`K`KK)0)))`KK)0)0)`K0)(S`K`S`KK(SS`K`K0))))))(S`SSKS(S`K`S`KS(S`K`S`KK(S`K`S`KS`S`KK)))`K(S`SSKS(S`KK(S`KS(S`SSKSK`K(S`K(SSSS(SS(SS0))(S`KSK)(S`K`SIK)`K`S(S`KSK))(S(S(SS`K`S`K`SI)`KK)`K0)))))`KK))))))II0

Note that non-ascii characters in the above source code will be escaped (such as \x9f).

To protect the system from spam, please input your favorite sport (hint: I believe its name must start with 'g', case insensitive)

download

return to the top page