Fixed Points

This is a se­quence on Fixed Point The­o­rems, that in­cludes ~30 ex­er­cises and ex­am­ples of them be­ing used in Agent Foun­da­tions re­search.

Fixed Point Exercises


Topolog­i­cal Fixed Point Exercises

Di­ag­o­nal­iza­tion Fixed Point Exercises

Iter­a­tion Fixed Point Exercises


Fixed Point Discussion

Example Research Using Fixed Points

Hyper­real Brouwer

For­mal Open Prob­lem in De­ci­sion Theory

The Ubiquitous Con­verse Law­vere Problem

Reflec­tive or­a­cles as a solu­tion to the con­verse Law­vere problem