Thanks!
The last three are available online:http://ict.usc.edu/pubs/Logical%20Prior%20Probability.pdfhttp://arxiv.org/pdf/1209.2620.pdfhttp://repository.supsi.ch/4554/1/AGI11_goedel_machine.pdf
Nice. Links added to post and I’ll check them out later. The Duc and Williamson papers were from a post of yours, by the way. Some, MIRI status report or something. I don’t remember.
Thanks!
The last three are available online:
http://ict.usc.edu/pubs/Logical%20Prior%20Probability.pdf
http://arxiv.org/pdf/1209.2620.pdf
http://repository.supsi.ch/4554/1/AGI11_goedel_machine.pdf
Nice. Links added to post and I’ll check them out later. The Duc and Williamson papers were from a post of yours, by the way. Some, MIRI status report or something. I don’t remember.