Amphi Hermite

Président : Giorgio Venturi

Salle 01

Présidente : Gisele Secco

Salle 201 (2ème étage)

Président : Juan Luis Gastaldi

11:45 – 12:30

Pauline van Wierst

(Scuola Normale Superiore, Italy)

Grounding in Bolzano’s Purely Analytic Proof

Yacin Hamami

(Vrije Universiteit Brussel, Belgium)

The granularity of proof: McKay’s Proof of Cauchy’s Group theorem as a case study

Moreno Andreatta

(IRCAM-CNRS-UPMC, France) 

Exploring the « mathmusical » dynamics:  some theoretical and philosophical aspects of a musically driven mathematical practice

12:30 –13:15

Georg Schiemer

(University of Vienna, Austria)

Duality and transfer principles: The rise of model-theoretic methods   in projective geometry.

Davide Crippa

(Université Paris Diderot, France)

From irreducible to reducible impossibility theorems : A shift in mathematical practice

Karen Francois

(Free University Brussels, Belgium)

Brendan Larvor

(University of Hertfordshire, UK)

The concept of culture in the study of mathematical practice

Amphi Hermite

Président : Dirk Schlimm

Salle 01

Président : Michele Ginammi

Salle 201 (2ème étage)

Président : Bart van Kerkhove

 17:00 – 17:45

Madeline Muntersbjorn

(University of Toledo, USA)

Geometric rectification & Algebraic Representation

Sorin Bangu

(University of Bergen, Norway)

Mathematical Knowledge from a Psychological point of view

J. Brian Pitts

(Cambridge University, UK)

Theory Testing, Theory Construction, and Ontology for Space-time:  What Theory(s), Logic(s), and Geometry(s) Do We Need?

 17:45 – 18:30

Javier Legris

(IIEP-BAIRES, UBA-CONICET, Argentina)

Symbolic knowledge and the constitution of objects in Mathematical Practice

ANNULLÉ

Markus Pantsar

(University of Helsinki, Finland)

Metaphors and Mathematical concepts

Méven Cadet

(Universite Paris 1, France)

The Logocentric Predicament: What about a Semantic Theory? A study of Frege’s case

Amphi Hermite

Président : Markus Pantsar

Salle 01

Président : Yacin Hamami

Salle 201 (2ème étage)

Président : Pauline van Wierst

 11:30 – 12:15

James Tappenden

(University of Michigan, USA)

Styles of Mathematical Explanation

Gisele Secco

(Universidade Federal do Rio Grande do Sul, Brasil)

On the relevance of the Four-color theorem

Roy Wagner

(Tel Aviv University, Israel)

A constraints based philosophy of mathematics

 12:15 –13:00

Giorgio Venturi

(University of Campinas, Brasil)

Mathematical explanation and its practice

Luca San Mauro

(Scuola Normale Superiore, Italy)

Taking Foundational Programs as practices themselves : Informal proofs in computability

Ansten Klev

(Czech Academy of Sciences, Czech Republic)

The algebraic notion of function

Amphi Hermite

Présidente : Madeline Muntersbjorn

Salle 01

Président : Davide Rizza

Salle 201 (2ème étage)

Président : Eduardo Giovannini

 17:00 – 17:45

Rochelle Gutierrez

(University of llinois at Urbana-Champaign, USA)

What is Mathematics? Preservice Secondary mathemstics Teachers’ Perceptions

ANNULLÉ

Walter Dean

(University of Warwick, UK)

Degrees and difficulty

Michele Ginammi

(Scuola Normale Superiore, Italy)

Avoiding reification : The heuristic effectiveness of mathematics and the discovery of the omega minus particle

 17:45 – 18:30

Présidente : Madeline Muntersbjorn

Emily Grosholz

(Penn State, USA)

Report on ICSU Workshop on Cultures of Mathematical Research Training

Yaroslav D. Sergeyev

(Università della Calabria, Italy)

Methodological and philosophical aspects of a new approach allowing one to work with infinities and infinitesimals numerically

Karl-Heinz Schlote

(University of Hildesheim, Germany)

Carl Neumann’s view on mathematical physics