Can proofs by mathematical induction be explanatory?
Time
Friday, 15. December 2023
11:45 - 13:15
Location
D 435
Organizer
Leon Horsten, Carolin Antos, Sam Roberts
Speaker:
Sofie Vaas (Master's Student, University of Konstanz)
Can proofs by mathematical induction be explanatory?
Time
Friday, 15. December 2023
11:45 - 13:15
Location
D 435
Organizer
Leon Horsten, Carolin Antos, Sam Roberts
Speaker:
Sofie Vaas (Master's Student, University of Konstanz)