351

AI ALIGNMENT FORUM
AF

350

A closer look at program based UDT — AI Alignment Forum

Personal Blog

1

A closer look at program based UDT

by agilecaveman

23rd Jul 2015

1 min read

1

This is a linkpost for https://www.overleaf.com/read/hbtmcwdbmhqt

Personal Blog

A closer look at program based UDT

New Comment

1 comment, sorted by

Click to highlight new comments since: Today at 8:21 AM

[-]orthonormal10y00

What about using a reflective probabilistic oracle to decide whether programs halt, including programs that call on the same oracle?

More from agilecaveman

Curated and popular this week