Open prathyvsh opened 4 years ago
Read Lawvere’s fixed point paper: http://tac.mta.ca/tac/reprints/articles/15/tr15.pdf
https://cs.ru.nl/~dfrumin/pdf/diagonal_argument.pdf Yanofsky’s work: https://arxiv.org/pdf/math/0305282.pdf Brouwver’s fixed point theorem as a corollary of Lawvere’s fixed point theorem: https://arxiv.org/abs/2005.01563
Is Tarski’s fixed point theorem connected with this? https://nextjournal.com/fredokun/alfreds-fixed-points
https://bartoszmilewski.com/2019/11/06/fixed-points-and-diagonal-arguments/
Read Lawvere’s fixed point paper: http://tac.mta.ca/tac/reprints/articles/15/tr15.pdf
https://cs.ru.nl/~dfrumin/pdf/diagonal_argument.pdf Yanofsky’s work: https://arxiv.org/pdf/math/0305282.pdf Brouwver’s fixed point theorem as a corollary of Lawvere’s fixed point theorem: https://arxiv.org/abs/2005.01563
Is Tarski’s fixed point theorem connected with this? https://nextjournal.com/fredokun/alfreds-fixed-points
https://bartoszmilewski.com/2019/11/06/fixed-points-and-diagonal-arguments/