1) Your current technical agenda involves creating a math of logical uncertainty and forming world-models out of this. When (if possible) do you predict that such a math will be worked out, and will MIRI’s focus move to the value learning problem then?
2) How long do you estimate that formal logic will be the arena in which MIRI’s technical work takes place—that is, how long will knowing formal logic be of use to a potential researcher before the research moves to new places?
How interesting; the word ‘privilege’ has acquired such a new meaning from its associations with SJW and other, that it can be used twice and clearly have two separate meanings. Just shows how people hide their own connotations words!