AI ALIGNMENT FORUM
AF

3322
Fixed Points

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
23Topological Fixed Point Exercises
Scott Garrabrant, SamEisenstat
7y
40
12Diagonalization Fixed Point Exercises
Scott Garrabrant, SamEisenstat
7y
13
10Iteration Fixed Point Exercises
Scott Garrabrant, SamEisenstat
7y
7
Discussion
13Fixed Point Discussion
Scott Garrabrant
7y
0
Example Research Using Fixed Points
10Hyperreal Brouwer
Scott Garrabrant
7y
2
13Formal Open Problem in Decision Theory
Scott Garrabrant
7y
24
10The Ubiquitous Converse Lawvere Problem
Scott Garrabrant
7y
0
19Reflective oracles as a solution to the converse Lawvere problem
SamEisenstat
7y
0
16Fixed Point Exercises
Scott Garrabrant
7y
0