LESSWRONG
LW

Fixed Points

Nov 24, 2018 by Scott Garrabrant

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
7y
Ω
51
40Diagonalization Fixed Point Exercises
Ω
Scott Garrabrant, SamEisenstat
7y
Ω
25
33Iteration Fixed Point Exercises
Ω
Scott Garrabrant, SamEisenstat
7y
Ω
12
Discussion
45Fixed Point Discussion
Ω
Scott Garrabrant
7y
Ω
2
Example Research Using Fixed Points
31Hyperreal Brouwer
Ω
Scott Garrabrant
7y
Ω
2
37Formal Open Problem in Decision Theory
Ω
Scott Garrabrant
7y
Ω
28
23The Ubiquitous Converse Lawvere Problem
Ω
Scott Garrabrant
7y
Ω
0
35Reflective oracles as a solution to the converse Lawvere problem
Ω
SamEisenstat
7y
Ω
2
64Fixed Point Exercises
Ω
Scott Garrabrant
7y
Ω
8