Submitted by Richard Zach on Mon, 10/13/2008 - 8:17pm
Since I'm hanging out with a bunch of category theorists every Wednesday, web finds with "category theory" in them keep attracting my attention. A couple of weeks ago, I came across this book draft posted on arXiv:
Submitted by Richard Zach on Fri, 10/10/2008 - 3:09pm
Are you sitting in front of the computer, hitting the "reload" button every two seconds to see if the October Jobs for Philosophers is posted on the APA website yet? Why not check out the job that we have right here: Assistant Professor with AOS in Logic?
Submitted by Richard Zach on Wed, 10/08/2008 - 3:16am
Today I taught Ch. 13 of Peter Smith's book. We showed that every Σ1 function can be written as a composition of two Δ0 functions (p. 108). In his proof of this, Peter's following Boolos Burgess & Jeffrey (Lemma 16.12 on p. 206 of the 4th & 5th ed.; it's not in the 3rd so I'm guessing it's due to John Burgess).
Submitted by Richard Zach on Tue, 10/07/2008 - 12:55am
NB: History and philosophy of computation explicitly part of the scope. Note also the philosophers on the program committee and the special session on philosophical and mathematical aspects of hypercomputation.
CiE 2009: COMPUTABILITY IN EUROPE 2009 -
Mathematical Theory and Computational Practice
19 - 24 July 2009
Deadline for submissions: 20 JANUARY, 2009
Submitted by Richard Zach on Sun, 10/05/2008 - 9:15pm
So I got fed up with Bloglines one time too many, and I switched to Google Reader. It maybe it's just that I'm still getting used to it, but I find the user interface of Bloglines a bit more intuitive. And it has served me well for years. Wait--Why do I feel bad about switching feed readers? Anyway.
Submitted by Richard Zach on Fri, 10/03/2008 - 9:25pm
If you're a member of the ASL,* you recently received the September Newsletter. In it--maybe easy to miss--this nice opportunity to acquire some logic books for cheap:
For a limited time, the ASL is making available the following volumes from its book series at an additional discount.
Submitted by Richard Zach on Thu, 10/02/2008 - 4:00pm
Submitted by Richard Zach on Tue, 09/30/2008 - 2:43pm
CUP is giving away copies of Martin Gardner's New Mathematical Library if you can solve a logic puzzle--any reader of this blog should be able to solve this one!
Submitted by Richard Zach on Wed, 09/24/2008 - 5:21pm
My colleague Robin Cockett and I have been running a research group here at Calgary where the various computer scientists, mathematicians, and philosophers interested in logic, theory, foundations, etc. meet and present work. For a long time we've had weekly meetings and everything went great, but then both Robin and I went on leave and almost nothing happened the past year or so. But we're starting up again! We have a fancy new website to prove it!
Submitted by Richard Zach on Wed, 09/24/2008 - 4:01pm
The ASL Newsletter went out today, and it looks like the Winter Meeting will be very exciting:
2008-09 ASL Winter Meeting (with APA) Philadelphia, Pennsylvania
December 27–30, 2008
Submitted by Richard Zach on Tue, 09/23/2008 - 4:10pm
The Vienna International Summer University next year (July 13-24, 2009) will be on the topic "The Culture of Science and Its Philosophy". Call for Participation just came in. Stupid framed website: to apply, go to the website, then click on "Application" in the navigation bar on the left.
Submitted by Richard Zach on Tue, 09/23/2008 - 6:45am
I'm going to pretend I'm not in the timezone I'm in, and that it's still OneWebDay. And sing the praises of the internet. Specifically, "today," I realized again how much I depend on the availability of information on the internet and the communication possibilities it opens up. As examples, two things:
Submitted by Richard Zach on Fri, 09/19/2008 - 11:46pm
Submitted by Richard Zach on Mon, 09/15/2008 - 5:39am
These will go in a homework assignment in my next Intro Logic class.
Submitted by Richard Zach on Sat, 09/13/2008 - 4:21pm
Submitted by Richard Zach on Thu, 09/11/2008 - 4:30pm
In Bloglines, the atom feed for LogBlog shows up as "does not exist", and it has so for a couple of days. Is that just me? Maybe I should just switch to Google Reader, but Google is almost taking on a Microsoft-ish quality in my mind. Plus, not sure it can do the blogroll the same way with the categories and all.
Submitted by Richard Zach on Wed, 09/10/2008 - 4:40pm
Submitted by Richard Zach on Wed, 09/10/2008 - 4:31pm
This one I found not on the internets, but in the Berkeley math library! John Burgess has a collection of philosophical papers out: Mathematics, Models, and Modality. It includes the classics "Why I am not a nominalist", "Mathematics and Bleak House", "Can truth out?", and "Quinus ab omni noevo vindicatus". Must buy, must read!
Submitted by Richard Zach on Wed, 09/10/2008 - 3:20pm
So, sabbatical is over, I'm back in Calgary, started to teach yesterday (history of analytic, and Gödel's incompleteness theorem--from Peter's book). I saved so many posts in my reader over the summer that now there's more saved posts than new posts every day. Let's clean house.
Submitted by Richard Zach on Wed, 09/10/2008 - 2:07pm
Submitted by Richard Zach on Mon, 09/08/2008 - 3:27pm
The Summer Schools in Logic and Learning will be held January 26-February 6, 2009, and you're invited:
An Open Invitation to attend the
Summer Schools in Logic and Learning
26 January to 6 February 2009
Australian National University, Canberra, Australia
Submitted by Richard Zach on Sat, 09/06/2008 - 3:13pm
Submitted by Richard Zach on Fri, 09/05/2008 - 7:18pm
Submitted by Richard Zach on Fri, 09/05/2008 - 6:26pm
SSHRC has posted the list of funded projects from the most recent Standard Research Grants competition. These grants are for three years. Last year's results are here (plus lots of discussion on the politics of SSHRC in the comments section).
Submitted by Richard Zach on Fri, 09/05/2008 - 5:27pm
Last year in May, Berkeley held a conference in honor of Bill Craig, who will turn 90 this coming November. Bill is probably best known for the Craig Interpolation Theorem and the theorem that every recursively enumerable theory is recursively axiomatizable. Just in time, the Festschrift arising from that conference has appeared online. It's a special issue of Synthese, edited by Paolo Mancosu.
Submitted by Richard Zach on Fri, 09/05/2008 - 3:05pm
Henri Cartan, last surviving member of the original Bourbakistes, died on August 13. He'll be remembered not just for his mathematical work, but also for his political engagement for human rights and European federalism. Obits:
Submitted by Richard Zach on Fri, 09/05/2008 - 2:52pm
The CiE series of conferences now has an associated association. At 0 EUR, membership is pretty cheap! By the way, next year's CiE in Heidelberg will be a blast for the logic-y side of computation. Jeremy Avigad has agreed to be one of the invited speakers, Pavel Pudlák will give a tutorial, and there will be a session on philosophical and mathematical aspects of hypercomputation organized by Phil Welch and James Ladyman. Deadline for paper submission is January 20, 2009.
Submitted by Richard Zach on Sat, 08/30/2008 - 4:39pm
Another exciting new blog, by Chris Pincock: Honest Toil.
Submitted by Richard Zach on Sat, 08/30/2008 - 4:31pm
Submitted by Richard Zach on Fri, 08/08/2008 - 5:53am