Benya_Fallenstein

Fo­rum Digest: Cor­rigi­bil­ity, util­ity in­differ­ence, & re­lated con­trol ideas

Sin­gle-bit re­flec­tive or­a­cles are enough

An im­ple­men­ta­tion of modal UDT

Gen­er­al­iz­ing the Cor­rigi­bil­ity pa­per’s im­pos­si­bil­ity re­sult?

On no­ta­tion for modal UDT

From halt­ing or­a­cles to modal logic

Third-per­son counterfactuals

The odd coun­ter­fac­tu­als of play­ing chicken

Multibit re­flec­tive oracles

“Evil” de­ci­sion prob­lems in prov­abil­ity logic

Utility in­differ­ence and in­finite im­prob­a­bil­ity drives

Im­prov­ing the modal UDT op­ti­mal­ity result

Trust­wor­thy au­to­mated philos­o­phy?

Topolog­i­cal truth pred­i­cates: Towards a model of perfect Bayesian agents

Or­a­cle ma­chines in­stead of topolog­i­cal truth predicates

Sim­plic­ity pri­ors with re­flec­tive oracles

A primer on prov­abil­ity logic

Main vs. Discussion

An op­ti­mal­ity re­sult for modal UDT

Main vs. Discussion