by mcc » Fri Sep 21, 2012 4:49 am
Look, this isn't that complicated.
Bertrand Russell has you covered.
Never mind lawyers, the genies should have consulted a
mathematician-- all you need is a type system. SImply only accept wishes phrased within a constrained grammar which prevents self-referential statements by requiring for example only 2-sets can contain 1-sets. Then specify the genie will grant any first-order wish.
There, was that so hard?
I TRIED TO POST THIS LIKE LAST FRICKIN NIGHT BUT YOUR MYSQL SERVER SUCKS
Look, this isn't that complicated.
[img]http://www.nndb.com/people/954/000044822/Russell-2.jpg[/img]
Bertrand Russell has you covered.
Never mind lawyers, the genies should have consulted a [i]mathematician[/i]-- all you need is a type system. SImply only accept wishes phrased within a constrained grammar which prevents self-referential statements by requiring for example only 2-sets can contain 1-sets. Then specify the genie will grant any first-order wish.
There, was that so hard?
I TRIED TO POST THIS LIKE LAST FRICKIN NIGHT BUT YOUR MYSQL SERVER SUCKS