Category: Uncategorized

Alan Turing gets royal pardon for his 1952 conviction for “gross indecency.” http://www.bbc.co.uk/news/technology-25495315 http://www.theguardian.com/science/2013/dec/24/enigma-codebreaker-alan-turing-royal-pardon http://www.independent.co.uk/news/uk/home-news/alan-turing-gets-his-royal-pardon-for-gross-indecency–61-years-after-he-poisoned-himself-9023116.html

Twenty years ago this month I submitted my Diplomarbeit (MA thesis) on the proof theory of finite valued logics.  Still kinda proud of it. The main results of this report are: the use of signed formula expressions and partial normal forms to provide a unifying framework in which clause translation calculi, sequent calculi, natural deduction,…

The North American Summer School in Logic, Language and Information wil be held June 23-27, 2014 in College Park, MD.  A call for papers for the student session was just issued; deadline is February 24. The North American Summer School for Logic, Language and Information (NASSLLI) welcomes paper submissions for presentation at its Student Session.…

Wow, awesome. Lecturers include Rachael Briggs, Sonja Smets, and Florian Steinberger. The Munich Center for Mathematical Philosophy (MCMP) is organizing the first Summer School on Mathematical Philosophy for Female Students, which will be held from July 27 to August 2, 2014 in Munich, Germany. The summer school is open to excellent female students who want…

Alan Richardson writes on HOPOS-L: Professor Maria Reichenbach passed away on 28 November at the age of 104. She survived her husband, Hans Reichenbach, by over 60 years. Within the HOPOS community, Maria Reichenbach is best known for her efforts to keep alive the work of Hans, including her translations of several of his early…

Ivano Caponigro at UCSD writes: I’m working on a biography of Richard Montague (1930-1971) that aims to reconstruct his intellectual and personal life, his contributions, and his legacy.  Please contact me if you knew him personally (or just met him a few times) or have any material from him or about him (letters, manuscripts, pictures,…

My Doktorvater Paolo Mancosu has a new book: Inside the Zhivago Storm, on the publication history of Pasternak’s Doctor Zhivago. That’s the kind of scholar Paolo is: write a 400-page literary thriller because his duties as department chair at Berkeley keep him from doing his “real” work as a logician and philosopher of mathematics. UPDATE:…

A postdoc in history of geometry is being advertised at Vincenzo de Risi’s group at the MPI for History of Science,Berlin! https://www.h-net.org/jobs/job_display.php?id=47973 Research projects should concern the history of geometry, the history of mathematical epistemology or the history of the concept of space from the Ancient to the Early Modern Age. Possible topics include: The…

The Insight Grant Adjudication Committee (Committee 1C) for the 2013 Insight Grant competition of SSHRC, on which I served, prepared the following statement when the results of the competition were announced in April. We sent it to the CPA to distribute, but somehow it fell throught the cracks.  They did post an excerpt of an…

The Stanford Encyclopedia now has a separate entry on Gödel’s incompleteness theorem (by Panu Raatikainen). http://plato.stanford.edu/entries/goedel-incompleteness/ (Juliette Kennedy’s entry on Gödel also covers incompleteness.)