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

47

Scott Garrabrant

1mo1 min readΩ 8Show Highlight

7

Exercises

Topological Fixed Point Exercises

64

Scott Garrabrant, SamEisenstat

1mo3 min readΩ 12Show Highlight

42

Diagonalization Fixed Point Exercises

36

Scott Garrabrant, SamEisenstat

1mo3 min readΩ 6Show Highlight

13

Iteration Fixed Point Exercises

31

Scott Garrabrant, SamEisenstat

22d2 min readΩ 6Show Highlight

7

Discussion

Fixed Point Discussion

30

Scott Garrabrant

20d4 min readΩ 7Show Highlight

1

Example Research Using Fixed Points

Hyperreal Brouwer

24

Scott Garrabrant

15d5 min readΩ 8Show Highlight

0

Formal Open Problem in Decision Theory

29

Scott Garrabrant

15d3 min readΩ 12Show Highlight

6

The Ubiquitous Converse Lawvere Problem

18

Scott Garrabrant

15d2 min readΩ 7Show Highlight

0

Reflective oracles as a solution to the converse Lawvere problem

18

15d7 min readΩ 9Show Highlight

0