Fixed Points

Scott Garrabrant

24 Nov 2018 13:32 UTC

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

Scott Garrabrant17 Nov 2018 1:39 UTC

64 points

8 comments2 min readLW link

Exercises

Topological Fixed Point Exercises

Scott Garrabrant and SamEisenstat

17 Nov 2018 1:40 UTC

71 points

51 comments3 min readLW link

Diagonalization Fixed Point Exercises

Scott Garrabrant and SamEisenstat

18 Nov 2018 0:31 UTC

40 points

25 comments3 min readLW link

Iteration Fixed Point Exercises

Scott Garrabrant and SamEisenstat

22 Nov 2018 0:35 UTC

33 points

12 comments3 min readLW link

Discussion

Fixed Point Discussion

Scott Garrabrant24 Nov 2018 20:53 UTC

45 points

2 comments4 min readLW link

Example Research Using Fixed Points

Hyperreal Brouwer

Scott Garrabrant29 Nov 2018 3:15 UTC

31 points

2 comments6 min readLW link

Formal Open Problem in Decision Theory

Scott Garrabrant29 Nov 2018 3:25 UTC

37 points

28 comments4 min readLW link

The Ubiquitous Converse Lawvere Problem

Scott Garrabrant29 Nov 2018 3:16 UTC

22 points

0 comments2 min readLW link

Reflective oracles as a solution to the converse Lawvere problem

SamEisenstat29 Nov 2018 3:23 UTC

35 points

0 comments7 min readLW link