All these three theorems (I am not 100% sure about the third, but I have heard it has a similar argument with the other two) use self-referentiability as contradiction and they talk about the impossibility to solve everything.

Is there anything that generalizes this concept? I think they actually describe the same object.


Yes: see Lawvere's fixed-point theorem.

There is an expository paper by Yanofsky covering exactly the results you mentioned (and more): A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points.

See also this MathOverflow question.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.