Category: Uncategorized

I’m very excited that Steve Awodey is on his way here to deliver the first Calgary Mathematics & Philosophy Lecture tomorrow! He’s speaking on “Univalence as a New Principle of Logic.” If you’re in Calgary, you should come.  It’ll be exciting. Thursday, 3:30 pm, in Engineering Building A aka ENA 101 on the UofC campus.…

I’ve been having a conversation with Alex Douglas and Eric Schliesser on their posts (Alex’s, Eric’s) about Milton Friedman’s footnote about observer-dependence and Gödel’s incompleteness theorem.

John Venn would have been 180 today (August 4). In celebration, Google put up an interactive Venn Diagram doodle, which is pretty amazing. Also, TIL that it’s not a Venn diagram if it doesn’t contain all possible intersections, a restriction that doesn’t apply to Euler diagrams.  So representing an empty intersection by two non-intersecting regions…

The Café Reichsrat in Vienna is notable as the place where Gödel, on August 26, 1930, first announced the incompleteness theorem to Carnap, Feigl, and Weismann. The members of the Vienna Circle had met there to prepare for the trip to the “Zweite Tagung für Erkenntnislehre der Exakten Wissenschaften,” a satellite meeting to the congress…

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/