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

Fixed Point Exercises

8
Scott Garrabrant
1mo1 min readShow Highlight
0

Exercises

Topological Fixed Point Exercises

12
Scott Garrabrant, Sam Eisenstat
1mo3 min readShow Highlight
40

Diagonalization Fixed Point Exercises

6
Scott Garrabrant, Sam Eisenstat
25d3 min readShow Highlight
13

Iteration Fixed Point Exercises

6
Scott Garrabrant, Sam Eisenstat
21d2 min readShow Highlight
7

Discussion

Fixed Point Discussion

7
Scott Garrabrant
18d4 min readShow Highlight
0

Example Research Using Fixed Points

Hyperreal Brouwer

8
Scott Garrabrant
13d5 min readShow Highlight
0

Formal Open Problem in Decision Theory

12
Scott Garrabrant
13d3 min readShow Highlight
18

The Ubiquitous Converse Lawvere Problem

7
Scott Garrabrant
13d2 min readShow Highlight
0

Reflective oracles as a solution to the converse Lawvere problem

9
Sam Eisenstat
13d7 min readShow Highlight
0