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!