The seminar on mathematical logic will, this term, take place in Room 1119 in the mathematics building NHA. As in previous years, the time is Thursdays 10.15 - 12.00.
Also as in previous years, we aim at providing Zoom transfer of the seminar room activities. Some talks may be given via Zoom only.
The program is tentative and open to changes and additions.
Anyone interested in receiving the week-to-week information about the seminar can send an e-mail to Dag Normann and ask to be added to the mailing list.
PROGRAM
01.02.2024: Making plans for the term
15.02.2024: Dag Normann, Perspectives of Reverse Mathematics
22.02.2024: Dag Normann, Continued
29.02.2024: Øystein Linnebo, Strict potentialism in modal mirrors.
07.03.2024: Lars Kristiansen, On weak first-order theories and the foundations of mathematics.
14.03.2024: Lars Kristiansen, On weak first-order theories and the foundations of mathematics.
04.04.2024: Frode Bjørdal (Zoom), Librationist cum classical theories of sets
11.04.2024: Cancelled
18.04.2024: David Ross (Zoom), Some nonstandard proofs about systems of equations.
25.04.2024: Trung Tuyen Truong,How is AI doing with mathematical arguments.
02.05.2024: Daniel Santiago Jockwich, On Non-classical Foundations.
23.05.2024: Guendalina Righetti, Combining Concepts: Integrating Logical and Cognitive Theories of Concepts.
06.06.2024: Juvenal Murwanashyaka