spin kuroki RSS

Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete.

Archive

Mar
2nd
Tue
permalink
Я очень рад, ведь я, наконец, возвращаюсь домой

Nothing I can say here will make this any better. (Thanks Jim and Steve!)