LESSWRONG
LW

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

50
Scott Garrabrant
5moΩ 8Show Highlight
8

Exercises

Topological Fixed Point Exercises

69
Scott Garrabrant, SamEisenstat
5moΩ 13Show Highlight
42

Diagonalization Fixed Point Exercises

37
Scott Garrabrant, SamEisenstat
5moΩ 6Show Highlight
17

Iteration Fixed Point Exercises

31
Scott Garrabrant, SamEisenstat
5moΩ 6Show Highlight
7

Discussion

Fixed Point Discussion

36
Scott Garrabrant
5moΩ 8Show Highlight
2

Example Research Using Fixed Points

Hyperreal Brouwer

24
Scott Garrabrant
5moΩ 8Show Highlight
0

Formal Open Problem in Decision Theory

30
Scott Garrabrant
5moΩ 12Show Highlight
6

The Ubiquitous Converse Lawvere Problem

18
Scott Garrabrant
5moΩ 7Show Highlight
0

Reflective oracles as a solution to the converse Lawvere problem

18
SamEisenstat
5moΩ 9Show Highlight
0