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

Exercises

Topolog­i­cal Fixed Point Exercises

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

Iter­a­tion Fixed Point Exercises

Discussion

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