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

471mo1 min readΩ 8Show Highlight
7

Exercises

Topological Fixed Point Exercises

641mo3 min readΩ 12Show Highlight
42

Diagonalization Fixed Point Exercises

361mo3 min readΩ 6Show Highlight
13

Iteration Fixed Point Exercises

3122d2 min readΩ 6Show Highlight
7

Discussion

Fixed Point Discussion

3020d4 min readΩ 7Show Highlight
1

Example Research Using Fixed Points

Hyperreal Brouwer

2415d5 min readΩ 8Show Highlight
0

Formal Open Problem in Decision Theory

2915d3 min readΩ 12Show Highlight
6

The Ubiquitous Converse Lawvere Problem

1815d2 min readΩ 7Show Highlight
0

Reflective oracles as a solution to the converse Lawvere problem

1815d7 min readΩ 9Show Highlight
0