Translator Disclaimer
September 2003 A universal approach to self-referential paradoxes, incompleteness and fixed points
Noson S. Yanofsky
Bull. Symbolic Logic 9(3): 362-386 (September 2003). DOI: 10.2178/bsl/1058448677

Abstract

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.

Citation

Download Citation

Noson S. Yanofsky. "A universal approach to self-referential paradoxes, incompleteness and fixed points." Bull. Symbolic Logic 9 (3) 362 - 386, September 2003. https://doi.org/10.2178/bsl/1058448677

Information

Published: September 2003
First available in Project Euclid: 17 July 2003

zbMATH: 1067.03012
MathSciNet: MR2005954
Digital Object Identifier: 10.2178/bsl/1058448677

Rights: Copyright © 2003 Association for Symbolic Logic

JOURNAL ARTICLE
25 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.9 • No. 3 • September 2003
Back to Top