Some Presentations
Overview
This page provides links to some presentation overheads, and notes, as PDF files with abstracts in plain text.
Completed Presentations
PolySets - non well-founded ontologies for formal mathematics
On non-well-founded interpretations of set theory, delivered to a seminar on Set Theory, Centre for Mathematical Sciences, Cambridge, 22 May 2007, then given at NF70 (New Foundations 70th anniversary workshop), same venue, 27 May 2007,
Not many notes, but a more compact version af the material suitable for printing.
From QED to X-Logic, following the lead of Leibniz
A presentation given at the ARG lunch (Cambridge computer labs) on 12 June 2007.
Presentations in Preparation

up quick index © RBJ

privacy policy

Created:

$Id: tp000.xml,v 1.10 2010/08/13 19:53:44 rbj Exp $

V