Skip to the content.

Foundations seminar

A seminar on the nature of mathematical objects, logic, Gödel’s theorems.



There is a timezone change on the 2nd October for daylight savings in Melbourne. The foundations seminar timeslot will stick to Melbourne time, which will change from AEST (UTC +10) to AEDT (UTC +11).

The next few seminars will be as follows:

From 17-10-22, foundations will run every 2 weeks at 21:00 AEDT (UTC +11), immediately after the Shadows of Computation lecture.

Past seminars

Season 1 - First Order Logic, Soundness, Completeness, Incompleteness

Season 2 - Ax-Grothendieck and Model Theory