BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Midlands Logic Seminar
SUMMARY:Processes as numbers - Richard Kaye\, University o
f Birmingham
DTSTART:20171130T160000Z
DTEND:20171130T180000Z
UID:TALK2998AT
URL:/talk/index/2998
DESCRIPTION:I will give a very gentle introduction to Abraham
Robinson's "nonstandard analysis".\n\nAn introduct
ion to the topic (and the first 10 minutes of the
talk) can be found at "http://web.mat.bham.ac.uk/R
.W.Kaye/abstraction/processes.html":http://web.mat
.bham.ac.uk/R.W.Kaye/abstraction/processes.html\n\
nIt is my view that this is the best way to unify
Gowers' two views of "infinity" both as a number a
nd as a process. It is also interesting from the
point of view of mathematical fictionalism since m
ost mathematicians do regard nonstandard numbers a
s an unnecessary "fiction". Nonstandard universes
are also useful to help visualise certain predica
tivity issues that we have been talking about - es
pecially concerning the (im?)predicativity of the
induction axioms.
LOCATION:Mech Eng B07
CONTACT:Richard
END:VEVENT
END:VCALENDAR