DJ Strouse

the rantings of a baby scientist

DJ Strouse header image 4

Entries Tagged as 'Side Projects'

The Zealot King Problem & An Operational Version of Rice’s Theorem

May 15th, 2010 · No Comments · Research, Side Projects

The Zealot King Problem Let’s say you’re the king of a far-off land inhabited by Turing machines. As a highly religious king, you have strict morals and lately, you’ve been frustrated to see many of your citizens acting immorally. You’ve been especially aghast at their frequent and flagrant violation of restriction R. Restriction R isn’t [...]

[Read more →]

Tags: