As almost the last thing in almost my last lecture a week or so ago, one of the highlights was the Compactness Theorem for first-order logic together with some of its consequences (sucuh as the upward Löwenheim–Skolem theorem). Some of the students who had met complactness in the Topology module were interested to know how…

Peter Cameron's Blog

20.03.2025

Defend research against government censorship | Peter Cameron's Blog

How sad, and almost unbelievable, that we need this! The Declaration to Defend Research against Government Censorship has four goals: Support instances of resistance to U.S. government censorship; Promote venues for scholars to share, safeguard, and preserve their work, beyond the reach of censorship; Participate in efforts to track and record instances of U.S. government…

Peter Cameron's Blog

27.03.2025

Weeping Atlas cedars | Peter Cameron's Blog

"Why is a raven like a writing-desk?", the Hatter asked Alice. When she couldn't guess and asked him the answer, he said, "I haven't the slightest idea." So here is another riddle. Why are greedy leaders like weeping Atlas cedars? This occurs in the George Harrison song "Beware of darkness"; at least, all the Internet…

Peter Cameron's Blog

30.03.2025

Memories of CFSG | Peter Cameron's Blog

Rebecca Waldecker is collecting material for a history of the Classification of Finite Simple Groups (CFSG). Prompted by this, I wrote down a few thoughts. Although I was never involved in any project which fed directly into CFSG, I was on the edge of it for a good part of my career. What follows are…

home›Peter Cameron's Blog

Peter Cameron's Blog

Science

Compactness | Peter Cameron's Blog

Defend research against government censorship | Peter Cameron's Blog

Weeping Atlas cedars | Peter Cameron's Blog

Memories of CFSG | Peter Cameron's Blog

home
›
Peter Cameron's Blog