I continue posting daily to the blog that I started two months ago. I’m a little disappointed at how little technical (or even technical-looking) content I have managed to publish so far, but I guess I can be a little bit proud of my sheer volume of published material.
A potential distraction from this self-imposed task just showed up. Sewing_machine’s recent discussion posting on the hypothetical inconsistency of mathematics contained links leading me to this hot topic in mathematical logic. Because I have been interested in Martin-Lof type theory and Lawvere’s program for some time, I think that this is something that I ought to try to understand. Even though homotopy theory has always been opaque to me. Anyone else want to try to work through the papers with me and then maybe try to make the core ideas accessible to the LW masses?
I continue posting daily to the blog that I started two months ago. I’m a little disappointed at how little technical (or even technical-looking) content I have managed to publish so far, but I guess I can be a little bit proud of my sheer volume of published material.
A potential distraction from this self-imposed task just showed up. Sewing_machine’s recent discussion posting on the hypothetical inconsistency of mathematics contained links leading me to this hot topic in mathematical logic. Because I have been interested in Martin-Lof type theory and Lawvere’s program for some time, I think that this is something that I ought to try to understand. Even though homotopy theory has always been opaque to me. Anyone else want to try to work through the papers with me and then maybe try to make the core ideas accessible to the LW masses?