x

LESSWRONG
LW

Fixed Points

This is a sequence on Fixed Point Theorems, that includes ~30 exercises and examples of them being used in Agent Foundations research.

Exercises

71Topological Fixed Point Exercises

Ω

Scott Garrabrant, SamEisenstat

7y

Ω

51

40Diagonalization Fixed Point Exercises

Ω

Scott Garrabrant, SamEisenstat

7y

Ω

25

33Iteration Fixed Point Exercises

Ω

Scott Garrabrant, SamEisenstat

7y

Ω

12

Discussion

45Fixed Point Discussion

Ω

Scott Garrabrant

7y

Ω

2

Example Research Using Fixed Points

7y

2

37Formal Open Problem in Decision Theory

Ω

Scott Garrabrant

7y

Ω

28

23The Ubiquitous Converse Lawvere Problem

Ω

Scott Garrabrant

7y

Ω

0

35Reflective oracles as a solution to the converse Lawvere problem

Ω

SamEisenstat

7y

Ω

2

64Fixed Point Exercises

Ω

Scott Garrabrant

7y

Ω

8