Comments on: On a proof of Cantor’s theorem http://math.andrej.com/2007/04/08/on-a-proof-of-cantors-theorem/ Mathematics for computers Wed, 20 Aug 2008 11:58:23 +0000 http://wordpress.org/?v=2.3.3 By: EtienneJacques http://math.andrej.com/2007/04/08/on-a-proof-of-cantors-theorem/#comment-6699 EtienneJacques Sat, 15 Mar 2008 22:27:47 +0000 http://math.andrej.com/2007/04/08/on-a-proof-of-cantors-theorem/#comment-6699 Available online at http://xxx.lanl.gov/abs/math.LO/0305282 Available online at http://xxx.lanl.gov/abs/math.LO/0305282

]]> By: EtienneJacques http://math.andrej.com/2007/04/08/on-a-proof-of-cantors-theorem/#comment-6698 EtienneJacques Sat, 15 Mar 2008 22:26:46 +0000 http://math.andrej.com/2007/04/08/on-a-proof-of-cantors-theorem/#comment-6698 This paper might be more accessible for the non-categorists : Noson S. Yanofsky A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points The Bulletin of Symbolic Logic. (September 2004). <a href="http://xxx.lanl.gov/abs/math.LO/0305282" / rel="nofollow"> It's an introduction to Lawvere's paper.</a> This paper might be more accessible for the non-categorists :
Noson S. Yanofsky
A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
The Bulletin of Symbolic Logic. (September 2004).

It’s an introduction to Lawvere’s paper.

]]> By: Andrej Bauer http://math.andrej.com/2007/04/08/on-a-proof-of-cantors-theorem/#comment-6462 Andrej Bauer Tue, 04 Mar 2008 22:01:14 +0000 http://math.andrej.com/2007/04/08/on-a-proof-of-cantors-theorem/#comment-6462 It just occurred to me that I should give a reference to Lawvere's fixed point theorem. It can be found in "Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13." and is <a href="http://www.tac.mta.ca/tac/reprints/articles/15/tr15abs.html" rel="nofollow">available online</a>. It just occurred to me that I should give a reference to Lawvere’s fixed point theorem. It can be found in “Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13.” and is available online.

]]>