Recent silence – scientific freak weeks
If you wonder why it was so silent here over the last weeks, there is a simple explanation: I am on scientific freak weeks 😉 As you might know, in my main profession I...
Tagged: Mathematics
CafeOBJ 1.5.0 released
Yesterday we have finally released CafeOBJ 1.5.0. This marks a great step forward in a long development history of this algebraic specification and verification language. To quote from our README: CafeOBJ is a new...
Too stupid for airplane games – syllogism versus logic
During the long flight from Narita to Vienna I spent some time with a game called “Brain Teaser”. Math, general knowledge was ok, but in the section of analytic I failed badly. Let us...
Gaisi Takeuti – Proof Theory
One of the best works on proof theory finally is back in print – Gaisi Takeuti‘s Proof Theory. Originally published as Volume 81 in the series Studies in Logic and the Foundations of Mathematics...
