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

81mo1 min readShow Highlight
0

Exercises

Topological Fixed Point Exercises

121mo3 min readShow Highlight
40

Diagonalization Fixed Point Exercises

625d3 min readShow Highlight
13

Iteration Fixed Point Exercises

621d2 min readShow Highlight
7

Discussion

Fixed Point Discussion

718d4 min readShow Highlight
0

Example Research Using Fixed Points

Hyperreal Brouwer

813d5 min readShow Highlight
0

Formal Open Problem in Decision Theory

1213d3 min readShow Highlight
18

The Ubiquitous Converse Lawvere Problem

713d2 min readShow Highlight
0
0