|
14 October 2019
|
Deniz Sarikaya (UHH)
|
Using frameworks from Philosophy of Science within Philosophy of Mathematic(s|al Practice)
|
|
21 October 2019
|
Alexander Okupnik (ETH Zürich)
|
Software 2.0. Programs programming programs!
|
|
28 October 2019
|
Marcos Cramer (TU Dresden)
|
How to Frame a Mathematician: Modelling the Cognitive Background of Proofs
|
|
4 November 2019
|
Marcel Krüger (UHH)
|
Interpreting mathematical markup for enhanced accessibility of scientific research
|
|
11 November 2019
|
No seminar
|
|
18 November 2019 |
Michel Gaspar (UHH)
|
Borel chromatic numbers of closed graphs and a Silver forcing
|
|
25 November 2019
|
Nathan Bowler (UHH)
|
Reflective Comprehension Principles
|
|
2 December 2019
|
Lorenzo Rossi (LMU München)
|
Core Grounding
|
|
9 December 2019
|
Hosea von Hauff (LMU München)
|
An BHK-Interpretation for Intuitionistic Epistemic Logic
|
|
16 December 2019
|
Lucas Wansner (UHH)
|
Regularity Properties and Inaccessible Cardinals
|
|
6 January 2020
|
Deborah Kant (U Konstanz)
|
Set theorists' voices on new axioms.
|
8 January 2020
Wednesday 14:15-15:45
Room 1438
|
Liuzhen Wu (Beijing & Münster)
|
On the minimal size of a basis for uncountable linear order
|
abstract
|
|
13 January 2020
|
Florian Gut (UHH)
|
Variations of the \(K_\omega\) Game
|
15 January 2020
Wednesday 18:15-19:45
Room 430
|
Yurii Khomski (Hamburg and Amsterdam)
|
Regularity Properties, Cichon's Diagram and Suslin Proper Forcing
|
abstract
|
20 January 2020
|
No seminar
|
27 January 2019
|
Jose Perez Escobar (ETH Zürich)
|
Mathematical Modelling and Teleology in Biology
|
