Logic I exercise: Formalize "Every day each of us says the dumbest thing we are going to say that day." Is it logically true?
Month: January 2009
“Computability” Deadline Approaching
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 Naess, 1912-2009
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.