LESSWRONG
LW

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

49

Scott Garrabrant

3moΩ 8Show Highlight

8

Exercises

Topological Fixed Point Exercises

69

Scott Garrabrant, SamEisenstat

3moΩ 13Show Highlight

42

Diagonalization Fixed Point Exercises

37

Scott Garrabrant, SamEisenstat

3moΩ 6Show Highlight

13

Iteration Fixed Point Exercises

31

Scott Garrabrant, SamEisenstat

3moΩ 6Show Highlight

7

Discussion

Fixed Point Discussion

35

Scott Garrabrant

3moΩ 8Show Highlight

2

Example Research Using Fixed Points

Hyperreal Brouwer

24

Scott Garrabrant

3moΩ 8Show Highlight

0

Formal Open Problem in Decision Theory

29

Scott Garrabrant

3moΩ 12Show Highlight

6

The Ubiquitous Converse Lawvere Problem

18

Scott Garrabrant

3moΩ 7Show Highlight

0

Reflective oracles as a solution to the converse Lawvere problem

18

3moΩ 9Show Highlight

0