AI ALIGNMENT FORUM
Fixed Points
AF

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