Hibernating, hallucinating, Haydn

Ely Cathedral, by Veronica in the Fens

It has been very wintry. At least by Cambridge standards. So up late, early to retire. Hardly leaving the house for a few days. Hibernating. Mrs Logic Matters has wonderful bread and other goodies to show for it. I seem to have been staring at screens to no real effect. Mists outside seeping into the brain.

Though yesterday, as the fog lifts, a galling realization. Reading what I’d written in ICT about the subobject classifier of Set→, I think it is just wrong. There is a confident assertion that the resulting internal propositional logic is the Gödel logic G3. How on earth did I hallucinate that? Very dispiriting!

In fact, I’m not sure that any familiar “naturally occurring” topos has G3 as its internal propositional logic. For the moment, at any rate, it’s a mystery how I fouled-up like that. Not exactly confidence-inspiring. Today’s task: re-gathering scattered brain cells, and repairing the damage!

I’ll need some cheering Haydn as the background playlist. How about starting with the latest in the ongoing cycle of his symphonies from Giovanni Antonini with Il Giardino Armonico and the Basel Chamber Orchestra? That should fit the bill!

The post Hibernating, hallucinating, Haydn appeared first on Logic Matters.