AI ALIGNMENT FORUMFixed 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.

14Fixed Point Exercises
Scott Garrabrant
4y
0
Discussion
12Fixed Point Discussion
Scott Garrabrant
4y
0
Exercises
22Topological Fixed Point Exercises
Scott Garrabrant, Sam Eisenstat
4y
40
12Diagonalization Fixed Point Exercises
Scott Garrabrant, Sam Eisenstat
4y
13
10Iteration Fixed Point Exercises
Scott Garrabrant, Sam Eisenstat
4y
7
Example Research Using Fixed Points
9Hyperreal Brouwer
Scott Garrabrant
4y
0
12Formal Open Problem in Decision Theory
Scott Garrabrant
4y
24
10The Ubiquitous Converse Lawvere Problem
Scott Garrabrant
4y
0
11Reflective oracles as a solution to the converse Lawvere problem
Sam Eisenstat
4y
0