4 ms·
http://www.cs.bham.ac.uk/~mmk/papers/05-KI.html http://www.cs.bham.ac.uk/~mmk/papers/05-KI.html (Why is the Lucas-Penrose Argument Invalid?)
by lainon 9y ago
http://www.cs.bham.ac.uk/~mmk/papers/05-KI.html http://www.cs.bham.ac.uk/~mmk/papers/05-KI.html (Why is the Lucas-Penrose Argument Invalid?)
- fiatjaf 9y ago> The matter is confused by the prima facie paradoxical fact that Gödel proved the truth of the sentence that "This sentence is not provable." Gödel didn't prove that. He saw that it was true.