Doktorandenkolloquium
Jede Woche treffen wir uns, um einen Vortrag zu hören oder einen Artikel zu diskutieren. Wir freuen uns auf eure Teilnahme.
Freitags 11.45 - 13.15 Uhr
Raum D 435
Liste der Vorträge
Wintersemester 2024-2025 DK-Zeitplan (gemeinsam mit Carolin Antos)
25. Oktober, Vortrag. Andrés Crelier (National University of Mar del Plata, Argentina), Kinds of Reasons in Non-human Animals | Raum D 432
08. November, Vortrag. Carolin Antos (Universität Konstanz), Foundations and explanations
15. November, Vortrag. Bryan Pickel (University of Glasgow), A Semantic Vacuity Theory of Truth. Abstract
22. November - 23. November, Tagung. Die Logik der Vernunft | Raum G 307
Montag 25. November, gemeinsamer Vortrag mit Uni Konstanz Logic Colloquium. Line Edslev Andersen (University of Brussels), Interviewing mathematicians about proofs . Abstract | 15:15 - 16:45 in Raum F 426
6. Dezemeber, Vortrag. TBA
13. Dezember, Vortrag. TBA
Montag 16 Dezember, gemeinsamer Vortrag mit Uni Konstanz Logic Colloquium. Clara List (University of Cambridge), Titel TBA | 15:15 - 16:45 in Raum F 426
10. Januar, Vortrag. Gottfried Gabriel (Universität Jena), Frege and Others on the Justification of Basic Logical Laws
17. Januar, Vortrag. Silviu Federovici (Alexandru Ioan Cuza University of Iasi, Romania), Titel TBA
24 Januar, Vortrag. Sander Pouliart (University of Antwerp), Title TBA
31. Januar, Vortrag. Hadil Karawani (Universität Konstanz), Titel TBA
Montag 3. Februar, gemeinsamer Vortrag mit Uni Konstanz Logic Colloquium. Maud van Lier (Universität Konstanz), Titel TBA | 15:15 - 16:45 in Raum F 426
Interviewing mathematicians about proofs
Wann
Montag, 25. November 2024
15:15 bis 16:45 Uhr
Wo
F 426
Veranstaltet von
Carolin Antos
Vortragende Person/Vortragende Personen:
Line Edslev Andersen (University of Brussels)
Dieser gemeinsame Vortrag mit dem Uni Konstanz Logic Colloquium findet am Montag den 25. November statt.
This joint talk with the Uni Konstanz Logic Colloquium will take place on Monday, 25 November.
Abstract:
In this talk, I will address my experiences as a philosopher with interviewing mathematicians about their research practices. I will present what I have learned, through the interviews, about mathematical proofs as they appear in practice. Furthermore, I will reflect on what I have learned about the use of interviewing as a research method. The work I discuss is, in part, joint work with Mikkel Willum Johansen and Henrik Kragh Sørensen (both at the University of Copenhagen).