Lab Lunch calendar

Recent Posts
Recent Comments
 Dan Ghica on Categorical semantics of digital circuits
 So what is a “pure programming language” anyway?  The Lab Lunch on Types: computation vs. interaction
 Dan Ghica on A short fable of software engineering vs. regular engineering
 === popurls.com === popular today on A short fable of software engineering vs. regular engineering
 Dan Ghica on Computability: The Greatest Law of Physics
Archives
Categories
Meta
Blogroll
 Existential Type, Bob Harper’s blog
 Gagalium OCaml and Coq development team
 Mathematics and Computation, Andrej Bauer’s blog
 Semantic Domain, Neel Krishnaswami’s blog
Monthly Archives: May 2015
Inventing an algebraic knot theory for eight year olds (IV)
Equations Here is a quote that captures the ethos against which our maths club militates: We take other men’s knowledge and opinions upon trust; which is an idle and superficial learning. We must make them our own. We are just … Continue reading
Inventing an algebraic knot theory for eight year olds (III)
Unlike previous posts, this one precedes the math club meeting. The reason is that we need to tighten some loose ends in our emerging knot theory notation. The first two meetings (I and II) were all about exploring knots and ways to describe them using … Continue reading
Chalmers’s Digital Radio
In previous posts I gave arguments against the apparently widely held belief, at least amongst readers of this blog, that all mental states and phenomena, consciousness in particular, are reducible to computational processes in the brain: computationalism. Whether this is … Continue reading