wedrifid comments on No one knows what Peano arithmetic doesn’t know

wedrifid 17 Dec 2011 4:03 UTC
6 points

I’d really like to continue writing about AI-related technical stuff on LW.

Please do.

Would removing the word “obvious” satisfy your complaint?

You could go all mathematician and use ‘trivial’. ;)