My name is Daniel Murfet, I am a Lecturer (aka tenure-track Assistant Professor) in the Mathematics Department at the University of Melbourne and part of the logic group. My CV is here and you can contact me by email or find me on Twitter. My papers are on the arXiv with the exception of my PhD thesis which you can find here. My primary research interests are in algebraic geometry, category theory and mathematical logic. You can see some of the things I like to think about in my Spring 2013 article in Emissary on matrix factorisations and my survey of linear logic. I currently run two seminars: one on the Curry-Howard correspondence and another on topological field theory. I have various code projects on GitHub including my joint project with Nils Carqueville on computing with matrix factorisations, and my joint project with Huiyi Hu on linear logic and deep learning.
Slides from my recent talks:
I gave a mini-course at the IBS in Korea on topological field theory with defects, specifically the fusion of defects in topological Landau-Ginzburg models. This included several computer demos, the source for which can be found on GitHub.
These lectures were made with the excellent GoodNotes for the iPad Pro.
Mass surveillance is a serious threat to the ideal of free inquiry which makes mathematics (and other beautiful things) possible. Moreover, the technologies which enable it (e.g. machine learning) and the technologies which can be used to protect oneself from it (e.g. encryption) are themselves mathematical. Soon after the Snowden leaks my friend Nils Carqueville and I wrote an essay on this subject, which you might find interesting.
During my PhD under Amnon Neeman at the Australian National University, I took detailed notes. I am making some of these available in the hope that they may be useful. Many notes are heavily cross-referenced with other notes. I use an acronym system, where a reference of the form (MRS, Proposition 6) refers to my “Modules over Ringed Spaces” notes, for example. I have tried to document the relevant acronyms here, but there may be references to notes that I haven’t published online.
It goes without saying that most of the results in my notes are from one book or another. I’ve tried to list some of the main sources below, together with my shorthand for each book.
These are the notes for the reading group on proof-nets in linear logic, spanning April 8 and 15 of the logic seminar at the University of Melbourne. The aim is to:
The main references are:
Here is a rough plan that makes sense to me, for the first seminar:
The canonical reference for proof-nets and the Sequentialisation Theorem is Girard [G96], but in order to have notational consistency with the second seminar on light linear logic, and to see an overview free of complicating details, I think [BM09] is a better starting point for us. This means we would view [G96], [J91], [PTF09] as augmenting references for the real details (which are completely absent from [BM09]).
A rough plan for the second seminar, which will be taken almost entirely from [BM09].
My interest in the mathematical theory of computation is primarily due to the work of the brilliant logician Jean-Yves Girard on linear logic. Below is a (not very comprehensive) list of references for the parts of the theory of computation that I either know a little about, or am interested in. The books can generally be downloaded in PDF form from bookzz, but do buy a copy as well.
General “big picture” references on computation and logic:
Some references on lambda-calculus, System F and proof theory:
Some references on computational complexity theory:
Relations between computation and category theory:
Relations between computation and physics:
Some interesting videos: