LESSWRONGFixed Points
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.

60Fixed Point ExercisesΩ
Scott Garrabrant
5y
Ω
8
Exercises
70Topological Fixed Point ExercisesΩ
Scott Garrabrant, SamEisenstat
5y
Ω
50
40Diagonalization Fixed Point ExercisesΩ
Scott Garrabrant, SamEisenstat
5y
Ω
23
33Iteration Fixed Point ExercisesΩ
Scott Garrabrant, SamEisenstat
5y
Ω
11
Discussion
41Fixed 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
24Reflective oracles as a solution to the converse Lawvere problemΩ
SamEisenstat
5y
Ω
0