gabbay:20081022-lawwgd
Murdoch J. Gabbay The laws of writing a good dissertation I discuss technical writing for an audience of fourth year undergraduates, on Wednesday 22 October at 13:15.
Oh, what are the laws of writing a good dissertation? Read the slides and find out, with examples!
[ps] [pdf]
gabbay:20080929-natscs
Murdoch J. Gabbay The nature of sets in computer science A talk given at King's College as part of their Advanced Programming Techniques seminar series, on Monday 29 September at 12:00. I show how from a belief in the empty set and in ordinals we can construct a mathematical universe large enough that mathematical objects (in particular, numbers, rationals, and reals) can be interpreted in it. In response to questions from the audience I discuss the difference between structure (which exists in the model) and meaning (which exists in our own minds). It was a pretty good audience!
[ps] [pdf]
gabbay:20080926-curhid
Murdoch J. Gabbay Nominal terms and one-and-a-half level Curry Howard A talk given at the Cambridge University computer lab as part of their Logic and Semantics seminar series, on Friday 26 September at 2pm. Joint work with Dominic Mulligan.
[ps] [pdf] [video]
gabbay:20080704-twoaah-wflp
Murdoch J. Gabbay Two-and-a-half order lambda-calculus Given on Friday 4 July in the WFLP 2008 in Italy at 10:00. I describe two-and-a-half order lambda-calculus, a two-level lambda-calculus. Normally, the lambda-calculus has a capture-avoiding substitution. The two-level lambda-calculus is actually two lambda calculi, with distinct namespaces for variable symbols of `strong' and `weak' variables, but sharing a common application operator. Substitution for a strong variable does not avoid capture by lambda-abstraction for a weak variable. This leads to interesting and unusual phenomena.
[ps] [pdf] [video]
gabbay:20080630-pisa
Murdoch J. Gabbay Nominal Algebra Given on Monday 30 June in the Pisa University Department of Informatics Seminar series in Italy at 17:30. I describe nominal algebra, a nominal algebraic reasoning language.
[ps] [pdf] [video]
gabbay:20080404-subfmf-aisb
Murdoch J. Gabbay Substitution for Fraenkel-Mostowski Foundations Given on Friday 4 April in the AISB conference in Aberdeen at 17:30. I describe a substitution action defined for the atoms on Fraenkel-Mostowski sets (the general set theory version of nominal sets). In the original Gabbay-Pitts ‘nominal’ approach to modelling syntax, the atoms in Fraenkel-Mostowski set theory were used to model variable symbols. Since they have a substitution action, it may be that they can be used to model variables, as well. Joint work with Michael Gabbay.
The associated paper is here.
[ps] [pdf]
A video is online here: [Google video]
gabbay:20080304-curhid
Murdoch J. Gabbay One-and-a-halfth order Curry Howard: Incomplete Derivations A talk given at the École Polytechnique on Tuesday 4 March at 11am. Joint work with Dominic Mulligan.
[ps] [pdf]
A video is online here: [Google video]
gabbay:20080207-twoaah
Murdoch J. Gabbay Two-and-a-halfth order lambda-calculus: a calculus of the informal meta-level A talk given in the DSG (Dependable Systems Group) meeting. Joint work with Dominic Mulligan.
[ps] [pdf]
gabbay:20080228-arboms-arche
Murdoch J. Gabbay Arbitrary objects in mathematics and semantics, in the Paris Arché workshop on abstract objects in semantics and the philosophy of mathematics on Thursday February 28. This talk was delivered by my co-author Michael Gabbay; a photo of Michael delivering the talk is online here. We connect relatively recent developments in Fraenkel-Mostowski sets and nominal style semantics, with existing philosophical thinking on arbitrary-ness and unknown entities in language, mathematics, and semantics. Joint work with Michael Gabbay.
The associated paper is here.
[ps] [pdf]
gabbay:20080111-strbts
Murdoch J. Gabbay Strange but true! Second year undergraduates chat all night online about logic course A talk given as part of the Flexible Learning Talks series in Heriot-Watt University on Friday 11 January. Thanks to Nicole Cargill-Kipar.
[ps] [pdf]
gabbay:20080114-semnb-kings
Murdoch J. Gabbay Semantics of names and binding A King's College London departmental colloquium given on January 14 at noon. Thanks to Iman Poernomo. I gave this talk the old-fashioned way on the blackboard; hence, no pdf slides online. It was good fun.