Difference between revisions of "Ambient decision theory"

From Lesswrongwiki
Jump to: navigation, search
(Blog posts: Added malicious proof search post)
m (Blog posts: reflected the renaming of the last post)
Line 10: Line 10:
 
*[http://lesswrong.com/lw/8wc/a_model_of_udt_with_a_halting_oracle/ A model of UDT with a halting oracle] by cousin_it
 
*[http://lesswrong.com/lw/8wc/a_model_of_udt_with_a_halting_oracle/ A model of UDT with a halting oracle] by cousin_it
 
*[http://lesswrong.com/lw/ap3/predictability_of_decisions_and_the_diagonal/ Predictability of Decisions and the Diagonal Method] by Vladimir Nesov
 
*[http://lesswrong.com/lw/ap3/predictability_of_decisions_and_the_diagonal/ Predictability of Decisions and the Diagonal Method] by Vladimir Nesov
*[http://lesswrong.com/r/discussion/lw/b5t/a_model_of_udt_with_a_malicious_proof_searcher/ A model of UDT with a malicious proof searcher] by cousin_it
+
*[http://lesswrong.com/r/discussion/lw/b5t/an_example_of_selffulfilling_spurious_proofs_in/ An example of self-fulfilling spurious proofs in UDT] by cousin_it
  
 
==See also==
 
==See also==

Revision as of 01:35, 26 March 2012

A variant of updateless decision theory that uses first order logic instead of mathematical intuition module (MIM), emphasizing the way an agent can control which mathematical structure a fixed definition defines, an aspect of UDT separate from its own emphasis on not making the mistake of updating away things one can still acausally control.

Blog posts

See also