1739

LESSWRONG
LW

1738

A closer look at program based UDT — LessWrong

2

A closer look at program based UDT

by agilecaveman

23rd Jul 2015

AI Alignment Forum

1 min read

2

Ω 1

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

2

Ω 1

A closer look at program based UDT

New Comment

1 comment, sorted by

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

[-]orthonormal10yΩ000

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