Tuesday 26 Morning

Clément Lion
STI, CNRS, Charles de Gaulle University, Lille, France
“Universality and intersubjectivity of mathematical constructions. Toward a dialogical reading of Brouwer's proof of the bar theorem”

Giulia Miotti
Department of Philosophy, Sapienza University of Rome, Italy
“Discovery in mathematics from a heuristic perspective: the case of the calculus and its development”

Nick Rossiter and Michael Heather
Northumbria University, UK and University of Cambridge, UK; Trinity College, Ireland
“What is Law?: the perception of Category Theory”

Erdinc Sayan
Department of Philosophy, Middle East Technical University, Ankara, Turkey
“Is the Logic Behind Cantor's Theory of Transfinite Numbers Sound?”

Irina Starikova
Department of Philosophy, University of São Paulo, Brazil
“Visual Images and Non-Deductive Rules in Mathematical Discovery”

Krzysztof Śleziński
Institute of Educational Science, Cieszyn, Poland, University of Silesia, Katowice, Poland
“Structural investigation of the categorial logic-geometrical system”

Krzysztof Wójtowicz
Departement of Philosophy, University of Warsaw, Poland
“Explanation and existence in mathematics”

For co-authored papers, first is the name of the one who will present the talk. Talks are located in a workshop or in a session
Keynote talks= 45 mn / Contributed talks = 30 mn (including discussion in both cases)
Back to the Sessions of UNILOG'2018