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
3moShow Highlight
0

Exercises

Topological Fixed Point Exercises

13
Scott Garrabrant, Sam Eisenstat
3moShow Highlight
40

Diagonalization Fixed Point Exercises

6
Scott Garrabrant, Sam Eisenstat
3moShow Highlight
13

Iteration Fixed Point Exercises

6
Scott Garrabrant, Sam Eisenstat
3moShow Highlight
7

Discussion

Fixed Point Discussion

8
Scott Garrabrant
3moShow Highlight
0

Example Research Using Fixed Points

Hyperreal Brouwer

8
Scott Garrabrant
3moShow Highlight
0

Formal Open Problem in Decision Theory

12
Scott Garrabrant
3moShow Highlight
19

The Ubiquitous Converse Lawvere Problem

7
Scott Garrabrant
3moShow Highlight
0

Reflective oracles as a solution to the converse Lawvere problem

9
Sam Eisenstat
3moShow Highlight
0