Quote:
Originally Posted by agapeagape
Anyone familiar with Gödel's incompleteness theorem? No local library has his original paper afaik and I don't know what to consult
I *think* that there is a relatively long, if non-technical, outline of the argument in one of roger penrose's books. I've definitely read one, and I'm pretty sure it was in a book of that genre, and I've not read that many of them. Wiki might help although it's a bit hit and miss on maths/physics I've found,
It's a long long time since I thought about it, but iirc, it is a bit like Russell's set of all sets which aren't a member of themselves, or a stopping/non stopping Turing machines sort of thing - you construct the space of all provable statements within a given logical system, and then construct a sort of meta-statement which is demonstrably well formed and true, but equally is demonstrably outside the space of provable statements, and then proof by contradiction shazaam!