|
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.
|
|
|
|
|
|
|
|
© 