Comment Re:Uh ... (Score 1) 299
You can check out http://marsey.org/ for a natural-language proof very close (in essence) to Goedel's.
You can check out http://marsey.org/ for a natural-language proof very close (in essence) to Goedel's.
Those who can, do; those who can't, write. Those who can't write work for the Bell Labs Record.