A Neighborhood of Infinity
Saturday, February 01, 2014
Introduction A while back I talked about the idea of reinversion of control using the continuation monad to wrest control back from an int...
Friday, October 25, 2013
Distributed computing with alien technology
Introduction Suppose we are given a function of boolean arguments that returns a boolean result. ...
Saturday, October 12, 2013
What stops us defining Truth?
Introduction Recall the standard cartoon sketch of the proof of Gödel's first incompleteness th...
View web version