This Stanford AI Memo of 1964 illustrated the fact that a theorem may not be easy to prove if the proof involves an idea not expressible in the language in which the theorem is stated.
It is available in .html, .dvi, .ps, and .pdf formats.
Up to:Send comments to .