加载中…
We give a quick survey of the various fixed point theorems in computability theory, partial combinatory algebra, and the theory of numberings, as well as generalizations based on those. We also point out several open problems connected to these.

生成讲解博客的中文版本

生成AI智能校验的中文版本