Mathematics – Logic
Scientific paper
2003-05-19
Mathematics
Logic
Scientific paper
Following F. William Lawvere, we show that many self-referential paradoxes, incompleteness theorems and fixed point theorems fall out of the same simple scheme. We demonstrate these similarities by showing how this simple scheme encompasses the semantic paradoxes, and how they arise as diagonal arguments and fixed point theorems in logic, computability theory, complexity theory and formal language theory.
No associations
LandOfFree
A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-548129