LESSWRONGFixed Points
LW

Fixed Points

This is a sequence on Fixed Point Theorems, that includes ~30 exercises and examples of them being used in Agent Foundations research.

Exercises

71Topological Fixed Point Exercises

Scott Garrabrant, SamEisenstat

5y

51

40Diagonalization Fixed Point Exercises

Scott Garrabrant, SamEisenstat

5y

23

33Iteration Fixed Point Exercises

Scott Garrabrant, SamEisenstat

5y

11

Discussion

42Fixed Point Discussion

Scott Garrabrant

5y

2

Example Research Using Fixed Points

30Hyperreal Brouwer

Scott Garrabrant

5y

2

36Formal Open Problem in Decision Theory

Scott Garrabrant

5y

28

21The Ubiquitous Converse Lawvere Problem

Scott Garrabrant

5y

0

31Reflective oracles as a solution to the converse Lawvere problem

5y

0

60Fixed Point Exercises

Scott Garrabrant

5y

8