Can you explain in simple terms what this guy theorems are?
http://plato.stanford.edu/entries/goedel-incompleteness/
I came across goedel's thm(He was a prominent american logician) only once. I could be wrong but I guess it has as much twist as: 'Martians have 10 limbs' is a correct logical statement
