Quinn

Quinn

Send Message

Users Feeds

This user has no feeds associated with them

Posts

Meditations on Löb's theorem and probabilistic logic [LINK]

A post on my own blog following a MIRIx workshop from two weekends ago. http://qmaurmann.wordpress.com/2014/08/10/meditations-on-l-and-pro

Notes/blog posts on two recent MIRI papers

I've been learning math lately; specifically I've been reading MIRI's recent research preprints and the prerequisite material. In order to a