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

493moΩ 8Show Highlight
8

Exercises

Topological Fixed Point Exercises

693moΩ 13Show Highlight
42

Diagonalization Fixed Point Exercises

373moΩ 6Show Highlight
13

Iteration Fixed Point Exercises

313moΩ 6Show Highlight
7

Discussion

Fixed Point Discussion

353moΩ 8Show Highlight
2

Example Research Using Fixed Points

Hyperreal Brouwer

243moΩ 8Show Highlight
0

Formal Open Problem in Decision Theory

293moΩ 12Show Highlight
6

The Ubiquitous Converse Lawvere Problem

183moΩ 7Show Highlight
0
0