Category Archives: theoretical computer science

mathematical work relating to computer science and automata.

Oh snap – Maurice Wilkes on Alan Turing

Posted on March 25, 2010 by admin

He was a real mathematician except that he only learned one little bit of mathematics and then didn’t learn any more. He was no practical organizer and, well, if you had Turing around in the place you wouldn’t get it … Continue reading →

Posted in academics, theoretical computer science | Tagged , , | Leave a comment

Continuing mathematician sanity thread: Boltzmann

Posted on March 17, 2010 by admin

[Boltzmann] Opposition to his ideas was harsh and his moods were volatile. Despondent, fearing disintegration of his theories,he hanged himself in 1906. It wasn’t his first suicide attempt, but it was his most successful. This kind of expresses the mood … Continue reading →

Posted in academics, theoretical computer science | Tagged , | Leave a comment

More computer science as humbug [updated with Brazil dream sequence]

Posted on March 15, 2010 by admin

Continuing my experiments in academic papers, I sent a paper on automata and circuit verification to CAV2010 (here’s an updated version with some corrections and better references). I actually got one carefully written and well informed review. Sending a paper … Continue reading →

Posted in academics, architecture, software engineering, specification, theoretical computer science | Tagged , , , | 2 Comments