Fundamentals of Formalisation Level 7: Equivalence Relations and Orderings

post by philip_b (crabman) · 2018-08-10T15:12:46.683Z · LW · GW · 0 comments

Contents

No comments

Followup to Fundamentals of Formalisation Level 6: Turing Machines and the Halting Problem [LW · GW]. First post [LW · GW].

This is a new lesson of our online course on math formalizations required for AI safety research.


The big ideas:

To move to the next level you need to be able to:

Why this is important:


For every lesson you have 2 options: do the whole thing, or skip to the questions and exercises in the end. The latter option is for people who suspect they already know the subject. It serves as a means of verifying or falsifying that hypothesis.

0 comments

Comments sorted by top scores.