🚀 go-pugleaf

gjm11@cus.cam.ac.uk (G.J. McCaughan) writes:
: > : I don't know any way of proving Godel's Theorem that doesn't require quite
: > : a bit of technical muchking around. (Or else a lot of non-rigorous handwaving,
: > : of course; but one can prove anything given sufficient willingness to wave
: > : one's hands.)
: >                     Please prove this.
: 
: Well, like, it's sort of obvious, isn't it? After all, all you have to do is
: wave your hands abou a bit and say things are obvious, and it's pretty clear
: that most proofs are made up of lots of obvious steps and all the cleverness
: is in the details, so all you have to do is sort of wave your hands on all
: the tricky bits and everyone will believe you. See?
: 
No. You didn't say that one could give a handwaving proof that one can
prove anything given sufficient willingness to wave one's hands. You said
"proof".	
Lucky nobody reads abian any more.