Conference honoring the Winners of the Kurt Gödel Research Prize Fellowships 2008 and 2011

Foundational Concerns and Mathematical Concerns

author: Angus Macintyre, School of Mathematical Sciences, Queen Mary, University of London
published: May 20, 2011, recorded: April 2011, views: 791

Slides

Slides
0:00	Foundational concerns and mathematical concerns
3:46	Introduction
9:22	What do I understand by a foundational concern?
10:06	Geometry
11:02	Examples
12:33	Numbers
14:51	Mathematics without Foundations
19:13	The various eects of foundational eorts
24:11	Set theory and the rest of mathematics
35:36	Concerns around Axioms and Incompleteness
37:49	Concerns around Axioms and Incompleteness,continued
38:31	What did Formalization bring?
39:00	What did Incompleteness bring?
42:22	Predictions
57:36	Abstraction, Category Theory, Cohomology
61:36	The present place of set theory
62:59	Guessing at future crises or dramas
64:13	Categoricity
64:21	Categoricity Continued

Report a problem or upload files

If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.

Lecture popularity: You need to login to cast your vote.