Good Sources for Lecture Movies in Set Theory, Logic and Philosophy of Maths

Question

Of course as any other researcher I'm not able to attend any scientific event in my research area. But it is always interesting and useful to watch the lecture movies of these events.

I will appreciate if you help me by introducing some links and sources to some lecture movies (or any other type of movies including debates, documentaries, etc.) particularly related to set theory, Logic and philosophy of maths.

Answer 1

Here's something to start with.

Logic at Harvard - Exploring the Frontiers of Incompleteness.

Answer 2

Gresham College website is a general source for Public Scientific Lectures including different branches of logic.

See also these video lectures from Institute for Advanced Study:

• Voevodsky - What if Current Foundations of Mathematics are Inconsistent?

• Voevodsky - Univalent Foundations: New Foundations of Mathematics

• Magidor - Can the Continuum Problem be Solved?

• Kojman - Does Infinite Cardinal Arithmetic Resemble Number Theory?

• Bombieri - The Mathematical Infinity

And these with Hugh Woodin and Keith Devlin participation in "Infinity Program".

Here is a lecture by Justin Moore on Forcing.

The following sets of set theory video tapes are from Fields Institute video archive.

• Three lectures of Foreman on large cardinals.

• Workshop on Iterated Forcing and Large Cardinals.

• Workshop on Forcing Axioms and their Applications.

Note: In above links click on the "static" button beside each title to watch the tape.

Answer 3

Another good alternative are the video lectures from this web page.

Answer 4

Look at the Mathematics Illuminated series (Magnet link: magnet:?xt=urn:btih:e7d9f0ab4e6bf8e9b7cadf37d0e6ba3285172352 ). Individual segments of that series can also be found on YouTube.