Mindblown: a blog about philosophy.

A group of researchers in philosophy, psychology and mathematics are requesting the assistance of the mathematical community by participating in a survey about mathematicians’ philosophical intuitions. The survey is here: http://goo.gl/Gu5S4E. It would really help them if many mathematicians participated. Thanks.

The Special Session on “The Place of Logic in Computer Science Education” took place at the Logic Colloquium on Tuesday. It was well attended and, I think, overall a successful session.  The newly-formed ACM Special Interest Group on Logic and Computation (SIGLOG) was represented by its chair Prakash Panangaden. He stressed the importance of logicians…

So there will be a student party at the Summer of Logic. Help me crowdsource logic/math/CS/AI tracks, preferably danceable. Ideas? Pet Shop Boys – He Dreamed of Machines Turing Machines – Slave to the Algorithm My Robot Friend – Robot High School Super Furry Animals – Fuzzy Logic Daniel Avery – Drone Logic Scooter –…

More sad news, via the Studia Logica list: We sadly inform that Professor Joachim Lambek (Jim for friends) passed away on June 23, 2014, at 2:00 p.m. in Montreal. Joachim Lambek was born in Leipzig on December 5, 1922. His parents moved to Leipzig from a small town near Krakow (Poland). In the late 1930-ties…

So while everyone is following the World Cup, I’m getting excited about the FLoC Olympic Games to be held at the Vienna Summer of Logic this year.  Still doing my research to pick favourites, but here are some of the disciplines: Answer Set Programming (ASP) Model & Solve, divided into single- (“Men’s”) and multi-processor (“Women’s”)…

Fees go up tomorrow! http://vsl2014.at/registration/

Very sad news today: Grisha Mints has died.  He was born June 7, 1939 in Leningrad (now St. Petersburg). He received his education in mathematics at Leningrad State University under N. A. Shanin, and held positions there, at the Steklov Institute in Leningrad, and then, from 1980-1991, at the Estonian Academy of Science in Tallinn. …

Here’s a simple way to pretty-print documentation included as comments in a source file (I’m mainly interested in LaTEX code), with or without the intervening code.  It’s useful if you don’t want to bother with a more complicated solution such as LaTeX’s docstrip + ltxdoc.  It uses the ubiquitous bash tools grep and cut (available…

Just came via the proof theory mailing list. I’m wondering why the ASL is not mentioned along with the EATCS, EACSL, and KGS. Dear Colleague, I am delighted to announce the formation of a new special interest group focussed on logic and computation. The new SIG will be called SIGLOG. The officers are: Prakash Panangaden…

The Arthur Prior Centenary Conference will be held at Balliol College, Oxford, on 21–22 August 2014, to celebrate the work of Arthur Norman Prior (1914-1969). Prior was a Fellow of Balliol and famous for his contributions to logic, ethics and metaphysics, but most of all he is known as the founder and principal inventor of…