AG Horsten Calendar Overview

Speaker:
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).

Speaker:
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).