Submitted by Richard Zach on Mon, 04/17/2006 - 10:49pm
One of the corollaries that easily follow from Gödel's first incompleteness theorem for arithmetic is the incompleteness of second-order logic: there can be no proof system that generates all and only the validities of second-order logic. It follows from the incompleteness of arithmetic because for any sentences φ of first-order arithmetic, there is a sentence of second-order logic φ′ which is valid iff φ is true in the standard model. So if second-order logic was recursively enumerable (r.e.) then true arithmetic (the sentences true in the standard model) would be r.e.
Submitted by Richard Zach on Sat, 04/15/2006 - 3:59pm
A whole bunch of conference announcements came in over the Proof Theory and FOM lists the other day:
Logic Colloquium. July 27-August 2, Nijmegen, Netherlands. Submission deadline: April 17.
Workshop on Hybrid Logics. August 11, Seattle (part of FLoC). Submission deadline: May 26.
Submitted by Richard Zach on Tue, 04/11/2006 - 2:44am
Thomas Dolby has a blog. And so do the UConn philosophy grad students.
Submitted by Richard Zach on Sun, 04/09/2006 - 12:05am
Amazon.de emailed me today, suggesting that I preorder Kurt Gödel: The Album. There's not that much info on the amazon.de page, nor on the Vieweg page, but it's the book to accompany the exhibition the editors (Karl Sigmund, John Dawson and Kurt Mühlberger) are putting on for the Gödel Centenary in Vienna.
Submitted by Richard Zach on Tue, 04/04/2006 - 6:31pm
Submitted by Richard Zach on Sun, 04/02/2006 - 1:03am
Submitted by Richard Zach on Sun, 03/26/2006 - 12:54pm
The 2006 RZ World tour just started at the "Truth and Proof" conference in Edinburgh. Thanks Jeff Ketland and Jean-Louis Hudry for putting this on and inviting me! So far we had some excellent talks by John Dawson on the history of the notion of truth and use of semantic methods in logic; by Hannes Leitgeb on his work on modal predicates; and by Phil Welch on games describing supervaluation fixpoints and Hannes' dependency stuff.
Submitted by Richard Zach on Fri, 03/17/2006 - 6:11pm
Long time no blog. Sorry, been busy planning my 2006 world tour. Dates will be announced shortly.
Submitted by Richard Zach on Wed, 02/15/2006 - 9:21pm
I linked to it before, but now the deadline is nigh:
Call for Participation
Young Scholars' Competition
The Kurt Gödel Centenary: Horizons of Truth organizers and sponsors invite young scholars in logic, mathematics, physics, philosophy, computer science and theology to submit project proposals for the young scholars' competition honoring Kurt Gödels hundredth birthday.
Submitted by Richard Zach on Wed, 02/15/2006 - 9:52am
Submitted by Richard Zach on Sun, 02/12/2006 - 11:21pm
Submitted by Richard Zach on Sun, 02/12/2006 - 10:50pm
Submitted by Richard Zach on Wed, 02/01/2006 - 8:19pm
Submitted by Richard Zach on Wed, 02/01/2006 - 3:29am
This looks like a superb opportunity for undergrads and beginning graduate students:
In 2006, the Department of Philosophy at Carnegie Mellon University will launch a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to
Submitted by Richard Zach on Wed, 01/18/2006 - 6:04pm
Ok, two logic-related posts already today, so I guess I can afford to post something else as well. Ang Lee's Brokeback Mountain, as is pointed out in every other review, wasn't filmed in Wyoming but right around where I am. Brokeback Mountain itself is played in the move by the Three Sisters Range which can be seen from the Trans-Canada Highway at Canmore, about an hour's drive west of Calgary.
Submitted by Richard Zach on Wed, 01/18/2006 - 5:56pm
Received from Arnold Beckmann:
FUNDING OPPORTUNITIES TO ATTEND COMPUTABILITY IN EUROPE 2006
This is just to clarify the various opportunities offered throught the organisers of CiE 2006 for PhD students and researchers from the Former Soviet Union to obtain funding to attend the conference.
The deadline for all the funding schemes has been fixed for
MARCH 31, 2006
Submitted by Richard Zach on Wed, 01/18/2006 - 4:56pm
Foundational Issues in Logic: logical consequence and logical constants revisited
18-19 May 2006
Santiago de Compostela (Spain /España)
Organized by Área de Lógica y Filosofía de la Ciencia de la U.S.C.
Supported by European Society for Analytic Philosophy Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España Sociedad Española de Filosofía Analítica
Submitted by Richard Zach on Sat, 01/14/2006 - 7:54pm
When LanguageLog reported on the linguistic issues arising out of the French Nabaztag craze, I thought I should be in on it. So I got one. I called it, rather unimaginatively, "duckrabbit".
Submitted by Richard Zach on Sat, 01/14/2006 - 7:06pm
Submitted by Richard Zach on Wed, 01/11/2006 - 8:43pm