Logic ForAll

    [with apologies to xkcd for copying the style and not being so good]  A compiler does not always have to do everything in one go. A com...

I have just put up a new preprint, Polynomials with Predicates: a Dialectica Reading . It started from a fairly simple observation: if you ...

Quite a few weeks ago, my friend Simone Severini sent me a book he wrote with Andrea Borghini, Science, Ltd.: Notes on the Research Enterpri...

                                         [Andrea Schalk, Summer 2007, from her webpage ] I have been playing with a very small variation on ...

  I wish I could be bringing better news. I have been counting LICS committees again. All the numbers below come from two places, both publi...

Talking about Synthetic Mathematics in the middle of the Amazon rainforest felt slightly surreal. Parintins is famous for the Festival do Bo...

  Kolmogorov and Alexandrov on a trip. From CultureMath , 2022.    Problems, Problems Everywhere  There’s a particular kind of mathematical ...