Logic I exercise: Formalize "Every day each of us says the dumbest thing we are going to say that day." Is it logically true?
The submission deadline for the July conference Computability in Europe is drawing near (Jan 20). I hope there will be at least a few papers on history and philosophy of computability--the PC chair tells me that so far there are none!
Arne Næss has died at the age of 96. He was the last surviving member of the "periphery" of the Vienna Circle.Notice here.