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

505moΩ 8Show Highlight
8

Exercises

Topological Fixed Point Exercises

695moΩ 13Show Highlight
42

Diagonalization Fixed Point Exercises

375moΩ 6Show Highlight
17

Iteration Fixed Point Exercises

315moΩ 6Show Highlight
7

Discussion

Fixed Point Discussion

365moΩ 8Show Highlight
2

Example Research Using Fixed Points

Hyperreal Brouwer

245moΩ 8Show Highlight
0

Formal Open Problem in Decision Theory

305moΩ 12Show Highlight
6

The Ubiquitous Converse Lawvere Problem

185moΩ 7Show Highlight
0
0